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

Alexander Moshe Rabinovich

Browse the full ICALP paper archive.