An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract)

This publication has 14 references indexed in Scilit:

• A theory of timed automata
  Published by Elsevier ,2002
• An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract)
  Published by Springer Nature ,1998
• Extended Markovian Process Algebra
  Published by Springer Nature ,1996
• Reactive, Generative, and Stratified Models of Probabilistic Processes
  Information and Computation, 1995
• A Stochastic Causality-Based Process Algebra
  The Computer Journal, 1995
• Symbolic Model Checking for Real-Time Systems
  Information and Computation, 1994
• A congruence theorem for structured operational semantics with predicates
  Published by Springer Nature ,1993
• Model-checking for probabilistic real-time systems
  Published by Springer Nature ,1991
• A calculus for communicating systems with time and probabilities
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1990
• A GSMP formalism for discrete event systems
  Proceedings of the IEEE, 1989