An operator net model for distributed systems

DOI10.1007/BF01784888MaRDI QIDQ1123601zbMATH OpenFDO

Authors Janice I. Glasgow, Glenn H. MacEwen

Publication date 1989

Published in Distributed Computing (Search for Journal in Brave)

zbMATH Keywords

specificationdistributed systemoperational semanticsdataflow netsLucid equationsoperator net

Mathematics Subject Classification ID

Theory of software (68N99) 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)

Recommendations

• A Petri nets semantics for data flow networks
• Publication:5753511
• scientific article; zbMATH DE number 4037216
• scientific article; zbMATH DE number 3901997
• Nets of active resources for distributed systems modeling

Cites work

• scientific article; zbMATH DE number 3837349 (Why is no real title available?)
• scientific article; zbMATH DE number 3900125 (Why is no real title available?)
• scientific article; zbMATH DE number 4060692 (Why is no real title available?)
• scientific article; zbMATH DE number 3750146 (Why is no real title available?)
• scientific article; zbMATH DE number 3550181 (Why is no real title available?)
• A model and temporal proof system for networks of processes
• Adequate proof principles for invariance and liveness properties of concurrent programs
• Design of a separable transition-diagram compiler
• Lucid—A Formal System for Writing and Proving Programs
• Nondeterministic data flow programs: How to avoid the merge anomaly
• Parallel program schemata

Cited in

(3)

• Applications and Theory of Petri Nets 2004
• A network application model with operational process feature
• scientific article; zbMATH DE number 1215062 (Why is no real title available?)

Describes a project that uses

Uses Software

• Lucid

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1123601)