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 algebrametric spacesemanticsdenotational semantics(bundle) vvent structureconsistency of semanticsinterleavingreal timetrue concurrency

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55)

Related Items (9)

SOS specifications for uniformly continuous operators ⋮ Back to the format: a survey on SOS for probabilistic processes ⋮ Unnamed Item ⋮ Linear Structures for Concurrency in Probabilistic Programming Languages ⋮ Refinement of actions for real-time concurrent systems with causal ambiguity ⋮ Metric semantics for true concurrent real time ⋮ A projective formalism applied to topological and probabilistic event structures ⋮ Critical Paths in the Partial Order Unfolding of a Stochastic Petri Net ⋮ Bundle event structures: a revised cpo approach.

Uses Software

• LOTOS

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

This page was built for publication: Metric semantics for true concurrent real time