Modeling workflows, interaction patterns, web services and business processes: The asm-based approach (2008)

by Egon Börger, Bernhard Thalheim
Venue:In ABZ ’08: Proceedings of the 1st international conference on Abstract State Machines, B and Z