@book(DBLP:books/daglib/0066897,
 author       = {Gul A. Agha},
 year         = {1990},
 title        = {{ACTORS} - a model of concurrent computation in distributed systems},
 series       = {{MIT} Press series in artificial intelligence},
 publisher    = {{MIT} Press},
 doi          = {10.1137/1030027},
)
@inproceedings(DBLP:conf/rv/AttardF16,
 author       = {Duncan Paul Attard and Adrian Francalanza},
 year         = {2016},
 title        = {A Monitoring Tool for a Branching-Time Logic},
 booktitle    = {{RV}},
 series       = {{LNCS}},
 volume       = {10012},
 publisher    = {Springer},
 pages        = {473--481},
 doi          = {10.1007/978-3-319-46982-9\_31},
)
@article(bdft16,
 author       = {Davide Basile and Pierpaolo Degano and Gian-Luigi Ferrari and Emilio Tuosto},
 year         = {2016},
 title        = {Relating two automata-based models of orchestration and choreography},
 journal      = {JLAMP},
 volume       = {85},
 number       = {3},
 pages        = {425 -- 446},
 doi          = {10.1016/j.jlamp.2015.09.011},
)
@article(DBLP:journals/corr/BernardiH15,
 author       = {G. Bernardi and M. Hennessy},
 title        = {Mutually Testing Processes},
 journal      = {LMCS},
 volume       = {11},
 doi          = {10.2168/LMCS-11(2:1)2015},
)
@article(bz83,
 author       = {Daniel Brand and Pitro Zafiropulo},
 year         = {1983},
 title        = {{On Communicating Finite-State Machines}},
 journal      = {Journal of the ACM},
 volume       = {30},
 number       = {2},
 pages        = {323--342},
 doi          = {10.1145/322374.322380},
)
@inproceedings(DBLP:conf/rv/CassarF15,
 author       = {Ian Cassar and Adrian Francalanza},
 year         = {2015},
 title        = {Runtime Adaptation for Actor Systems},
 editor       = {Ezio Bartocci and Rupak Majumdar},
 booktitle    = {RV2015},
 series       = {LNCS},
 volume       = {9333},
 publisher    = {Springer},
 pages        = {38--54},
 doi          = {10.1007/978-3-319-23820-3\_3},
)
@inproceedings(DBLP:conf/ifm/CassarF16,
 author       = {Ian Cassar and Adrian Francalanza},
 year         = {2016},
 title        = {On Implementing a Monitor-Oriented Programming Framework for Actor Systems},
 booktitle    = {{IFM} 2016},
 series       = {LNCS},
 volume       = {9681},
 publisher    = {Springer},
 pages        = {176--192},
 doi          = {10.1007/978-3-319-33693-0\_12},
)
@article(DBLP:journals/toplas/CastagnaGP09,
 author       = {G. Castagna and N. Gesbert and L. Padovani},
 year         = {2009},
 title        = {A theory of contracts for Web services},
 journal      = {ACM Trans. Program. Lang. Syst.},
 volume       = {31},
 number       = {5},
 doi          = {10.1145/1538917.1538920},
)
@inproceedings(DBLP:conf/cefp/CesariniT09,
 author       = {Francesco Cesarini and Simon J. Thompson},
 year         = {2009},
 title        = {Erlang Behaviours: Programming with Process Design Patterns},
 booktitle    = {{CEFP} 2009, Budapest, Hungary},
 pages        = {19--41},
 doi          = {10.1007/978-3-642-17685-2\_2},
)
@inproceedings(chen-jin-meredith-rosu-2009-icicis,
 author       = {Feng Chen and Dongyun Jin and Patrick Meredith and Ro\c{s}u, Grigore},
 year         = {2009},
 title        = {Monitoring Oriented Programming - A Project Overview},
 booktitle    = {ICICIS'09},
 publisher    = {ACM},
 pages        = {72--77},
)
@inproceedings(DBLP:conf/pdp/CoppoDV14,
 author       = {Mario Coppo and Dezani{-}Ciancaglini, Mariangiola and Betti Venneri},
 year         = {2014},
 title        = {Self-Adaptive Monitors for Multiparty Sessions},
 booktitle    = {22nd Euromicro International Conference on Parallel, Distributed, and Network-Based Processing, {PDP} 2014, Torino, Italy, February 12-14, 2014},
 publisher    = {{IEEE} Computer Society},
 pages        = {688--696},
 doi          = {10.1109/PDP.2014.18},
)
@inproceedings(DBLP:conf/fossacs/Francalanza16,
 author       = {Adrian Francalanza},
 year         = {2016},
 title        = {{A Theory of Monitors - (Extended Abstract)}},
 booktitle    = {{FoSSaCS}},
 series       = {LNCS},
 volume       = {9634},
 publisher    = {Springer},
 pages        = {145--161},
 doi          = {10.1007/978-3-662-49630-5\_9},
)
@inproceedings(DBLP:conf/concur/Francalanza17,
 author       = {Adrian Francalanza},
 year         = {2017},
 title        = {{C}onsistently-{D}etecting {M}onitors},
 booktitle    = {{CONCUR}},
 series       = {LNCS},
 publisher    = {Springer},
 note         = {(to appear)},
)
@article(FraAI17,
 author       = {Adrian Francalanza and Luca Aceto and Anna Ingolfsdottir},
 year         = {2017},
 title        = {Monitorability for the {H}ennessy--{M}ilner logic with recursion},
 journal      = {Formal Methods in System Design},
 pages        = {1--30},
 doi          = {10.1007/s10703-017-0273-z},
)
@article(FGP12DistribRV,
 author       = {Adrian Francalanza and Andrew Gauci and Gordon J. Pace},
 year         = {2013},
 title        = {{D}istributed {S}ystem {C}ontract {M}onitoring},
 journal      = {The Journal of Logic and Algebraic Programming (JLAP)},
 volume       = {82},
 number       = {5-7},
 pages        = {186--215},
 doi          = {10.1016/j.jlap.2013.04.001},
)
@article(FraSey14,
 author       = {Adrian Francalanza and Aldrin Seychell},
 year         = {2015},
 title        = {Synthesising {C}orrect Concurrent {R}untime {M}onitors},
 journal      = {Formal Methods in System Design (FMSD)},
 volume       = {46},
 number       = {3},
 pages        = {226--261},
 doi          = {10.1007/s10703-014-0217-9},
)
@inproceedings(Gray86,
 author       = {Jim Gray},
 year         = {1986},
 title        = {Why Do Computers Stop and What Can Be Done About It?},
 booktitle    = {SRDS},
 publisher    = {IEEE},
 doi          = {10.1109/MC.1983.1654340},
)
@inproceedings(gt16,
 author       = {Roberto Guanciale and Emilio Tuosto},
 year         = {2016},
 title        = {An Abstract Semantics of the Global View of Choreographies},
 booktitle    = {{ICE} 2016, Heraklion, Greece},
 pages        = {67--82},
 doi          = {10.4204/EPTCS.223.5},
)
@inproceedings(RA-SOA:2008,
 author       = {Florian Irmert and Thomas Fischer and Meyer-Wegener, Klaus},
 year         = {2008},
 title        = {Runtime Adaptation in a Service-oriented Component Model},
 series       = {SEAMS '08},
 publisher    = {ACM},
 pages        = {97--104},
 doi          = {10.1145/1370018.1370036},
)
@phdthesis(Kalareh:phd,
 author       = {Mehdi Amoui Kalareh},
 year         = {2012},
 title        = {Evolving Software Systems for Self-Adaptation},
 school       = {University of Waterloo},
 address      = {Ontario, Canada},
)
@misc(w3c:cho,
 author       = {Nickolas Kavantzas and Davide Burdett and Gregory Ritzinger and Tony Fletcher and Yves Lafon},
 year         = {2004},
 title        = {Web Services Choreography Description Language Version 1.0},
 howpublished = {\url{http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217}},
)
@article(Kell08survey,
 author       = {Stephen Kell},
 year         = {2008},
 title        = {A Survey of Practical Software Adaptation Techniques.},
 volume       = {14},
 number       = {13},
 pages        = {2110--2157},
 doi          = {10.3217/jucs-014-13-2110},
)
@inproceedings(LaneseMSS11,
 author       = {Ivan Lanese and Claudio Antares Mezzina and Alan Schmitt and Jean{-}Bernard Stefani},
 year         = {2011},
 title        = {Controlling Reversibility in Higher-Order Pi},
 booktitle    = {{CONCUR}},
 pages        = {297--311},
 doi          = {10.1007/978-3-642-23217-6\_20},
)
@inproceedings(lty15,
 author       = {Julien Lange and Emilio Tuosto and Nobuko Yoshida},
 year         = {2015},
 title        = {{From Communicating Machines to Graphical Choreographies}},
 booktitle    = {POPL15},
 pages        = {221--232},
 doi          = {10.1145/2676726.2676964},
)
@inbook(lty17,
 author       = {Julien Lange and Emilio Tuosto and Nobuko Yoshida},
 year         = {2017},
 title        = {A tool for choreography-based analysis of message-passing software},
 publisher    = {{ACM}},
 note         = {To appear. Available at \url{http://www.cs.le.ac.uk/~et52/chorgram_betty_ch.pdf}},
)
@article(meredith-jin-griffith-chen-rosu-2011-jsttt,
 author       = {Patrick O'Neil Meredith and Dongyun Jin and Dennis Griffith and Feng Chen and Ro\c{s}u, Grigore},
 year         = {2011},
 title        = {An Overview of the {MOP} Runtime Verification Framework},
 journal      = {International Journal on Software Techniques for Technology Transfer},
 pages        = {249--289},
 doi          = {10.1007/s10009-011-0198-6},
)
@article(corr/MezzinaT17,
 author       = {Claudio Antares Mezzina and Emilio Tuosto},
 year         = {2017},
 title        = {Choreographies for Automatic Recovery},
 journal      = {CoRR},
 volume       = {abs/1705.09525},
)
@inproceedings(ny17,
 author       = {Rumyana Neykova and Nobuko Yoshida},
 year         = {2017},
 title        = {Let it recover: multiparty protocol-induced recovery},
 booktitle    = {CC2017},
 pages        = {98--108},
 doi          = {10.1145/3033019.3033031},
)
@inproceedings(Oreizy08SOA,
 author       = {Peyman Oreizy and Nenad Medvidovic and Richard N. Taylor},
 year         = {2008},
 title        = {Runtime Software Adaptation: Framework, Approaches, and Styles},
 series       = {ICSE Companion '08},
 publisher    = {ACM},
 address      = {New York, NY, USA},
 pages        = {899--910},
 doi          = {10.1145/1370175.1370181},
)
@book(roo90,
 author       = {Paul Rook},
 year         = {1990},
 title        = {Software Reliability Handbook},
 publisher    = {Elsevier Science Inc.},
 address      = {New York, NY, USA},
)
@book(Thomas:2014:PEF:2723830,
 author       = {Dave Thomas},
 year         = {2014},
 title        = {Programming Elixir: Functional , Concurrent , Pragmatic , Fun},
 edition      = {1st},
 publisher    = {Pragmatic Bookshelf},
)
@book(Wyatt:2013:AC:2663429,
 author       = {Derek Wyatt},
 year         = {2013},
 title        = {Akka Concurrency},
 publisher    = {Artima Incorporation},
 address      = {USA},
)