Colin Atkinson, Dirk Draheim, Verena Geist. Typed Business Process Specification. In Proceedings of the 14th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2010, Vitória, Brazil, 25-29 October 2010. pages 69-78, IEEE Computer Society, 2010. [doi]
Abstract is missing.