From business process model to consistent implementation: A case for formal verification methodsJana KoehlerGiuliano Tirenniet al.2002EDOC 2002Conference paper
Conversation support for business process integrationJames E. HansonPrabir Nandiet al.2002EDOC 2002Conference paper