Issue 3/2007
Special Issue on Formal Modeling in Electronic Commerce – Part II
Content (3 Articles)
Introduction to the Special Issue on Formal Modelling in Electronic Commerce – Part II
Steven O. Kimbrough, D. J. Wu
Formalising Workflow: A CCS-inspired Characterisation of the YAWL Workflow Patterns
Andrew D. H. Farrell, Marek J. Sergot, Claudio Bartolini