@article(Alur94theory,
 author       = {Rajeev Alur and David L. Dill},
 year         = {1994},
 title        = {A Theory of Timed Automata},
 journal      = {Theor. Comput. Sci.},
 volume       = {126},
 number       = {2},
 pages        = {183--235},
 doi          = {10.1016/0304-3975(94)90010-8},
)
@inproceedings(AtzeiB16,
 author       = {Nicola Atzei and Massimo Bartoletti},
 year         = {2016},
 title        = {Developing Honest Java Programs with Diogenes},
 booktitle    = {FORTE 2016},
 series       = {LNCS},
 volume       = {9688},
 publisher    = {Springer},
 pages        = {52--61},
 doi          = {10.1007/978-3-319-39570-8\_4},
)
@inproceedings(ctaRefinement,
 author       = {Massimo Bartoletti and Laura Bocchi and Maurizio Murgia},
 year         = {2018},
 title        = {{Progress-preserving Refinements of CTA}},
 booktitle    = {CONCUR 2018},
 note         = {To appear},
)
@article(BartolettiCM17,
 author       = {Massimo Bartoletti and Tiziana Cimoli and Maurizio Murgia},
 year         = {2017},
 title        = {Timed Session Types},
 journal      = {Logical Methods in Computer Science},
 volume       = {13},
 number       = {4},
 doi          = {10.23638/LMCS-13(4:25)2017},
)
@inproceedings(CO2,
 author       = {Massimo Bartoletti and Tiziana Cimoli and Maurizio Murgia and Alessandro Sebastian Podda and Livio Pompianu},
 year         = {2015},
 title        = {A contract-oriented middleware},
 booktitle    = {{FACS}},
 series       = {LNCS},
 volume       = {9539},
 publisher    = {Springer},
 pages        = {86--104},
 doi          = {10.1007/978-3-319-28934-2\_5},
)
@inproceedings(BSZ14concur,
 author       = {Massimo Bartoletti and Alceste Scalas and Roberto Zunino},
 year         = {2014},
 title        = {A Semantic Deconstruction of Session Types},
 booktitle    = {Proc. {CONCUR}},
 series       = {LNCS},
 volume       = {8704},
 publisher    = {Springer},
 pages        = {402--418},
 doi          = {10.1007/978-3-662-44584-6\_28},
)
@inproceedings(Bocchi15concur,
 author       = {Laura Bocchi and Julien Lange and Nobuko Yoshida},
 year         = {2015},
 title        = {Meeting Deadlines Together},
 booktitle    = {{CONCUR}},
 series       = {LIPIcs},
 volume       = {42},
 publisher    = {Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik},
 pages        = {283--296},
 doi          = {10.4230/LIPIcs.CONCUR.2015.283},
)
@inproceedings(Bocchi14concur,
 author       = {Laura Bocchi and Weizhen Yang and Nobuko Yoshida},
 year         = {2014},
 title        = {Timed Multiparty Session Types},
 booktitle    = {{CONCUR}},
 series       = {LNCS},
 volume       = {8704},
 publisher    = {Springer},
 pages        = {419--434},
 doi          = {10.1007/978-3-662-44584-6\_29},
)
@inproceedings(BornotST97,
 author       = {S{\'{e}}bastien Bornot and Joseph Sifakis and Stavros Tripakis},
 year         = {1997},
 title        = {Modeling Urgency in Timed Systems},
 booktitle    = {{COMPOS}},
 series       = {LNCS},
 volume       = {1536},
 publisher    = {Springer},
 pages        = {103--129},
 doi          = {10.1007/3-540-49213-5\_5},
)
@inproceedings(Dezani09wsfm,
 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},
)
@article(Honda16jacm,
 author       = {Kohei Honda and Nobuko Yoshida and Marco Carbone},
 year         = {2016},
 title        = {Multiparty Asynchronous Session Types},
 journal      = {J. {ACM}},
 volume       = {63},
 number       = {1},
 pages        = {9:1--9:67},
 doi          = {10.1145/2827695},
)
@inproceedings(KrcalY06,
 author       = {Pavel Krc{\'{a}}l and Wang Yi},
 year         = {2006},
 title        = {Communicating Timed Automata: The More Synchronous, the More Difficult to Verify},
 booktitle    = {{CAV}},
 series       = {LNCS},
 volume       = {4144},
 publisher    = {Springer},
 pages        = {249--262},
 doi          = {10.1007/11817963\_24},
)
@article(NBY17,
 author       = {Rumyana Neykova and Laura Bocchi and Nobuko Yoshida},
 year         = {2017},
 title        = {Timed runtime monitoring for multiparty conversations},
 journal      = {Formal Asp. Comput.},
 volume       = {29},
 number       = {5},
 pages        = {877--910},
 doi          = {10.1007/s00165-017-0420-8},
)
@inproceedings(TakeuchiHK94,
 author       = {Kaku Takeuchi and Kohei Honda and Makoto Kubo},
 year         = {1994},
 title        = {An Interaction-based Language and its Typing System},
 booktitle    = {PARLE},
 series       = {LNCS},
 volume       = {817},
 publisher    = {Springer},
 pages        = {398--413},
 doi          = {10.1007/3-540-58184-7\_118},
)