Login / Signup
A Temporal Approach to the Specification and Verification of Interaction Protocols.
Laura Giordano
Alberto Martelli
Paolo Terenziani
Alessio Bottrighi
Stefania Montani
Published in:
WOA (2005)
Keyphrases
</>
formal verification
interaction protocols
temporal ordering
model checking
asynchronous circuits
linear temporal logic
formal methods
multiagent systems
agent systems
protocol specification
multi agent systems
multi agent
data model
operational semantics
agent communication