Bismulation and effectiveness
References (4)
Notes on algebraic calculi of processes
Formal verification of parallel programs
Comm. ACM
(1976)
There are more references available in the full text version of this article.
Cited by (0)
Copyright © 1989 Published by Elsevier B.V.