M. Bartoletti
A. Scalas
R. Zunino
2014
A Semantic Deconstruction of Session Types
CONCUR
10.1007/978-3-662-44584-6_28
D. Brand
P. Zafiropulo
1983
On Communicating Finite-State Machines
J. ACM
30
2
10.1145/322374.322380
M. Bravetti
G. Zavattaro
2007
Contract Based Multi-party Service Composition
International Symposium on Fundamentals of Software Engineering
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
10.1145/1538917.1538920
R. Cleaveland
E. Madelaine
S. Sims
1995
A Front-End Generator for Verification Tools
Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems
TACAS '95
Springer-Verlag
London, UK, UK
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
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
N. Piterman
S. Smolka
Tools and Algorithms for the Construction and Analysis of Systems
Lecture Notes in Computer Science
7795
Springer Berlin Heidelberg
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
10.1007/s10009-012-0244-z
Gephi community
2015
Gephi, the Open Graph Viz Platform
http://gephi.github.io/
K. Honda
1993
Types for Dyadic Interaction
CONCUR
10.1007/3-540-57208-2_35
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
http://scala-lang.org/
A. Scalas
2015
The LTS WorkBench
http://tcs.unica.it/software/ltswb