Metric semantics for true concurrent real time

Christel Baier; Joost-Pieter Katoen; Diego Latella

doi:10.1007/BFb0055085

Metric semantics for true concurrent real time

Christel Baier
, Joost-Pieter Katoen
, Diego Latella

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

16 Citations (Scopus)

4 Downloads (Pure)

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.

Original language	English
Title of host publication	Automata, Languages and Programming
Subtitle of host publication	25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings
Editors	Kim G. Larsen, Sven kyum, Glynn Winskel
Place of Publication	Berlin, Heidelberg
Publisher	Springer
Pages	568-580
Number of pages	13
ISBN (Electronic)	978-3-540-68681-1
ISBN (Print)	978-3-540-64781-2
DOIs	https://doi.org/10.1007/BFb0055085
Publication status	Published - 1998
Event	25th International Colloquium on Automata, Languages and Programming, ICALP 1998 - Aalborg, Denmark Duration: 13 Jul 1998 → 17 Jul 1998 Conference number: 25

Workshop

Workshop	25th International Colloquium on Automata, Languages and Programming, ICALP 1998
Abbreviated title	ICALP
Country/Territory	Denmark
City	Aalborg
Period	13/07/98 → 17/07/98

Keywords

FMT-NIM: NON-INTERLEAVING MODELS
FMT-PA: PROCESS ALGEBRAS
Event structure
Operational semantics
Parallel composition
Unique fixed point
Process algebra

Access to Document

10.1007/BFb0055085

Cite this

@inproceedings{c7befc3df24f47e9beacdb5a97a37983,

title = "Metric semantics for true concurrent real time",

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 {\textquoteleft}agree{\textquoteright}. 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.",

keywords = "FMT-NIM: NON-INTERLEAVING MODELS, FMT-PA: PROCESS ALGEBRAS, Event structure, Operational semantics, Parallel composition, Unique fixed point, Process algebra",

author = "Christel Baier and Joost-Pieter Katoen and Diego Latella",

year = "1998",

doi = "10.1007/BFb0055085",

language = "English",

isbn = "978-3-540-64781-2",

pages = "568--580",

editor = "Larsen, \{Kim G.\} and Sven kyum and Glynn Winskel",

booktitle = "Automata, Languages and Programming",

publisher = "Springer",

address = "Germany",

note = "25th International Colloquium on Automata, Languages and Programming, ICALP 1998, ICALP ; Conference date: 13-07-1998 Through 17-07-1998",

}

Baier, C, Katoen, J-P & Latella, D 1998, Metric semantics for true concurrent real time. in KG Larsen, S kyum & G Winskel (eds), Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings. Springer, Berlin, Heidelberg, pp. 568-580, 25th International Colloquium on Automata, Languages and Programming, ICALP 1998, Aalborg, Denmark, 13/07/98. https://doi.org/10.1007/BFb0055085

Metric semantics for true concurrent real time. / Baier, Christel; Katoen, Joost-Pieter; Latella, Diego.
Automata, Languages and Programming: 25th International Colloquium, ICALP'98 Aalborg, Denmark, July 13–17, 1998 Proceedings. ed. / Kim G. Larsen; Sven kyum; Glynn Winskel. Berlin, Heidelberg: Springer, 1998. p. 568-580.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Metric semantics for true concurrent real time

AU - Baier, Christel

AU - Katoen, Joost-Pieter

AU - Latella, Diego

N1 - Conference code: 25

PY - 1998

Y1 - 1998

N2 - 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.

AB - 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.

KW - FMT-NIM: NON-INTERLEAVING MODELS

KW - FMT-PA: PROCESS ALGEBRAS

KW - Event structure

KW - Operational semantics

KW - Parallel composition

KW - Unique fixed point

KW - Process algebra

U2 - 10.1007/BFb0055085

DO - 10.1007/BFb0055085

M3 - Conference contribution

SN - 978-3-540-64781-2

SP - 568

EP - 580

BT - Automata, Languages and Programming

A2 - Larsen, Kim G.

A2 - kyum, Sven

A2 - Winskel, Glynn

PB - Springer

CY - Berlin, Heidelberg

T2 - 25th International Colloquium on Automata, Languages and Programming, ICALP 1998

Y2 - 13 July 1998 through 17 July 1998

ER -

Metric semantics for true concurrent real time

Abstract

Workshop

Keywords

Access to Document

Fingerprint

Cite this