Computer Aided Verification: 3rd International Workshop, Cav 92 
Subtitle: Proceedings (Lecture Notes in Computer Science)
Contributors: A. Skou (Editor)
Publisher: Springer
Published: June 1992
Language: eng
Format: Paperback
Number of pages: 487
ISBN-13: 9780387551791
Subjects: Software Quality Control; Computers; Mathematics; Computer Books: General; Logic; Computer Science; Logic Design; Computer software; Congresses; Electronic digital computers; Evaluation; 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.