An operator net model for distributed systems

DOI10.1007/BF01784888zbMATH Open0677.68019MaRDI QIDQ1123601FDOQ1123601

Authors: Janice I. Glasgow, Glenn H. MacEwen 

Publication date: 1989

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

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

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)

Cites Work

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

Cited In (3)

• Applications and Theory of Petri Nets 2004
• A network application model with operational process feature
• Title not available (Why is that?)

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)