Open AccessSpecification and verification of actor protocols with finite-state machines
Author(s) -
Jonathan Schuster
Publication year - 2019
Language(s) - English
Resource type - Dissertations/theses
DOI - 10.17760/d20318587
Subject(s) - computer science , debugging , finite state machine , implementation , protocol (science) , model checking , programming language , communications protocol , abstract state machines , extended finite state machine , state (computer science) , distributed computing , conformance testing , formal specification , software engineering , operating system , standardization , medicine , alternative medicine , pathology
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom