Login / Signup
A Modular Action Description Language for Protocol Composition.
Nirmit Desai
Munindar P. Singh
Published in:
AAAI (2007)
Keyphrases
</>
description language
action language
web service composition
model checker
concurrent actions
description languages
software architecture
web services
multi party
specification language
lightweight
planning domains
reasoning about actions
information retrieval
case study
cooperative