Bundle event structures: a revised cpo approach.

DOI10.1016/S0020-0190(01)00310-6MaRDI QIDQ1853038zbMATH OpenOpenAlexFDO

Authors Harald Fecher, Jinzhao Wu, Mila 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

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

Recommendations

• scientific article; zbMATH DE number 683365
• Event structures and domains
• Bundle event structures and CCSP.
• scientific article; zbMATH DE number 140261
• scientific article; zbMATH DE number 4018370

Cites work

• scientific article; zbMATH DE number 783754 (Why is no real title available?)
• Metric semantics for true concurrent real time

Cited in

(7)

• Unified mathematical framework for slicing and symmetry reduction over event structures
• Bundle event structures and CCSP.
• Refinement of actions for real-time concurrent systems with causal ambiguity
• Refinement of actions in a real-time process algebra with a true concurrency model
• scientific article; zbMATH DE number 683365 (Why is no real title available?)
• Event structure semantics of (controlled) reversible CCS
• Taking decisions late: end-based choice combined with action refinement

Describes a project that uses

Uses Software

• LOTOS

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1853038)