Tools for LOTOS Specification Style Transformation
Authors:
Peter van Eijk
Affiliations:
-
Venue:
FORTE '89 Proceedings of the IFIP TC/WG6.1 Second International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols