An operator net model for distributed systems

DOI10.1007/BF01784888zbMath0677.68019MaRDI QIDQ1123601

Janice I. Glasgow, Glenn H. MacEwen

Publication date: 1989

Published in: Distributed Computing (Search for Journal in Brave)

zbMATH Keywords

operational semanticsdistributed systemspecificationdataflow netsLucid equationsoperator net

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Theory of operating systems (68N25) Theory of software (68N99)

Uses Software

• Lucid

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Adequate proof principles for invariance and liveness properties of concurrent programs
• A model and temporal proof system for networks of processes
• Nondeterministic data flow programs: How to avoid the merge anomaly
• Parallel program schemata
• Lucid—A Formal System for Writing and Proving Programs
• Design of a separable transition-diagram compiler

This page was built for publication: An operator net model for distributed systems