Paper Info
Title
Overview of the Semantics of TCOZ
Abstract
Object-Z is an extension to the Z language designed to facilitate specificationin an object-oriented style. It is an excellent tool for modellingdata and operations, but its object semantics are single threaded, operationsare atomic, and object control logic is defined implicitly. Thismakes it difficult to use Object-Z to capture the behaviour of concurrentreal-time reactive systems. On the other hand, Timed CSP is goodat modelling real-time concurrent behaviour, but has little support...
Year
DOI
Venue
1999
10.1007/978-1-4471-0851-1_5
IFM
Keywords
Field
DocType
real time,reactive system,object oriented
Programming language,Computer science,Control logic,Abstract syntax,Reactive system,Semantics,Semantic data model
Conference
ISBN
Citations 
PageRank 
1-85233-107-0
18
1.36
References 
Authors
15
2
Name
Order
Citations
PageRank
Brendan P. Mahony131724.12
Jin Song Dong217715.93