Skip to main content
Kent Academic Repository

A True Concurrency Semantics for ET-LOTOS

Bowman, Howard and Katoen, J-P. (1998) A True Concurrency Semantics for ET-LOTOS. In: Proceedings of the 1998 International Conference on Application of Concurrency to System Design. IEEE, pp. 228-238. ISBN 0-8186-8350-3. (doi:10.1109/CSD.1998.657554) (The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided) (KAR id:21681)

The full text of this publication is not currently available from this repository. You may be able to access a copy if URLs are provided.
Official URL:
http://dx.doi.org/10.1109/CSD.1998.657554

Abstract

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: Book section
DOI/Identification number: 10.1109/CSD.1998.657554
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: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Mark Wheadon
Date Deposited: 28 Aug 2009 17:01 UTC
Last Modified: 16 Nov 2021 10:00 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/21681 (The current URI for this page, for reference purposes)

University of Kent Author Information

  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.