Observer-a concept for formal on-line validation of distributed systems

This publication has 15 references indexed in Scilit:

• The analysis of distributed systems by means of predicate/transition-nets
  Published by Springer Nature ,2005
• The Linear Time - Branching Time Spectrum I. The Semantics of Concrete, Sequential Processes
  Published by Elsevier ,2001
• Safety Analysis Using Petri Nets
  IEEE Transactions on Software Engineering, 1987
• Algebraic laws for nondeterminism and concurrency
  Journal of the ACM, 1985
• REBUS, A Fault-Tolerant Distributed System for Industrial Real-Time Control
  IEEE Transactions on Computers, 1982
• Formal Methods in Communication Protocol Design
  IEEE Transactions on Communications, 1980
• Protocol Representation with Finite-State Models
  IEEE Transactions on Communications, 1980
• A General Transition Model for Protocols and Communication Services
  IEEE Transactions on Communications, 1980
• Unified Design of Self-Checking and Fail-Safe Combinational Circuits and Sequential Machines
  IEEE Transactions on Computers, 1979
• Concurrent software fault detection
  IEEE Transactions on Software Engineering, 1975