Brendan Mahony Jin Song Dong Information Technology Division Defence Science...  Home/Search
Context Related
| nus.edu.sg/~dongjs/papers/mahony.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: nus.edu.sg/~dongjs/papers/ (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TCOZ inherits CSP's channel-based communication mechanism, in which messages represent discrete synchronisations between processes. The purpose of most control systems is to observe and control analog components. In such cases, the interface between the control system and the controlled systems cannot be satisfactorily... (Update)
Cited by: More
Knowledge, State, Event and Time in System Modeling -.. - Dong, Duke, Sun (2006) (Correct)
A Semantic Foundation for TCOZ in Unifying Theories of.. - Jin Song Dong (Correct)
Sensor Based Designs for Smart Space - Jin Song Dong (Correct)
Similar documents (at the sentence level):
9.0%: Active Objects in TCOZ - Dong, Mahony (1998) (Correct)
8.6%: Sensors and Actuators in TCOZ - Brendan Mahony Jin (Correct)
7.9%: Network Topology and a Case Study in TCOZ - Mahony, Dong (1998) (Correct)
Active bibliography (related documents): More All
1.1: Modeling Aircraft Mission Computer Task Rates Jin Song Dong - Brendan Mahony Neale (Correct)
0.5: Capturing Concurrent Interactions of Mission Computer Tasks - Jin Song Dong (Correct)
0.4: Overview of the Semantics of TCOZ - Mahony, Dong (Correct)
Similar documents based on text:
0.0: Unknown - (Correct)
Related documents from co-citation: More All
9: Kluwer Academic Publishers (context) - Smith, of et al. - 1991
9: and Timed CSP: an introduction to TCOZ (context) - Mahony, Dong et al. - 1998
6: Towards real-time Object-Z - Smith, Hayes - 1999
BibTeX entry: (Update)
@inproceedings{ mahony99sensors,
author = "Brendan P. Mahony and Jin Song Dong",
title = "Sensors and Actuators in {TCOZ}",
booktitle = "World Congress on Formal Methods (2)",
pages = "1166-1185",
year = "1999",
url = "citeseer.ist.psu.edu/766988.html" }
Citations (may not include all citations):281 Information Processing Letters (context) - Zhou, Hoare et al. - 1991
154 A Specification Language and its Formal Semantics (context) - Spivey - 1988
115 a Specification Language Advocated for the Description of St.. (context) - Duke, Rose et al. - 1995
58 CSP-OZ: A combination of Object-Z and CSP - Fischer - 1997
54 A semantic integration of Object-Z and CSP for the specifica.. - Smith - 1997
47 A case-study in timed refinement: A mine pump (context) - Mahony, Hayes - 1992
34 and Timed CSP: An introduction to TCOZ (context) - Mahony, Dong - 1998
23 A set-theoretic model for real-time specification and reason.. - Fidge, Hayes et al. - 1998
20 Specification and Proof in Real-Time Systems (context) - Davies - 1991
19 An operational semantics for ZCCS - Galloway, Stoddart - 1997
18 Formal Aspects of Computing (context) - Nielsen, Havelund et al. - 1989
16 Coercing real-time refinement: A transmitter - Hayes, Utting - 1997
16 The State-Based CCS Semantics for Concurrent Z Specification (context) - Taguchi, Araki - 1997
15 Theoretical Computer Science (context) - Schneider, Davies et al. - 1995
14 Using units of measurement in formal specifications - Hayes, Mahony - 1995
13 Active Objects in TCOZ - Dong, Mahony - 1998
12 and timed CSP (context) - Suhl, An - 1999
10 Overview of the semantics of TCOZ - Mahony, Dong - 1999
10 Network topology and a case-study in TCOZ - Mahony, Dong - 1998
5 Automatic Control Engineering (context) - Raven - 1968
5 Available as ftpftp (context) - Specification, Timed et al. - 1991
4 Sensors and Actuators: Process Control in TCOZ (context) - Mahony, Dong - 1998
3 ACM Software Engineering Notes (context) - Shaw - 1995
3 Security management via Z and CSP (context) - Simpson, Davies et al. - 1998
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.comp.nus.edu.sg/~dongjs/papers/): More
Software Engineering Approaches to Semantic Web - Dong Dan National (Correct)
Software Modeling Techniques and the Semantic Web - Jin Song Dong (Correct)
Verifying DAML+OIL and Beyond in Z/EVES - Jin Song Dong (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC