Metric Semantics for True Concurrent Real Time

Christel BaierChristel Baier, Joost-Pieter KatoenJoost-Pieter Katoen, Diego LatellaDiego Latella

DOI Link

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

Details
Bibtex

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

The final publication is available at Springer via http://dx.doi.org/10.1007/BFb0055085.

@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}
}