Bisimulation equivalence is decidable for normed Process Algebra (1999)

by Yoram Hirshfeld , Mark Jerrum
Venue:Proceedings of ICALP'99, to appear, Lecture Notes in Computer Science
Citations:28 - 0 self