DocumentCode :
2845560
Title :
A true concurrency semantics for ET-LOTOS
Author :
Bowman, Howard ; Katoen, Joost-Pieter
Author_Institution :
Comput. Lab., Kent Univ., Canterbury, UK
fYear :
1998
fDate :
23-26 Mar 1998
Firstpage :
228
Lastpage :
238
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 called ET-LOTOS (Enhanced Timed LOTOS). This paper defines a (branching-time) non-interleaving semantics for ET-LOTOS without data. As a denotational model, a suitable timed extension of R. Langerak´s (1992, 1993) 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 semantic 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
Keywords :
computational linguistics; parallel languages; real-time systems; specification languages; standardisation; ET-LOTOS; Enhanced Timed LOTOS; Zeno behaviours; branching-time noninterleaving semantics; bundle event structures; denotational model; guarded recursive processes; interleaving semantics; real-time specification; restandardisation; true concurrency semantics; unguarded recursion; Algebra; Calculus; Concurrent computing; Explosions; Interleaved codes; Laboratories; Petri nets; Proposals; Real time systems; State-space methods;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on
Conference_Location :
Fukushima
Print_ISBN :
0-8186-8350-3
Type :
conf
DOI :
10.1109/CSD.1998.657554
Filename :
657554
Link To Document :
بازگشت