Metric semantics for true concurrent real time
From MaRDI portal
Publication:5940931
DOI10.1016/S0304-3975(99)00342-4zbMath0976.68103WikidataQ57802094 ScholiaQ57802094MaRDI QIDQ5940931
Joost-Pieter Katoen, Christel Baier, Diego Latella
Publication date: 20 August 2001
Published in: Theoretical Computer Science (Search for Journal in Brave)
process algebra; metric space; semantics; denotational semantics; (bundle) vvent structure; consistency of semantics; interleaving; real time; true concurrency
68Q55: Semantics in the theory of computing
Related Items
Linear Structures for Concurrency in Probabilistic Programming Languages, Metric semantics for true concurrent real time, A projective formalism applied to topological and probabilistic event structures, Bundle event structures: a revised cpo approach., Refinement of actions for real-time concurrent systems with causal ambiguity, Unnamed Item, Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net
Uses Software
Cites Work
- A timed model for communicating sequential processes
- Petri nets, event structures and domains. I
- Towards an algebra for timed behaviours
- Denotational models for programming languages: Applications of Banach's fixed point theorem
- A theory of timed automata
- The connection between an event structure semantics and an operational semantics for TCSP
- Flow models of distributed computations: Three equivalent semantics for CCS
- Denotational semantics in the cpo and metric approach
- Metric semantics from partial order semantics
- Parallel product of event structures
- Timing and causality in process algebra
- Processes and the denotational semantics of concurrency
- Metric semantics for true concurrent real time
- Causal ambiguity and partial orders in event structures
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item