Interface-Based Protocol Specification of Open Systems using PSL.

Doug Lea Jos Marlowe

Published in: ECOOP (1995)

Keyphrases

open systems
protocol specification
autonomous agents
communication protocols
user interface
multiagent systems
mobile communication
formal specification
cognitive agents
social networks
formal methods
multi agent systems
communication protocol
open multiagent systems