Bowman, H. and Katoen, J-P. (1998) A True Concurrency Semantics for ET-LOTOS. In: CSD'98 International Conference on Application of Concurrency to System Design, Mar 23-26, 1998, Fukushima, Japan.
|The full text of this publication is not available from this repository. (Contact us about this Publication)|
One of the central objectives of the LOTOS restandardisation activity is to define an enhanced LOTOS language which supports real-time specification. The timed extension is based upon a timed LOTOS proposal ET-LOTOS. This paper defines a (branching-time) non-interleaving semantics for ET-LOTOS without data. As a denotational model a suitable timed extension of Langerak's bundle event structures is used. For guarded recursive processes we show the consistency between our non-interleaving semantics and the ET-LOTOS interleaving semantics. Since our semantical model does not have an explicit notion of the passage of time (as opposed to the interleaving semantics) we are able to handle unguarded recursion and Zeno-behaviours in a perspicuous way.
|Item Type:||Conference or workshop item (Paper)|
|Additional information:||Proceedings paper|
|Uncontrolled keywords:||Real-time, LOTOS, formal semantics, event structures|
|Subjects:||Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming,|
|Divisions:||Faculties > Science Technology and Medical Studies > School of Computing > Theoretical Computing Group|
|Depositing User:||Mark Wheadon|
|Date Deposited:||28 Aug 2009 17:01|
|Last Modified:||24 Jul 2012 14:47|
|Resource URI:||http://kar.kent.ac.uk/id/eprint/21681 (The current URI for this page, for reference purposes)|
- Depositors only (login required):