Gul Agha (1986):
Actors: A model of concurrent computation in distributed systems.
The MIT Press,
Cambridge, MA, USA.
Kent Beck (2002):
Test Driven Development: By Example.
Addison-Wesley Longman Publishing Company, Inc.,
Boston, MA, USA.
Laura Bocchi, Kohei Honda, Emilio Tuosto & Nobuko Yoshida (2010):
A Theory of Design-by-Contract for Distributed Multiparty Interactions.
In: Concurrency Theory, 21st International Conference, CONCUR 2010,
pp. 162–176,
doi:10.1007/978-3-642-15375-4_12.
Laura Bocchi, Julien Lange & Nobuko Yoshida (2015):
Meeting Deadlines Together.
In: Luca Aceto & David de Frutos Escrig: Concurrency Theory, 26th International Conference, CONCUR 2015,
Leibniz International Proceedings in Informatics (LIPIcs) 42.
Schloss Dagstuhl–Leibniz-Zentrum fuer Informatik,
Dagstuhl, Germany,
pp. 283–296,
doi:10.4230/LIPIcs.CONCUR.2015.283.
Laura Bocchi, Weizhen Yang & Nobuko Yoshida (2014):
Timed Multiparty Session Types.
In: Paolo Baldan & Daniele Gorla: Concurrency Theory, 25th International Conference, CONCUR 2014,
Lecture Notes in Computer Science 8704.
Springer Berlin Heidelberg,
pp. 419–434,
doi:10.1007/978-3-662-44584-6_29.
Benedikt Bollig, Aiswarya Cyriac, Loïc Hélouët, Ahmet Kara & Thomas Schwentick (2013):
Dynamic Communicating Automata and Branching High-Level MSCs.
In: Adrian-Horia Dediu, Carlos Martín-Vide & Bianca Truthe: Language and Automata Theory and Applications,
Lecture Notes in Computer Science 7810.
Springer Berlin Heidelberg,
pp. 177–189,
doi:10.1007/978-3-642-37064-9_17.
Robert S. Boyer, Bernard Elspas & Karl N. Levitt (1975):
SELECT – a Formal System for Testing and Debugging Programs by Symbolic Execution.
In: Proceedings of the International Conference on Reliable Software.
ACM,
New York, NY, USA,
pp. 234–245,
doi:10.1145/800027.808445.
Daniel Brand & Pitro Zafiropulo (1983):
On Communicating Finite-State Machines.
Journal of the ACM 30(2),
pp. 323–342,
doi:10.1145/322374.322380.
Marco Carbone, Fabrizio Montesi, Nobuko Yoshida & Carsten Schurmann (2015):
Multiparty Session Types as Coherence Proofs.
In: Concurrency Theory, 26th International Conference, CONCUR 2015.
Leibniz International Proceedings in Informatics,
doi:10.4230/LIPIcs.CONCUR.2015.412.
Sjoerd Cranen, Jan Friso Groote, Jeroen J. A. Keiren, Frank P. M. Stappers, Erik P. de Vink, Wieger Wesselink & Tim A. C. Willemse (2013):
An Overview of the mCRL2 Toolset and Its Recent Advances.
In: TACAS 2013,
pp. 199–213,
doi:10.1007/978-3-642-36742-7_15.
Pierre-Malo Deniélou & Nobuko Yoshida (2012):
Multiparty Session Types Meet Communicating Automata.
In: Proceedings of the 21st European Conference on Programming Languages and Systems,
ESOP'12.
Springer-Verlag,
pp. 194–213,
doi:10.1007/978-3-642-28869-2_10.
Pierre-Malo Deniélou & Nobuko Yoshida (2013):
Multiparty Compatibility in Communicating Automata: Characterisation and Synthesis of Global Session Types.
In: Fedor V. Fomin, Rūsiņš Freivalds, Marta Kwiatkowska & David Peleg: Automata, Languages, and Programming,
LNCS 7966.
Springer Berlin Heidelberg,
pp. 174–186,
doi:10.1007/978-3-642-39212-2_18.
E. Allen Emerson & Edmund M. Clarke (1980):
Characterizing Correctness Properties of Parallel Programs Using Fixpoints.
In: Proceedings of the 7th Colloquium on Automata, Languages and Programming.
Springer-Verlag,
London, UK,
pp. 169–181,
doi:10.1007/3-540-10003-2_69.
Steve Freeman & Nat Pryce (2009):
Growing Object-Oriented Software, Guided by Tests,
1st edition.
Addison-Wesley Professional.
Erich Gamma, Richard Helm, Ralph Johnson & John Vlissides (1995):
Design Patterns: Elements of Reusable Object-Oriented Software.
Addison-Wesley Professional Computing Series.
Addison-Wesley,
Boston, MA, USA.
Jan Friso Groote & Mohammad Reza Mousavi (2014):
Modeling and analysis of communicating systems.
MIT Press.
Carl Hewitt, Peter Bishop & Richard Steiger (1973):
A Universal Modular ACTOR Formalism for Artificial Intelligence.
In: Proceedings of the 3rd International Joint Conference on Artificial Intelligence,
IJCAI'73.
Morgan Kaufmann Publishers Inc.,
San Francisco, CA, USA,
pp. 235–245.
Julien Lange, Emilio Tuosto & Nobuko Yoshida (2015):
From Communicating Machines to Graphical Choreographies.
In: Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages,
POPL '15.
ACM,
New York, NY, USA,
pp. 221–232,
doi:10.1145/2676726.2676964.
Julien Lange & Nobuko Yoshida (2016):
Characteristic Formulae for Session Types.
In: TACAS 2016,
LNCS 9636.
Springer,
pp. 833–850,
doi:10.1007/978-3-662-49674-9_52.
Barbara Liskov (1987):
Keynote Address - Data Abstraction and Hierarchy.
In: Addendum to the Proceedings on Object-oriented Programming Systems, Languages and Applications (Addendum),
OOPSLA '87.
ACM,
New York, NY, USA,
pp. 17–34,
doi:10.1145/62138.62141.
Lech Madeyski & Marcin Kawalerowicz (2013):
Continuous Test-Driven Development - A Novel Agile Software Development Practice and Supporting Tool.
In: ENASE 2013 - Proceedings of the 8th International Conference on Evaluation of Novel Approaches to Software Engineering,
pp. 260–267,
doi:10.5220/0004587202600267.
J.P. Queille & J. Sifakis (1982):
Specification and verification of concurrent systems in CESAR.
In: Mariangiola Dezani-Ciancaglini & Ugo Montanari: International Symposium on Programming,
Lecture Notes in Computer Science 137.
Springer Berlin Heidelberg,
pp. 337–351,
doi:10.1007/3-540-11494-7_22.
David Saff & Michael D. Ernst (2004):
Continuous testing in Eclipse.
In: 2nd Eclipse Technology Exchange Workshop (eTX),
Barcelona, Spain,
doi:10.1016/j.entcs.2004.02.051.