The theory of interactive generalized semi-Markov processes

This publication has 17 references indexed in Scilit:

• A Complete Axiomatization for Observational Congruence of Prioritized Finite-State Behaviors
  Published by Springer Nature ,2000
• Axiomatizing ST Bisimulation for a Process Algebra with Recursion and Action Refinement (Extended Abstract)
  Electronic Notes in Theoretical Computer Science, 1999
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
  Theoretical Computer Science, 1998
• An Algebraic Approach to the Specification of Stochastic Systems (Extended Abstract)
  Published by Springer Nature ,1998
• Towards performance evaluation with general distributions in process algebras
  Published by Springer Nature ,1998
• A Stochastic Causality-Based Process Algebra
  The Computer Journal, 1995
• Adding Action Refinement to a Finite Process Algebra
  Information and Computation, 1994
• On “Axiomatising Finite Concurrent Processes”
  SIAM Journal on Computing, 1994
• A LOTOS extension for the performance analysis of distributed systems
  IEEE/ACM Transactions on Networking, 1994
• Model-Checking in Dense Real-Time
  Information and Computation, 1993