Login / Signup
Constitutive and Regulative Specifications of Commitment Protocols: A Decoupled Approach (Extended Abstract).
Matteo Baldoni
Cristina Baroglio
Elisa Marengo
Viviana Patti
Published in:
IJCAI (2015)
Keyphrases
</>
extended abstract
finite element
protocol specification
high level
state machines
finite state machines
artificial intelligence
information technology
security protocols
communication protocols
data mining
website
case study
petri net