A Compilation of Algebraic Processes Based on Extended-Action Derivation
Authors:
Günter Karjoth
Affiliations:
-
Venue:
FORTE '90 Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols: Formal Description Techniques, III