Modelling causality via action dependencies in branching time semantics

DOI10.1016/0020-0190(96)00111-1zbMath0875.68408OpenAlexW2099404217MaRDI QIDQ671596

Heike Wehrheim, Goltz, Ursula

Publication date: 27 February 1997

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(96)00111-1

zbMATH Keywords

ConcurrencyFormal semanticsEquivalence notionsTrace theory

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Cites Work

• Linear time, branching time and partial order in logics and models for concurrency. School/workshop, Noordwijkerhout, The Netherlands, May 30- June 3, 1988. Proceedings
• Testing equivalences for processes
• Algebraic laws for nondeterminism and concurrency
• Causal testing
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Modelling causality via action dependencies in branching time semantics