Applying a Concurrent Formal Framework to Process Modelling.

John A. Keane, Jin Sa, Brian Warboys

Browse the full FM paper archive.