Formal Description, Time and Performance Analysis a Framework

This publication has 13 references indexed in Scilit:

• Protocol Engineering
  Published by Elsevier ,1989
• Eine Modellwelt zur Integration von Warteschlangen- und Petri-Netz-Modellen
  Published by Springer Nature ,1989
• Performance evaluation of fork and join synchronization primitives
  Acta Informatica, 1987
• A timed model for communicating sequential processes
  Lecture Notes in Computer Science, 1986
• Time in Formal Protocol Specifications
  Published by Springer Nature ,1985
• Messung, Modellierung und Bewertung von Rechensystemen
  Published by Springer Nature ,1985
• Numerical methods for infinite Markov processes
  ACM SIGMETRICS Performance Evaluation Review, 1980
• A Calculus of Communicating Systems
  Lecture Notes in Computer Science, 1980
• Communicating sequential processes
  Communications of the ACM, 1978
• Distribution of the Time Through a Directed, Acyclic Network
  Operations Research, 1965