Sciweavers

ICALP
1992
Springer

Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract)

13 years 7 months ago
Checking Equivalences Between Concurrent Systems of Finite Agents (Extended Abstract)
Alexander Moshe Rabinovich
Added 10 Aug 2010
Updated 10 Aug 2010
Type Conference
Year 1992
Where ICALP
Authors Alexander Moshe Rabinovich
Comments (0)