@article(BLC:2011:RVL:2000799.2000800:RV-LTL,
 author       = {Andreas Bauer and Martin Leucker and Christian Schallhart},
 year         = {2011},
 title        = {Runtime Verification for {LTL} and {TLTL}},
 journal      = {TOSEM, {ACM}},
 volume       = {20},
 number       = {4},
 pages        = {14:1--14:64},
 doi          = {10.1145/2000799.2000800},
)
@inproceedings(Bernardi:2012:MST:2245276.2232097:Contracts,
 author       = {Giovanni Bernardi and Matthew Hennessy},
 year         = {2012},
 title        = {Modelling Session Types Using Contracts},
 series       = {SAC},
 publisher    = {ACM},
 pages        = {1941--1946},
 doi          = {10.1145/2245276.2232097},
)
@article(DBLP:journals/corr/BernardiH15,
 author       = {Giovanni Bernardi and Matthew Hennessy},
 year         = {2015},
 title        = {Mutually Testing Processes},
 journal      = {LMCS},
 volume       = {11},
 number       = {2},
 doi          = {10.2168/LMCS-11(2:1)2015},
)
@inproceedings(BocchiCDHY:2013:MNMST:SessionTypesContracts,
 author       = {Laura Bocchi and Tzu-Chun Chen and Romain Demangeon and Kohei Honda and Nobuko Yoshida},
 year         = {2013},
 title        = {Monitoring Networks through Multiparty Session Types},
 booktitle    = {{FMOODS/FORTE}},
 series       = {LNCS},
 volume       = {7892},
 publisher    = {Springer},
 pages        = {50--65},
 doi          = {10.1007/978-3-642-38592-6_5},
)
@article(DBLP:journals/mscs/BravettiZ09a,
 author       = {M. Bravetti and G. Zavattaro},
 year         = {2009},
 title        = {A theory of contracts for strong service compliance},
 journal      = {MSCS},
 volume       = {19},
 number       = {3},
 doi          = {10.1017/S0960129509007658},
)
@incollection(CarCasLanPad:2006:FACWS:Contracts,
 author       = {S. Carpineti and G. Castagna and C. Laneve and L. Padovani},
 year         = {2006},
 title        = {A Formal Account of Contracts for Web Services},
 booktitle    = {WS-FM},
 series       = {LNCS},
 volume       = {4184},
 publisher    = {Springer},
 pages        = {148--162},
 doi          = {10.1007/11841197_10},
)
@article(Castagna:2009:TCW:1538917.1538920:Contracts,
 author       = {Giuseppe Castagna and Nils Gesbert and Luca Padovani},
 year         = {2009},
 title        = {A Theory of Contracts for Web Services},
 journal      = {TOPLAS, ACM},
 volume       = {31},
 number       = {5},
 pages        = {19:1--19:61},
 doi          = {10.1145/1538917.1538920},
)
@incollection(CF:2015:LTLPSRV:RV-LTL,
 author       = {Clare Cini and Adrian Francalanza},
 year         = {2015},
 title        = {An LTL Proof System for Runtime Verification},
 booktitle    = {TACAS},
 series       = {LNCS},
 volume       = {9035},
 publisher    = {Springer},
 pages        = {581--595},
 doi          = {10.1007/978-3-662-46681-0_54},
)
@inproceedings(DCDL:2009:SST:1880906.1880907:SessionTypes,
 author       = {Dezani-Ciancaglini, Mariangiola and Ugo De'Liguoro},
 year         = {2009},
 title        = {Sessions and Session Types: An Overview},
 booktitle    = {{WS-FM}},
 series       = {LNCS},
 volume       = {6194},
 publisher    = {Springer},
 pages        = {1--28},
 doi          = {10.1007/978-3-642-14458-5_1},
)
@inproceedings(Fra16,
 author       = {Adrian Francalanza},
 year         = {2016},
 title        = {{A} {T}heory of {M}onitors {(Extended Abstract)}},
 booktitle    = {{FoSSaCS}},
 series       = {LNCS},
 volume       = {9634},
 publisher    = {Springer},
 pages        = {145--161},
 doi          = {10.1007/978-3-662-49630-5_9},
)
@inproceedings(FrancalanzaAI:2015:uHML,
 author       = {Adrian Francalanza and Luca Aceto and Anna Ing{\'{o}}lfsd{\'{o}}ttir},
 year         = {2015},
 title        = {On Verifying Hennessy-Milner Logic with Recursion at Runtime},
 booktitle    = {{RV}},
 series       = {LNCS},
 volume       = {9333},
 publisher    = {Springer},
 pages        = {71--86},
 doi          = {10.1007/978-3-319-23820-3_5},
)
@inproceedings(Jia:2016:MBA:2837614.2837662:MonitorsSessionTypes,
 author       = {Limin Jia and Hannah Gommerstadt and Frank Pfenning},
 year         = {2016},
 title        = {Monitors and Blame Assignment for Higher-order Session Types},
 series       = {POPL},
 publisher    = {ACM},
 pages        = {582--594},
 doi          = {10.1145/2837614.2837662},
)
@article(Leucker:2009:rv,
 author       = {Martin Leucker and Christian Schallhart},
 year         = {2009},
 title        = {A brief account of runtime verification},
 journal      = {JLAP},
 volume       = {78},
 number       = {5},
 pages        = {293--303},
 doi          = {10.1016/j.jlap.2008.08.004},
)
@book(Milner:1989:book,
 author       = {Robin Milner},
 year         = {1989},
 title        = {Communication and Concurrency},
 publisher    = {Prentice Hall},
)
@incollection(Padovani:2009:CDAWS:contracts,
 author       = {Luca Padovani},
 year         = {2009},
 title        = {Contract-Based Discovery and Adaptation of Web Services},
 booktitle    = {SFM},
 series       = {LNCS},
 volume       = {5569},
 publisher    = {Springer},
 pages        = {213--260},
 doi          = {10.1007/978-3-642-01918-0_6},
)