Establishing Qualitative Properties for Probabilistic Lossy Channel Systems

This publication has 29 references indexed in Scilit:

• Model checking for a probabilistic branching time logic with fairness
  Distributed Computing, 1998
• Temporal logics for the specification of performance and reliability
  Published by Springer Nature ,1997
• The complexity of probabilistic verification
  Journal of the ACM, 1995
• A logic for reasoning about time and reliability
  Formal Aspects of Computing, 1994
• Characterizing finite Kripke structures in propositional temporal logic
  Theoretical Computer Science, 1988
• Automatic verification of finite-state concurrent systems using temporal logic specifications
  ACM Transactions on Programming Languages and Systems, 1986
• Termination of Probabilistic Concurrent Program
  ACM Transactions on Programming Languages and Systems, 1983
• On Communicating Finite-State Machines
  Journal of the ACM, 1983
• Reasoning with time and chance
  Information and Control, 1982
• A note on reliable full-duplex transmission over half-duplex links
  Communications of the ACM, 1969