Calculus of communicating systems (English Wikipedia)

Analysis of information sources in references of the Wikipedia article "Calculus of communicating systems" in English language version.

refsWebsite

Global rank English rank

2^nd place

1^st place

low place

9,602^nd place

5^th place

doi.org

Herzog, Ulrich, ed. (May 2007). "Tackling Large State Spaces in Performance Modelling". Formal Methods for Performance Evaluation. Lecture Notes in Computer Science. Vol. 4486. Springer. pp. 318–370. doi:10.1007/978-3-540-72522-0. ISBN 978-3-540-72482-7. Archived from the original on 2008-04-12. Retrieved 2009-04-21.
Montesi, Fabrizio; Guidi, Claudio; Lucchi, Roberto; Zavattaro, Gianluigi (2007-06-27). "JOLIE: a Java Orchestration Language Interpreter Engine". Electronic Notes in Theoretical Computer Science. Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006). 181: 19–33. doi:10.1016/j.entcs.2007.01.051. ISSN 1571-0661.

Herzog, Ulrich, ed. (May 2007). "Tackling Large State Spaces in Performance Modelling". Formal Methods for Performance Evaluation. Lecture Notes in Computer Science. Vol. 4486. Springer. pp. 318–370. doi:10.1007/978-3-540-72522-0. ISBN 978-3-540-72482-7. Archived from the original on 2008-04-12. Retrieved 2009-04-21.

Herzog, Ulrich, ed. (May 2007). "Tackling Large State Spaces in Performance Modelling". Formal Methods for Performance Evaluation. Lecture Notes in Computer Science. Vol. 4486. Springer. pp. 318–370. doi:10.1007/978-3-540-72522-0. ISBN 978-3-540-72482-7. Archived from the original on 2008-04-12. Retrieved 2009-04-21.

Montesi, Fabrizio; Guidi, Claudio; Lucchi, Roberto; Zavattaro, Gianluigi (2007-06-27). "JOLIE: a Java Orchestration Language Interpreter Engine". Electronic Notes in Theoretical Computer Science. Combined Proceedings of the Second International Workshop on Coordination and Organization (CoOrg 2006) and the Second International Workshop on Methods and Tools for Coordinating Concurrent, Distributed and Mobile Systems (MTCoord 2006). 181: 19–33. doi:10.1016/j.entcs.2007.01.051. ISSN 1571-0661.