References

  1. Rajeev Alur & David L. Dill (1994): A Theory of Timed Automata. Theor. Comput. Sci. 126(2), pp. 183–235, doi:10.1016/0304-3975(94)90010-8.
  2. Nicola Atzei & Massimo Bartoletti (2016): Developing Honest Java Programs with Diogenes. In: FORTE 2016, LNCS 9688. Springer, pp. 52–61, doi:10.1007/978-3-319-39570-8_4.
  3. Massimo Bartoletti, Laura Bocchi & Maurizio Murgia (2018): Progress-preserving Refinements of CTA. In: CONCUR 2018. To appear.
  4. Massimo Bartoletti, Tiziana Cimoli & Maurizio Murgia (2017): Timed Session Types. Logical Methods in Computer Science 13(4), doi:10.23638/LMCS-13(4:25)2017.
  5. Massimo Bartoletti, Tiziana Cimoli, Maurizio Murgia, Alessandro Sebastian Podda & Livio Pompianu (2015): A contract-oriented middleware. In: FACS, LNCS 9539. Springer, pp. 86–104, doi:10.1007/978-3-319-28934-2_5.
  6. Massimo Bartoletti, Alceste Scalas & Roberto Zunino (2014): A Semantic Deconstruction of Session Types. In: Proc. CONCUR, LNCS 8704. Springer, pp. 402–418, doi:10.1007/978-3-662-44584-6_28.
  7. Laura Bocchi, Julien Lange & Nobuko Yoshida (2015): Meeting Deadlines Together. In: CONCUR, LIPIcs 42. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp. 283–296, doi:10.4230/LIPIcs.CONCUR.2015.283.
  8. Laura Bocchi, Weizhen Yang & Nobuko Yoshida (2014): Timed Multiparty Session Types. In: CONCUR, LNCS 8704. Springer, pp. 419–434, doi:10.1007/978-3-662-44584-6_29.
  9. Sébastien Bornot, Joseph Sifakis & Stavros Tripakis (1997): Modeling Urgency in Timed Systems. In: COMPOS, LNCS 1536. Springer, pp. 103–129, doi:10.1007/3-540-49213-5_5.
  10. Mariangiola Dezani-Ciancaglini & Ugo de'Liguoro (2009): Sessions and Session Types: An Overview. In: WS-FM, LNCS 6194. Springer, pp. 1–28, doi:10.1007/978-3-642-14458-5_1.
  11. Kohei Honda, Nobuko Yoshida & Marco Carbone (2016): Multiparty Asynchronous Session Types. J. ACM 63(1), pp. 9:1–9:67, doi:10.1145/2827695.
  12. Pavel Krcál & Wang Yi (2006): Communicating Timed Automata: The More Synchronous, the More Difficult to Verify. In: CAV, LNCS 4144. Springer, pp. 249–262, doi:10.1007/11817963_24.
  13. Rumyana Neykova, Laura Bocchi & Nobuko Yoshida (2017): Timed runtime monitoring for multiparty conversations. Formal Asp. Comput. 29(5), pp. 877–910, doi:10.1007/s00165-017-0420-8.
  14. Kaku Takeuchi, Kohei Honda & Makoto Kubo (1994): An Interaction-based Language and its Typing System. In: PARLE, LNCS 817. Springer, pp. 398–413, doi:10.1007/3-540-58184-7_118.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org