Choice and interoperation in protocol enactment.

Amit K. Chopra Munindar P. Singh

Published in: AAMAS (2007)

Keyphrases

semantic web services
lightweight
formal analysis
tcp ip
cryptographic protocols
semantic web
communication protocol
border control
data sources
process model
knowledge sharing
authentication protocol
data integration systems
network protocols
protocol specification