A Formal Approach to the Integration of Performance Aspects in the Modeling and Analysis of Concurrent Systems

This publication has 22 references indexed in Scilit:

• A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
  Theoretical Computer Science, 1998
• Twotowers: A Tool Integrating Functional and Performance Analysis of Concurrent Systems
  Published by Springer Nature ,1998
• A Distributed Semantics for EMPA Based on Stochastic Contextual Nets
  The Computer Journal, 1995
• A LOTOS extension for the performance analysis of distributed systems
  IEEE/ACM Transactions on Networking, 1994
• The concurrency workbench
  ACM Transactions on Programming Languages and Systems, 1993
• An example of modeling and evaluation of a concurrent program using colored stochastic Petri nets: Lamport's fast mutual exclusion algorithm
  IEEE Transactions on Parallel and Distributed Systems, 1992
• The effect of execution policies on the semantics and analysis of stochastic Petri nets
  IEEE Transactions on Software Engineering, 1989
• A distributed operational semantics for CCS based on condition/event systems
  Acta Informatica, 1988
• Considerations on the insularity of performance evaluation
  IEEE Transactions on Software Engineering, 1986
• A class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
  ACM Transactions on Computer Systems, 1984