Sciweavers

56
Voted
ICALP
1997
Springer

Bisimulation Equivalence is Decidable for One-Counter Processes

15 years 28 days ago
Bisimulation Equivalence is Decidable for One-Counter Processes
Petr Jancar
Added 07 Aug 2010
Updated 07 Aug 2010
Type Conference
Year 1997
Where ICALP
Authors Petr Jancar
Comments (0)