Atomic components

DOI10.1007/978-3-540-31862-0_11MaRDI QIDQ5709962zbMATH OpenOpenAlexFDO

Authors Steve Reeves, David Streader

Publication date 30 November 2005

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

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

Mathematics Subject Classification ID

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

Recommendations

• Axiomatising Finite Concurrent Processes
• A partial ordering semantics for CCS
• scientific article; zbMATH DE number 4119607
• scientific article; zbMATH DE number 4119653
• scientific article; zbMATH DE number 4199644

Cited in

(4)

• Physical composition
• General refinement. I: Interfaces, determinism and special refinement
• Contexts, refinement and determinism
• On atomic composition as identity

This page was built for publication: Atomic components

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