An operator net model for distributed systems

This publication has 23 references indexed in Scilit:

• Nondeterministic data flow programs: How to avoid the merge anomaly
  Science of Computer Programming, 1988
• The development and proof of a formal specification for a multilevel secure system
  ACM Transactions on Computer Systems, 1987
• A computational model for distributed systems using operator nets
  Lecture Notes in Computer Science, 1987
• Toward a Real-Time Dataflow Language
  IEEE Software, 1986
• LUCID
  ACM SIGSOFT Software Engineering Notes, 1985
• Distributed snapshots
  ACM Transactions on Computer Systems, 1985
• Formal Specification and Verification of Distributed Systems
  IEEE Transactions on Software Engineering, 1983
• Scenarios: A model of non-determinate computation
  Published by Springer Nature ,1981
• Lucid—A Formal System for Writing and Proving Programs
  SIAM Journal on Computing, 1976
• Design of a separable transition-diagram compiler
  Communications of the ACM, 1963