Login / Signup
Constitutive and regulative specifications of commitment protocols: A decoupled approach.
Matteo Baldoni
Cristina Baroglio
Elisa Marengo
Viviana Patti
Published in:
ACM Trans. Intell. Syst. Technol. (2013)
Keyphrases
</>
finite element
high level
formal specification
protocol specification
communication protocol
multi party
security protocols
operational semantics
communication protocols
state machines
neural network
artificial intelligence
sensor networks
functional requirements
material properties
transaction processing systems