Specification Languages for Distributed Systems

• Authors:

• Pierpaolo Degano;Ugo Montanari

• Affiliations:

• -;-

• Venue:
• CAAP '85 Proceedings of the International Joint Conference on Theory and Practice of Software Development (TAPSOFT), Volume 1: Colloquium on Trees in Algebra and Programming: Mathematical Foundations of Software Development
• Year:
• 1985