Verifying Timed BPMN Processes Using Maude.

Francisco Durn, Gwen Salan

Browse the full Coordination paper archive.