Extended Markovian Process Algebra

This publication has 7 references indexed in Scilit:

• Reactive, generative, and stratified models of probabilistic processes
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Bisimulation through probabilistic testing
  Information and Computation, 1991
• Considerations on the insularity of performance evaluation
  IEEE Transactions on Software Engineering, 1986
• Syntax and Defining Equations for an Interrupt Mechanism in Process Algebra1
  Fundamenta Informaticae, 1986
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
  ACM Transactions on Computer Systems, 1984
• On the andvantages of free choice
  Published by Association for Computing Machinery (ACM) ,1981