A calculus for reasoning about software composition

DOI10.1016/j.tcs.2004.09.022zbMath1070.68026DBLPjournals/tcs/AchermannN05OpenAlexW2037011597WikidataQ59640363 ScholiaQ59640363MaRDI QIDQ1770365

Franz Achermann, O. M. 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 componentsSoftware architecture

Mathematics Subject Classification ID

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

Related Items (3)

Aeolus: a component model for the cloud ⋮ An algebraic foundation for automatic feature-based program synthesis ⋮ Transactional Reduction of Component Compositions

Uses Software

• PICCOLA
• Pict
• Python
• Featherweight Java

Cites Work

• The chemical abstract machine
• A calculus of mobile processes. II
• Asynchronous process calculi: The first- and higher-order paradigms
• Decoding choice encodings
• Objects in the \(\pi\)-calculus
• Explicit substitutions
• Barbed bisimulation
• Formal Methods for Components and Objects
• A polymorphic environment calculus and its type-inference algorithm
• A calculus of mobile agents
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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