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
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)
Uses Software
Cites Work
This page was built for publication: Bundle event structures: a revised cpo approach.