@inproceedings(BartolettiSZ14Concur,
 author       = {M.~Bartoletti and A.~Scalas and R.~Zunino},
 year         = {2014},
 title        = {A Semantic Deconstruction of Session Types},
 booktitle    = {{CONCUR}},
 doi          = {10.1007/978-3-662-44584-6\_28},
)
@article(BZ1983CFSM,
 author       = {D.~Brand and P.~Zafiropulo},
 year         = {1983},
 title        = {On Communicating Finite-State Machines},
 journal      = {J. ACM},
 volume       = {30},
 number       = {2},
 doi          = {10.1145/322374.322380},
)
@incollection(Bravetti2007FSEN,
 author       = {M.~Bravetti and G.~Zavattaro},
 year         = {2007},
 title        = {Contract Based Multi-party Service Composition},
 booktitle    = {International Symposium on Fundamentals of Software Engineering},
 doi          = {10.1007/978-3-540-75698-9\_14},
)
@article(Castagna09toplas,
 author       = {G.~Castagna and N.~Gesbert and L.~Padovani},
 year         = {2009},
 title        = {A theory of contracts for {Web} services},
 journal      = {{ACM} {TOPLAS}},
 volume       = {31},
 number       = {5},
 doi          = {10.1145/1538917.1538920},
)
@inproceedings(Cleaveland95Frontend,
 author       = {R.~Cleaveland and E.~Madelaine and S.~Sims},
 year         = {1995},
 title        = {A Front-End Generator for Verification Tools},
 booktitle    = {Proceedings of the First International Workshop on Tools and Algorithms for Construction and Analysis of Systems},
 series       = {TACAS '95},
 publisher    = {Springer-Verlag},
 address      = {London, UK, UK},
 doi          = {10.1007/3-540-60630-0\_8},
)
@article(Cleaveland1993CWB,
 author       = {R.~Cleaveland and J.~Parrow and B.~Steffen},
 year         = {1993},
 title        = {The Concurrency Workbench: A Semantics-based Tool for the Verification of Concurrent Systems},
 journal      = {ACM Trans. Program. Lang. Syst.},
 volume       = {15},
 number       = {1},
 doi          = {10.1145/151646.151648},
)
@incollection(Cranen13mCRLOverview,
 author       = {S.~Cranen and J.~Groote and J.~Keiren and F.~Stappers and E.~de~Vink and W.~Wesselink and T.~Willemse},
 year         = {2013},
 title        = {An Overview of the mCRL2 Toolset and Its Recent Advances},
 editor       = {N.~Piterman and S.~Smolka},
 booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems},
 series       = {Lecture Notes in Computer Science},
 volume       = {7795},
 publisher    = {Springer Berlin Heidelberg},
 doi          = {10.1007/978-3-642-36742-7\_15},
)
@article(Garavel11CADP,
 author       = {H.~Garavel and F.~Lang and R.~Mateescu and W.~Serwe},
 year         = {2013},
 title        = {CADP 2011: a toolbox for the construction and analysis of distributed processes},
 journal      = {International Journal on Software Tools for Technology Transfer},
 volume       = {15},
 number       = {2},
 doi          = {10.1007/s10009-012-0244-z},
)
@misc(Gephi,
 author       = {{Gephi community}},
 year         = {2015},
 title        = {Gephi, the Open Graph Viz Platform},
 url          = {http://gephi.github.io/},
)
@inproceedings(Honda93DyadicTypes,
 author       = {K.~Honda},
 year         = {1993},
 title        = {Types for Dyadic Interaction},
 booktitle    = {CONCUR},
 doi          = {10.1007/3-540-57208-2\_35},
)
@book(Magee2006,
 author       = {J.~Magee and J.~Kramer},
 year         = {2006},
 title        = {Concurrency - state models and Java programs (2. ed.).},
 publisher    = {Wiley},
 note         = {LTS Analyser available at \url{http://www.doc.ic.ac.uk/ltsa/}.},
)
@book(Milner89ccs,
 author       = {R.~Milner},
 year         = {1989},
 title        = {Communication and concurrency},
 publisher    = {Prentice-Hall, Inc.},
)
@techreport(Scala,
 author       = {M.~Odersky and al.},
 year         = {2004},
 title        = {An {O}verview of the {S}cala {P}rogramming {L}anguage},
 type         = {Technical Report},
 number       = {IC/2004/64},
 institution  = {EPFL},
 address      = {Lausanne, Switzerland},
 url          = {http://scala-lang.org/},
)
@misc(LTSWB,
 author       = {A.~Scalas},
 year         = {2015},
 title        = {The {LTS} {WorkBench}},
 url          = {http://tcs.unica.it/software/ltswb},
)