Metric semantics for true concurrent real time

DOI10.1016/S0304-3975(99)00342-4zbMath0976.68103WikidataQ57802094 ScholiaQ57802094MaRDI QIDQ5940931

Diego Latella, Joost-Pieter Katoen, Christel Baier

Publication date: 20 August 2001

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

process algebra; metric space; semantics; denotational semantics; (bundle) vvent structure; consistency of semantics; interleaving; real time; true concurrency

Mathematics Subject Classification ID

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, SOS specifications for uniformly continuous operators, 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

• LOTOS

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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