Observational Logics and Concurrency Models

• Authors:

• Rocco De Nicola;Gian Luigi Ferrari

• Affiliations:

• -;-

• Venue:
• Proceedings of the Tenth Conference on Foundations of Software Technology and Theoretical Computer Science
• Year:
• 1990