Deciding equivalences in simple process algebras - Hirshfeld, Yoram (1994)
Keywords: Computer software; Mathematics; Mathematik