Computer Aided Verification
Subtitle: 3rd International Workshop, Cav '91, Aalborg, Denmark, July 1-4, 1991. Proceedings (Lecture Notes in Computer Science)
Contributors: Kim G. Larsen (Editor); Arne Skou (Editor); K. G. Larsen (Other Contributor)
Publisher: Springer
Published: May 1992
Language: eng
Format: Paperback
Number of pages: 487
ISBN-13: 9783540551799
Subjects: Computer Communications & Networking; Computer Programming; Computer architecture & logic design; Mathematical theory of computation; Logic Design; Mathematics; Networking - General; Logic; Verification
First sentence: In their paper [BBK87] Baeten, Bergstra, and Klop showed that strong bisimulation equivalence is decidable for normed recursively defined BPA processes [BK88], a class of processes corresponding to that of irredundant context-free grammars without empty productions.