A true concurrency semantics for ET-LOTOS

Bowman, H. and Katoen, J.P. (1998) A true concurrency semantics for ET-LOTOS. In: Application of Concurrency to System Design, 1998. Proceedings., 1998 International Conference on, 03/23/1998 - 03/26/1998, Fukushima, Japan.

PDF
Restricted to UT campus only: Request a copy
266Kb

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
Item Type:	Conference or Workshop Item
Faculty:	Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:	Formal Methods and Tools (FMT)
Link to this item:	http://purl.utwente.nl/publications/63302
Official URL:	http://dx.doi.org/10.1109/CSD.1998.657554
Export this item as:	BibTeX EndNote HTML Citation Reference Manager

Show download statistics for this publication

Repository Staff Only: item control page