Bundle event structures: a revised cpo approach.

DOI10.1016/S0020-0190(01)00310-6zbMath1043.68068OpenAlexW2005281130MaRDI QIDQ1853038

Jinzhao Wu, Harald Fecher, Mila E. Majster-Cederbaum

Publication date: 21 January 2003

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

Full work available at URL: https://doi.org/10.1016/s0020-0190(01)00310-6

zbMATH Keywords

LOTOSProgram specificationBundle event structuresComplete partial orderTrue concurrency

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) General topics in the theory of software (68N01)

Related Items (5)

Unnamed Item ⋮ Unnamed Item ⋮ Refinement of actions for real-time concurrent systems with causal ambiguity ⋮ Event structure semantics of (controlled) reversible CCS ⋮ Unified mathematical framework for slicing and symmetry reduction over event structures

Uses Software

• LOTOS

Cites Work

• Unnamed Item
• Metric semantics for true concurrent real time

This page was built for publication: Bundle event structures: a revised cpo approach.