Multiprocessor and distributed system design: The integration of functional specification and performance analysis using Stochastic Process Algebras

This publication has 11 references indexed in Scilit:

• A quarter century of performance evaluation-Impact on science and engineering
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• An overview and synthesis on timed process algebras
  Published by Springer Nature ,1992
• Specification styles in distributed systems design and verification
  Theoretical Computer Science, 1991
• A method for performance prediction of parallel programs
  Published by Springer Nature ,1990
• Formal Description, Time and Performance Analysis a Framework
  Informatik-Fachberichte, 1990
• Performance and Reliability Analysis Using Directed Acyclic Graphs
  IEEE Transactions on Software Engineering, 1987
• Extensions to communicating sequential processes to allow protocol performance specification
  ACM SIGCOMM Computer Communication Review, 1987
• Considerations on the insularity of performance evaluation
  IEEE Transactions on Software Engineering, 1986
• Notes on Communicating Sequential Systems
  Published by Springer Nature ,1986
• Performance Analysis of Multiprocessor Systems
  Published by Springer Nature ,1985