Resoning About TCOZ
| dc.contributor.author | Jing Song DONG | en_US |
| dc.contributor.author | Jing SUN | en_US |
| dc.date.accessioned | 2004-10-21T14:28:52Z | en_US |
| dc.date.accessioned | 2017-01-23T07:00:03Z | |
| dc.date.available | 2004-10-21T14:28:52Z | en_US |
| dc.date.available | 2017-01-23T07:00:03Z | |
| dc.date.issued | 2002-03-01T00:00:00Z | en_US |
| dc.description.abstract | Timed Communicating Object Z (TCOZ) semantically and syntactically blends Object-Z with TCSP. TCOZ can capture the data/state and real-time interactions of system components. TCOZ preserves in large part both the syntax and semantics of the individual notations and hence can potentially benefit from existing reasoning systems of the individual notations. This paper extends and links the Object-Z and TCSP proof systems for reasoning about TCOZ models. | en_US |
| dc.format.extent | 276646 bytes | en_US |
| dc.format.extent | 569278 bytes | en_US |
| dc.format.mimetype | application/pdf | en_US |
| dc.format.mimetype | application/postscript | en_US |
| dc.identifier.uri | https://dl.comp.nus.edu.sg/xmlui/handle/1900.100/1424 | en_US |
| dc.language.iso | en | en_US |
| dc.relation.ispartofseries | TRA3/02 | en_US |
| dc.title | Resoning About TCOZ | en_US |
| dc.type | Technical Report | en_US |
Files
License bundle
1 - 1 of 1