Metric semantics for true concurrent real time
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 of the metric 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 identities and non-executable events (events that can never occur) is shown to be a complete ultra-metric space. We present an operational semantics for the considered language and show that the metric semantics is an abstraction of it. The operational semantics is characterised by the absence of synchronisation on the advance of time as opposed to the operational semantics of most real-time calculi. The consistency between our metric and an existing cpo-based denotational semantics is briefly investigated.
- A theory of timed automata
- A timed model for communicating sequential processes
- Causal ambiguity and partial orders in event structures
- Denotational models for programming languages: Applications of Banach's fixed point theorem
- Denotational semantics in the cpo and metric approach
- Flow models of distributed computations: Three equivalent semantics for CCS
- scientific article; zbMATH DE number 3821120 (Why is no real title available?)
- scientific article; zbMATH DE number 3658971 (Why is no real title available?)
- scientific article; zbMATH DE number 140240 (Why is no real title available?)
- scientific article; zbMATH DE number 465527 (Why is no real title available?)
- scientific article; zbMATH DE number 497653 (Why is no real title available?)
- scientific article; zbMATH DE number 1023018 (Why is no real title available?)
- scientific article; zbMATH DE number 1107487 (Why is no real title available?)
- scientific article; zbMATH DE number 194766 (Why is no real title available?)
- scientific article; zbMATH DE number 4119618 (Why is no real title available?)
- scientific article; zbMATH DE number 4182807 (Why is no real title available?)
- Metric semantics for true concurrent real time
- Metric semantics from partial order semantics
- Parallel product of event structures
- Petri nets, event structures and domains. I
- Processes and the denotational semantics of concurrency
- The connection between an event structure semantics and an operational semantics for TCSP
- Timing and causality in process algebra
- Towards an algebra for timed behaviours
- Metric semantics for concurrency
- SOS specifications for uniformly continuous operators
- Bundle event structures: a revised cpo approach.
- Refinement of actions for real-time concurrent systems with causal ambiguity
- Refinement of actions in a real-time process algebra with a true concurrency model
- Critical paths in the partial order unfolding of a stochastic Petri net
- scientific article; zbMATH DE number 4050970 (Why is no real title available?)
- Linear Structures for Concurrency in Probabilistic Programming Languages
- Modeling Timed Concurrent Systems
- A projective formalism applied to topological and probabilistic event structures
- Metric semantics for true concurrent real time
- Back to the format: a survey on SOS for probabilistic processes
This page was built for publication: Metric semantics for true concurrent real time
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5940931)
