Script: a communication abstraction mechanism and its verification

• Authors:

• N. Francez;B. Hailpern;G. Taubenfeld

• Affiliations:

• -;-;-

• Venue:
• Logics and models of concurrent systems
• Year:
• 1989