Author:
De Nicola Rocco,Iacobelli Giulio,Tribastone Mirco
Publisher
Springer Berlin Heidelberg
Reference21 articles.
1. Lecture Notes in Computer Science;R. Milner,1980
2. Lecture Notes in Computer Science;D. Bošnački,2007
3. Roscoe, A.: The Theory and Practice of Concurrency. Prentice Hall (1997)
4. Dean, J., Ghemawat, S.: MapReduce: simplified data processing on large clusters. Commun. ACM 51, 107–113 (2008)
5. Aldini, A., Bernardo, M., Corradini, F.: A Process Algebraic Approach to Software Architecture Design. Springer Publishing Company (2009)