Bundle event structures and CCSP.

DOI10.1007/B11938MaRDI QIDQ5900558zbMATH OpenOpenAlexFDO

Authors Rob van Glabbeek, F. Vaandrager

Publication date 30 March 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b11938

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Bundle event structures: a revised cpo approach.
• scientific article; zbMATH DE number 4018370
• scientific article; zbMATH DE number 4119660
• Event structures and domains
• scientific article; zbMATH DE number 683365

Cited in

(9)

• The difference between splitting in \(n\) and \(n+1\)
• Replication, refinement \& reachability: complexity in dynamic condition-response graphs
• Bundle event structures: a revised cpo approach.
• On the expressiveness of higher dimensional automata
• Configuration- and residual-based transition systems for event structures with asymmetric conflict
• scientific article; zbMATH DE number 683365 (Why is no real title available?)
• On refinement-closed security properties and nondeterministic compositions
• Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes
• Semantic domains of timed event structures

Describes a project that uses

Uses Software

• CCSP

This page was built for publication: Bundle event structures and CCSP.

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