Simulation and Formal Analysis of Workflow Models.

Máté Kovács László Gönczy

Published in: Electron. Notes Theor. Comput. Sci. (2008)

Keyphrases

formal analysis
agent model
workflow models
information technology
information systems
formal methods
workflow model
machine learning
query processing
multiagent systems
ban logic