References

  1. K. R. Apt, N. Francez & S. Katz (1987): Appraising fairness in distributed languages. In: POPL. ACM, pp. 189–198, doi:10.1145/41625.41642.
  2. Laura Bocchi, Tzu-Chun Chen, Romain Demangeon, Kohei Honda & Nobuko Yoshida (2013): Monitoring Networks through Multiparty Session Types. In: FORTE, LNCS 7892, pp. 50–65, doi:10.1007/978-3-642-38592-6_5.
  3. Laura Bocchi, Weizhen Yang & Nobuko Yoshida (2014): Timed Multiparty Session Types. In: CONCUR'14, LNCS. To appear.
  4. Laura Bocchi, Weizhen Yang & Nobuko Yoshida (2014): Timed Multiparty Session Types. Technical Report 2014/3. Department of Computing, Imperial College London. Available at http://www.doc.ic.ac.uk/research/technicalreports/2014/DTR14-3.pdf.
  5. Frank S. de Boer, Stijn de Gouw, Einar Broch Johnsen, Andreas Kohn & Peter Y. H. Wong (2014): Run-Time Assertion Checking of Data- and Protocol-Oriented Properties of Java Programs: An Industrial Case Study. T. Aspect-Oriented Software Development 11, pp. 1–26, doi:10.1007/978-3-642-55099-7_1.
  6. Saoussen Cheikhrouhou, Slim Kallel, Nawal Guermouche & Mohamed Jmaiel (2013): A Survey on Time-aware Business Process Modeling. In: ICEIS (3). SciTePress, pp. 236–242, doi:10.5220/0004413202360242.
  7. Feng Chen & Grigore Rosu (2007): Mop: an efficient and generic runtime verification framework. In: OOPSLA, pp. 569–588, doi:10.1145/1297027.1297069.
  8. Christian Colombo, Gordon J. Pace & Gerardo Schneider (2009): LARVA — Safer Monitoring of Real-Time Java Programs (Tool Paper). In: SEFM, pp. 33–37, doi:10.1109/SEFM.2009.13.
  9. Nawal Guermouche & Silvano Dal-Zilio (2012): Towards timed requirement verification for service choreographies. In: CollaborateCom. IEEE, pp. 117–126, doi:10.4108/icst.collaboratecom.2012.250441.
  10. Kohei Honda, Aybek Mukhamedov, Gary Brown, Tzu-Chun Chen & Nobuko Yoshida (2011): Scribbling Interactions with a Formal Foundation. In: ICDCIT 2011, LNCS 6536. Springer, doi:10.1007/978-3-642-19056-8_4.
  11. Raymond Hu, Rumyana Neykova, Nobuko Yoshida, Romain Demangeon & Kohei Honda (2013): Practical Interruptible Conversations - Distributed Dynamic Verification with Session Types and Python. In: RV, LNCS 8174, pp. 130–148, doi:10.1007/978-3-642-40787-1_8.
  12. Pavel Krcal & Wang Yi (2006): Communicating Timed Automata: The More Synchronous, the More Difficult to Verify. In: Computer Aided Verification, LNCS 4144. Springer, pp. 249–262, doi:10.1007/11817963_24.
  13. Ocean Observatories Initiative (OOI). http://oceanobservatories.org/.
  14. Timed Conversation API in Python. http://www.doc.ic.ac.uk/~rn710/TimeApp.html.
  15. Scribble Project homepage. www.scribble.org.
  16. Kenji Watahiki, Fuyuki Ishikawa & Kunihiko Hiraishi (2011): Formal verification of business processes with temporal and resource constraints. In: SMC. IEEE, pp. 1173–1180, doi:10.1109/ICSMC.2011.6083857.
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org