A calculus for reasoning about software composition

DOI10.1016/J.TCS.2004.09.022MaRDI QIDQ1770365zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Franz Achermann, Oscar Nierstrasz

Publication date 6 April 2005

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.tcs.2004.09.022

zbMATH Keywords

Process calculiSoftware architectureSoftware components

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• A calculus for modeling software components.
• scientific article; zbMATH DE number 1787176
• PICCOLA -- a small composition language
• A calculus for generic, QoS-aware component composition
• A calculus of program adaption and its applications

Cites work

• A calculus for modeling software components.
• A calculus of mobile agents
• A calculus of mobile processes. II
• A polymorphic environment calculus and its type-inference algorithm
• Asynchronous process calculi: The first- and higher-order paradigms
• Barbed bisimulation
• Decoding choice encodings
• Explicit substitutions
• scientific article; zbMATH DE number 2089396 (Why is no real title available?)
• scientific article; zbMATH DE number 3880077 (Why is no real title available?)
• scientific article; zbMATH DE number 1223738 (Why is no real title available?)
• scientific article; zbMATH DE number 1223739 (Why is no real title available?)
• scientific article; zbMATH DE number 1231693 (Why is no real title available?)
• scientific article; zbMATH DE number 1342289 (Why is no real title available?)
• scientific article; zbMATH DE number 977452 (Why is no real title available?)
• scientific article; zbMATH DE number 1531624 (Why is no real title available?)
• scientific article; zbMATH DE number 1787176 (Why is no real title available?)
• scientific article; zbMATH DE number 947199 (Why is no real title available?)
• scientific article; zbMATH DE number 2087388 (Why is no real title available?)
• scientific article; zbMATH DE number 814796 (Why is no real title available?)
• scientific article; zbMATH DE number 814797 (Why is no real title available?)
• scientific article; zbMATH DE number 236855 (Why is no real title available?)
• scientific article; zbMATH DE number 3423994 (Why is no real title available?)
• Objects in the \(\pi\)-calculus
• PICCOLA -- a small composition language
• The chemical abstract machine

Cited in

(9)

• A calculus of program adaption and its applications
• A calculus for generic, QoS-aware component composition
• The Microcosm Principle and Compositionality of GSOS-Based Component Calculi
• Transactional Reduction of Component Compositions
• scientific article; zbMATH DE number 1787176 (Why is no real title available?)
• Aeolus: a component model for the cloud
• scientific article; zbMATH DE number 2113972 (Why is no real title available?)
• A calculus for modeling software components.
• An algebraic foundation for automatic feature-based program synthesis

Describes a project that uses

Uses Software

• PICCOLA
• Pict
• Featherweight Java
• Python

This page was built for publication: A calculus for reasoning about software composition

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