Login / Signup
Verifiable state machines: Proofs that untrusted services operate correctly.
Srinath T. V. Setty
Sebastian Angel
Jonathan Lee
Published in:
ACM SIGOPS Oper. Syst. Rev. (2020)
Keyphrases
</>
state machines
state machine
web services
petri net
recurrent networks
service providers
third party
service oriented
sequence diagrams
privacy preserving
loosely coupled
real time
hidden markov models
open source
service oriented architecture