An exercise in formalizing the description of a concurrent system

• Authors:

• D. W. Bustard;M. T. Norris;R. A. Orr;A. C. Winstanley

• Affiliations:

• -;-;-;-

• Venue:
• Software—Practice & Experience
• Year:
• 1992