A computational model for distributed systems using operator nets

This publication has 17 references indexed in Scilit:

• The development and proof of a formal specification for a multilevel secure system
  ACM Transactions on Computer Systems, 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
• Adequate proof principles for invariance and liveness properties of concurrent programs
  Science of Computer Programming, 1984
• Multi-Level Security Based on Physical Distribution
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1984
• Formal Specification and Verification of Distributed Systems
  IEEE Transactions on Software Engineering, 1983
• Lucid—A Formal System for Writing and Proving Programs
  SIAM Journal on Computing, 1976
• Parallel program schemata
  Journal of Computer and System Sciences, 1969
• Design of a separable transition-diagram compiler
  Communications of the ACM, 1963