Some Comments on "Transition-Oriented" Versus "Structured" Specification of Distributed Algorithms and Protocols

DOI10.1109/TSE.1987.233188zbMath0616.68027OpenAlexW1993225134MaRDI QIDQ4725732

J. Pierre Verjus, G. V. Bochmann

Publication date: 1987

Published in: IEEE Transactions on Software Engineering (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tse.1987.233188

zbMATH Keywords

distributed systemsmutual exclusionexception handlingstructured programmingspecification of communication protocolsFormal description techniquesSDLEstelleextended state machines

Mathematics Subject Classification ID

Theory of operating systems (68N25)

This page was built for publication: Some Comments on "Transition-Oriented" Versus "Structured" Specification of Distributed Algorithms and Protocols