Metric Semantics for True Concurrent Real Time
From International Center for Computational Logic
Metric Semantics for True Concurrent Real Time
Christel BaierChristel Baier, Joost-Pieter KatoenJoost-Pieter Katoen, Diego LatellaDiego Latella
Christel Baier, Joost-Pieter Katoen, Diego Latella
Metric Semantics for True Concurrent Real Time
25th International Colloquium on Automata, Languages and Programming (ICALP), volume 1443 of Lecture Notes in Computer Science, 568--579, 1998. Springer
Metric Semantics for True Concurrent Real Time
25th International Colloquium on Automata, Languages and Programming (ICALP), volume 1443 of Lecture Notes in Computer Science, 568--579, 1998. Springer
- KurzfassungAbstract
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. - Forschungsgruppe:Research Group: Algebraische und logische Grundlagen der InformatikAlgebraic and Logical Foundations of Computer Science
@inproceedings{BKL1998,
author = {Christel Baier and Joost-Pieter Katoen and Diego Latella},
title = {Metric Semantics for True Concurrent Real Time},
booktitle = {25th International Colloquium on Automata, Languages and
Programming (ICALP)},
series = {Lecture Notes in Computer Science},
volume = {1443},
publisher = {Springer},
year = {1998},
pages = {568--579},
doi = {10.1007/BFb0055085}
}