Login / Signup
A Generalized Commitment Machine for 2CL Protocols and its Prolog Implementation.
Matteo Baldoni
Cristina Baroglio
Federico Capuzzimati
Elisa Marengo
Viviana Patti
Published in:
CILC (2012)
Keyphrases
</>
real time
programming language
efficient implementation
functional programming
higher throughput
data sets
theorem proving
abstract machine