1. M. Bartoletti, A. Scalas & R. Zunino (2014): A Semantic Deconstruction of Session Types. In: CONCUR, doi:10.1007/978-3-662-44584-6_28.
  2. D. Brand & P. Zafiropulo (1983): On Communicating Finite-State Machines. J. ACM 30(2), doi:10.1145/322374.322380.
  3. M. Bravetti & G. Zavattaro (2007): Contract Based Multi-party Service Composition. In: International Symposium on Fundamentals of Software Engineering, doi:10.1007/978-3-540-75698-9_14.
  4. G. Castagna, N. Gesbert & L. Padovani (2009): A theory of contracts for Web services. ACM TOPLAS 31(5), doi:10.1145/1538917.1538920.
  5. R. Cleaveland, E. Madelaine & S. Sims (1995): A Front-End Generator for Verification Tools. In: Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems, TACAS '95. Springer-Verlag, London, UK, UK, doi:10.1007/3-540-60630-0_8.
  6. R. Cleaveland, J. Parrow & B. Steffen (1993): The Concurrency Workbench: A Semantics-based Tool for the Verification of Concurrent Systems. ACM Trans. Program. Lang. Syst. 15(1), doi:10.1145/151646.151648.
  7. S. Cranen, J. Groote, J. Keiren, F. Stappers, E. de Vink, W. Wesselink & T. Willemse (2013): An Overview of the mCRL2 Toolset and Its Recent Advances. In: N. Piterman & S. Smolka: Tools and Algorithms for the Construction and Analysis of Systems, Lecture Notes in Computer Science 7795. Springer Berlin Heidelberg, doi:10.1007/978-3-642-36742-7_15.
  8. H. Garavel, F. Lang, R. Mateescu & W. Serwe (2013): CADP 2011: a toolbox for the construction and analysis of distributed processes. International Journal on Software Tools for Technology Transfer 15(2), doi:10.1007/s10009-012-0244-z.
  9. Gephi community (2015): Gephi, the Open Graph Viz Platform. Available at
  10. K. Honda (1993): Types for Dyadic Interaction. In: CONCUR, doi:10.1007/3-540-57208-2_35.
  11. J. Magee & J. Kramer (2006): Concurrency - state models and Java programs (2. ed.).. Wiley. LTS Analyser available at
  12. R. Milner (1989): Communication and concurrency. Prentice-Hall, Inc..
  13. M. Odersky & al. (2004): An Overview of the Scala Programming Language. Technical Report IC/2004/64. EPFL, Lausanne, Switzerland. Available at
  14. A. Scalas (2015): The LTS WorkBench. Available at

Comments and questions to:
For website issues: