The Microcosm Principle and Compositionality of GSOS-Based Component Calculi

DOI10.1007/978-3-642-22944-2_16MaRDI QIDQ3090871zbMATH OpenOpenAlexFDO

Authors Ichiro Hasuo

Publication date 2 September 2011

Published in Algebra and Coalgebra in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-22944-2_16

Mathematics Subject Classification ID

Eilenberg-Moore and Kleisli constructions for monads (18C20) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A calculus for reasoning about software composition
• scientific article; zbMATH DE number 2113972
• Computer Aided Verification
• A compositional specification theory for component behaviours
• A calculus for generic, QoS-aware component composition
• Abstract GSOS rules and a modular treatment of recursive definitions
• GNUC: a new universal composability framework
• The Microcosm Principle and Concurrency in Coalgebra

Cited in

(2)

• Coalgebraic components in a many-sorted microcosm
• The Microcosm Principle and Concurrency in Coalgebra

This page was built for publication: The Microcosm Principle and Compositionality of GSOS-Based Component Calculi

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