Semantics of Protocol Modules Composition and Interaction.
Pawel T. WojciechowskiSergio MenaAndré SchiperPublished in: COORDINATION (2002)
Keyphrases
- human computer interaction
- logic programming
- user interaction
- formal semantics
- music composition
- lightweight
- composite web services
- interaction protocols
- network protocols
- correctness criterion
- agent communication
- semantic information
- functional modules
- multi party
- web service composition
- mental states
- agent communication language
- semantic web
- description logics