Compositional Methods for Probabilistic Systems

This publication has 12 references indexed in Scilit:

• Specification and refinement of probabilistic processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Symbolic Model Checking of Probabilistic Processes Using MTBDDs and the Kronecker Representation
  Published by Springer Nature ,2000
• Reactive Modules
  Formal Methods in System Design, 1999
• Stochastic transition systems
  Published by Springer Nature ,1998
• A compositional rule for hardware design refinement
  Published by Springer Nature ,1997
• Conjoining specifications
  ACM Transactions on Programming Languages and Systems, 1995
• Model Checking of Probabilistic and Nondeterministic Systems
  Published by Defense Technical Information Center (DTIC) ,1995
• Trace Theory for Automatic Hierarchical Verification of Speed-Independent Circuits
  Published by MIT Press ,1989
• Specifying Concurrent Program Modules
  ACM Transactions on Programming Languages and Systems, 1983
• Proofs of Networks of Processes
  IEEE Transactions on Software Engineering, 1981