Formal Modeling of RESTful Systems Using Finite-State Machines.

Ivan Zuzak Ivan Budiselic Goran Delac

Published in: ICWE (2011)

Keyphrases

finite state machines
model checking
finite state automata
web services
distributed systems
expert systems
formal model
digital circuits