A Direct Formal Semantics for BPMN Time-related Constructs.

Sara Houhou, Souheib Baarir, Pascal Poizat, Philippe Quinnec

Browse the full ENASE paper archive.