Thomas Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats, Francesco Zanitti. Contracts for cross-organizational workflows as timed Dynamic Condition Response Graphs. Journal of Logic and Algebraic Programming, 82(5-7):164-185, 2013. [doi]
Abstract is missing.