Towards performance evaluation with general distributions in process algebras

This publication has 11 references indexed in Scilit:

• A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems
  Information and Computation, 1998
• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
  Theoretical Computer Science, 1998
• A Stochastic Causality-Based Process Algebra
  The Computer Journal, 1995
• Adding Action Refinement to a Finite Process Algebra
  Information and Computation, 1994
• Processes with probabilities, priority and time
  Formal Aspects of Computing, 1994
• A LOTOS extension for the performance analysis of distributed systems
  IEEE/ACM Transactions on Networking, 1994
• Aggregation and disaggregation through insensitivity in stochastic Petri nets
  Performance Evaluation, 1993
• Bisimulation through probabilistic testing
  Information and Computation, 1991
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• The analysis of non-Markovian stochastic processes by the inclusion of supplementary variables
  Mathematical Proceedings of the Cambridge Philosophical Society, 1955