Metric semantics for true concurrent real time


Share/Save/Bookmark

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.

[img]PDF
Restricted to UT campus only
: Request a copy
246Kb
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
Faculty:
Electrical Engineering, Mathematics and Computer Science (EEMCS)
Research Group:
Link to this item:http://purl.utwente.nl/publications/63301
Official URL:http://dx.doi.org/10.1007/BFb0055035
Export this item as:BibTeX
EndNote
HTML Citation
Reference Manager

 

Repository Staff Only: item control page