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