5 papers:
SEKE-2005-WangDSL #approach #design #process- TCOZ Approach to OWL-S Process Model Design (HHW, JSD, JS, YFL), pp. 354–359.
FME-2003-QinDC #programming #semantics- A Semantic Foundation for TCOZ in Unifying Theories of Programming (SQ, JSD, WNC), pp. 321–340.
- FM-v2-1999-MahonyD
- Sensors and Actuators in TCOZ (BPM, JSD), pp. 1166–1185.
IFM-1999-MahonyD #bibliography #semantics- Overview of the Semantics of TCOZ (BPM, JSD), pp. 66–85.
ICSE-1998-MahonyD #csp- Blending Object-Z and Timed CSP: An Introduction to TCOZ (BPM, JSD), pp. 95–104.
