@(webproactive,
 title        = {{ProActive} Middleware},
 url          = {{https://github.com/scale-proactive}},
)
@article(AhrendtChimentoPaceSchneider17a,
 author       = {Wolfgang Ahrendt and Jes{\'u}s~Mauricio Chimento and Gordon~J. Pace and Gerardo Schneider},
 year         = {2017},
 title        = {Verifying data- and control-oriented properties combining static and runtime verification: theory and tools},
 journal      = {Formal Methods in System Design},
 volume       = {51},
 number       = {1},
 pages        = {200--265},
 doi          = {10.1007/s10703-017-0274-y},
)
@incollection(AlbertAFGGMPR14,
 author       = {Elvira Albert and Puri Arenas and Flores-Montoya, Antonio and Samir Genaim and G\'omez-Zamalloa, Miguel and Martin-Martin, Enrique and Germ\'an Puebla and Rom\'an-D\'iez, Guillermo},
 year         = {2014},
 title        = {{SACO}: {S}tatic {A}nalyzer for {C}oncurrent {O}bjects},
 editor       = {Erika {\'{A}}brah{\'{a}}m and Klaus Havelund},
 booktitle    = {Proc. 20th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS)},
 series       = {LNCS},
 volume       = {8413},
 publisher    = {Springer},
 pages        = {562--567},
 doi          = {10.1007/978-3-642-54862-8_46},
)
@article(AmeurBoulifa2017,
 author       = {R.~Ameur-Boulifa and L.~Henrio and O.~Kulankhina and E.~Madelaine and A.~Savu},
 year         = {2017},
 title        = {Behavioural semantics for asynchronous components},
 journal      = {Journal of Logical and Algebraic Methods in Programming},
 volume       = {89},
 pages        = {1--40},
 doi          = {10.1016/j.jlamp.2017.02.003},
 url          = {http://www.sciencedirect.com/science/article/pii/S2352220817300287},
)
@article(CSUR2017,
 author       = {Frank~De Boer and Vlad Serbanescu and Reiner H\"{a}hnle and Ludovic Henrio and Justine Rochas and Crystal~Chang Din and Broch~Johnsen, Einar and Marjan Sirjani and Ehsan Khamespanah and Fernandez-Reyes, Kiko and Albert~Mingkun Yang},
 year         = {2017},
 title        = {{A Survey of Active Object Languages}},
 journal      = {ACM Computing Surveys},
 volume       = {50},
 number       = {5},
 pages        = {1--39},
 doi          = {10.1145/3122848},
)
@book(CH-book,
 author       = {Denis Caromel and Ludovic Henrio},
 year         = {2004},
 title        = {A Theory of Distributed Objects},
 publisher    = {Springer},
 doi          = {10.1007/b138812},
)
@inproceedings(CF-iFM16,
 author       = {Ian Cassar and Adrian Francalanza},
 year         = {2016},
 title        = {{On Implementing a Monitor-Oriented Programming Framework for Actor Systems}},
 editor       = {Erika {\'A}brah{\'a}m and Marieke Huisman},
 booktitle    = {Integrated Formal Methods},
 publisher    = {Springer},
 pages        = {176--192},
 doi          = {10.1007/978-3-319-33693-0_12},
)
@incollection(Starvoors2015,
 author       = {Jes\'us~Mauricio Chimento and Wolfgang Ahrendt and Gordon~J. Pace and Gerardo Schneider},
 year         = {2015},
 title        = {{StaRVOOrS: A Tool for Combined Static and Runtime Verification of Java}},
 editor       = {Ezio Bartocci and Rupak Majumdar},
 booktitle    = {Runtime Verification},
 series       = {Lecture Notes in Computer Science},
 volume       = {9333},
 publisher    = {Springer},
 pages        = {297--305},
 doi          = {10.1007/978-3-319-23820-3_21},
)
@article(ColomboF2016,
 author       = {Christian Colombo and Yli{\`e}s Falcone},
 year         = {2016},
 title        = {{Organising LTL monitors over distributed systems with a global clock}},
 journal      = {Formal Methods in System Design},
 volume       = {49},
 number       = {1-2},
 pages        = {109--158},
 doi          = {10.1007/s10703-016-0251-x},
)
@inproceedings(ColomboFrancalanzaGatt12,
 author       = {Christian Colombo and Adrian Francalanza and Rudolph Gatt},
 year         = {2012},
 title        = {{Elarva: A Monitoring Tool for Erlang}},
 editor       = {Sarfraz Khurshid and Koushik Sen},
 booktitle    = {Runtime Verification},
 publisher    = {Springer},
 pages        = {370--374},
 doi          = {10.1007/BFb0053381},
)
@inproceedings(CPS09larva,
 author       = {Christian Colombo and Gordon~J. Pace and Gerardo Schneider},
 year         = {2009},
 title        = {{LARVA --- Safer Monitoring of Real-Time Java Programs (Tool Paper)}},
 booktitle    = {Seventh IEEE International Conference on Software Engineering and Formal Methods (SEFM)},
 publisher    = {IEEE Computer Society},
 pages        = {33--37},
 doi          = {10.1109/SEFM.2009.13},
)
@book(335c34f7a1d744fa8981c64704e889d6,
 author       = {{de Roever}, W.P. and U.~Hanneman and J.~Hooiman and Y.~Lakhneche and Mannes Poel and Jakob Zwiers and F.~{de Boer}},
 year         = {2001},
 title        = {Concurrency Verification: Introduction to Compositional and Noncompositional Methods},
 series       = {Cambridge Tracts in Theoretical Computer Science},
 publisher    = {Cambridge University Press},
 note         = {Imported from HMI},
)
@incollection(DinTHJ15,
 author       = {Crystal~Chang Din and {Tapia Tarifa}, S.~Lizeth and Reiner H{\"a}hnle and Einar~Broch Johnsen},
 year         = {2015},
 title        = {{History-Based Specification and Verification of Scalable Concurrent and Distributed Systems}},
 editor       = {Michael Butler and Sylvain Conchon and Za{\"{\i}}di, Fatiha},
 booktitle    = {International Conference on Formal Engineering Methods ({ICFEM})},
 series       = {LNCS},
 volume       = {9407},
 publisher    = {Springer},
 pages        = {217--233},
 doi          = {10.1007/978-3-319-25423-4_14},
)
@article(FRANCALANZA2013186,
 author       = {Adrian Francalanza and Andrew Gauci and Gordon~J. Pace},
 year         = {2013},
 title        = {{Distributed System Contract Monitoring}},
 journal      = {The Journal of Logic and Algebraic Programming},
 volume       = {82},
 number       = {5},
 pages        = {186--215},
 doi          = {10.1016/j.jlap.2013.04.001},
 url          = {http://www.sciencedirect.com/science/article/pii/S1567832613000234},
 note         = {Formal Languages and Analysis of Contract-Oriented Software (FLACOS'11)},
)
@inproceedings(FMT-Dais18,
 author       = {Adrian Francalanza and Claudio~Antares Mezzina and Emilio Tuosto},
 year         = {2018},
 title        = {{Reversible Choreographies via Monitoring in {Erlang}}},
 editor       = {Silvia Bonomi and Etienne Rivi{\`e}re},
 booktitle    = {Distributed Applications and Interoperable Systems},
 publisher    = {Springer},
 pages        = {75--92},
 doi          = {10.1016/j.jlamp.2017.11.002},
)
@inbook(Francalanza-RV2018,
 author       = {Adrian Francalanza and Jorge~A. P{\'e}rez and C{\'e}sar S{\'a}nchez},
 year         = {2018},
 title        = {Runtime Verification for Decentralised and Distributed Systems},
 pages        = {176--210},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-75632-5_6},
)
@inbook(HLM-IFM2017,
 author       = {Ludovic Henrio and Cosimo Laneve and Vincenzo Mastandrea},
 year         = {2017},
 title        = {Analysis of Synchronisations in Stateful Active Objects},
 pages        = {195--210},
 publisher    = {Springer},
 doi          = {10.1007/978-3-319-66845-1\_13},
)
@article(HR-lmcs17,
 author       = {Ludovic Henrio and Justine Rochas},
 year         = {2017},
 title        = {{Multiactive objects and their applications}},
 journal      = {{Logical Methods in Computer Science}},
 volume       = {{Volume 13, Issue 4}},
 doi          = {10.23638/LMCS-13(4:12)2017},
 url          = {http://lmcs.episciences.org/4079},
)
@incollection(Hewitt:1973,
 author       = {Carl Hewitt and Peter Bishop and Richard Steiger},
 year         = {1973},
 title        = {{A Universal Modular {ACTOR} Formalism for Artificial Intelligence}},
 editor       = {Nils~J. Nilsson},
 booktitle    = {Proceedings of the 3rd International Joint Conference on Artificial Intelligence},
 series       = {IJCAI'73},
 publisher    = {W. Kaufmann},
 pages        = {235--245},
)
@inproceedings(PHBA13CAN,
 author       = {Laurent Pellegrino and Fabrice Huet and Fran{\c{c}}oise Baude and Amjad Alshabani},
 year         = {2013},
 title        = {{A Distributed Publish/Subscribe System for {RDF} Data}},
 editor       = {Abdelkader Hameurlain and Wenny Rahayu and David Taniar},
 booktitle    = {Data Management in Cloud, Grid and P2P Systems},
 publisher    = {Springer},
 pages        = {39--50},
 doi          = {10.1145/964723.383071},
)
@inproceedings(Ratnasamy01:CAN,
 author       = {S.~Ratnasamy and P.~Francis and M.~Handley and R.~Karp and S.~Shenker},
 year         = {2001},
 title        = {{A Scalable Content-Addressable Network}},
 booktitle    = {SIGCOMM},
 publisher    = {ACM},
 pages        = {161--172},
 doi          = {10.1145/383059.383072},
)
@article(DBLP:journals/fuin/SirjaniMSB04,
 author       = {Marjan Sirjani and Ali Movaghar and Amin Shali and Frank~S. de~Boer},
 year         = {2004},
 title        = {{M}odeling and {V}erification of {R}eactive {S}ystems using {R}ebeca},
 journal      = {Fundamenta Informaticae},
 volume       = {63},
 number       = {4},
 pages        = {385--410},
)
@book(AkkaBook,
 author       = {Derek Wyatt},
 year         = {2013},
 title        = {Akka Concurrency},
 publisher    = {Artima},
)