M. Bartoletti, A. Scalas & R. Zunino (2014):
A Semantic Deconstruction of Session Types.
In: CONCUR,
doi:10.1007/978-3-662-44584-6_28.
D. Brand & P. Zafiropulo (1983):
On Communicating Finite-State Machines.
J. ACM 30(2),
doi:10.1145/322374.322380.
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.
G. Castagna, N. Gesbert & L. Padovani (2009):
A theory of contracts for Web services.
ACM TOPLAS 31(5),
doi:10.1145/1538917.1538920.
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.
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.
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.
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.
Gephi community (2015):
Gephi, the Open Graph Viz Platform.
Available at http://gephi.github.io/.
J. Magee & J. Kramer (2006):
Concurrency - state models and Java programs (2. ed.)..
Wiley.
LTS Analyser available at http://www.doc.ic.ac.uk/ltsa/..
R. Milner (1989):
Communication and concurrency.
Prentice-Hall, Inc..
M. Odersky & al. (2004):
An Overview of the Scala Programming Language.
Technical Report IC/2004/64.
EPFL,
Lausanne, Switzerland.
Available at http://scala-lang.org/.