Applying a Concurrent Formal Framework to Process Modelling

• Authors:

• J. A. Keane;Jin Sa;Brian Warboys

• Affiliations:

• -;-;-

• Venue:
• FME '94 Proceedings of the Second International Symposium of Formal Methods Europe on Industrial Benefit of Formal Methods
• Year:
• 1994