Publisher
Springer Berlin Heidelberg
Reference8 articles.
1. Lecture Notes in Computer Science;R. Milner,1980
2. Hoare, C.: Communicating Sequential Processes. Prentice Hall, Englewood Cliffs (1985)
3. Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)
4. Bernardo, M., Gorrieri, R.: A tutorial on EMPA: a theory of concurrent processes with nondeterminism, priorities, probabilities and time. TCS 202, 1–54 (1998)
5. Lecture Notes in Computer Science;P. D’Argenio,2001