Failures Semantics for a Simple Process Language with Refinement

• Authors:

• Luca Aceto;Uffe Engberg

• Affiliations:

• -;-

• Venue:
• Proceedings of the 11th Conference on Foundations of Software Technology and Theoretical Computer Science
• Year:
• 1991