Metric semantics for true concurrent real time


Baier, Christel and Katoen, Joost-Pieter and Latella, Diego (1998) Metric semantics for true concurrent real time. In: 25th International Colloquium Automata, Languages and Programming, ICALP '98, July 13-17, 1998, Aalborg, Denmark (pp. pp. 568-580).

[img] PDF
Restricted to UT campus only
: Request a copy
Abstract:This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interleaving setting and is based on a timed extension of Langerak's bundle event structures, a variant of Winskel's event structures. The distance function is based on the amount of time to which event structures do ‘agree’. We show that this intuitive notion of distance is a pseudo metric (but not a metric) on the set of timed event structures. A generalisation to equivalence classes of timed event structures in which we abstract from event names and non-executable events (events that can never appear) is shown to be a complete ultra-metric space. We show that the resulting metric semantics is an abstraction of an existing cpo-based denotational and a related operational semantics for the considered language.
Item Type:Conference or Workshop Item
Copyright:© 1998 Springer
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:
Official URL:
Export this item as:BibTeX
HTML Citation
Reference Manager


Repository Staff Only: item control page