Superposition and fairness in reactive system refinement

• Authors:

• R. J. R. Back;R. Kurki-Suonio

• Affiliations:

• -;-

• Venue:
• JCIT Proceedings of the fifth Jerusalem conference on Information technology
• Year:
• 1990