Compatibility and inheritance in software architectures

DOI10.1016/S0167-6423(01)00002-8zbMath0988.68026OpenAlexW2141834609MaRDI QIDQ5949499

Ernesto Pimentel, José M. Troya, Carlos Canal

Publication date: 22 July 2002

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/s0167-6423(01)00002-8

zbMATH Keywords

software architectureprocess algebras

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) General topics in the theory of software (68N01)

Related Items (6)

On the diversity of asynchronous communication ⋮ A generic framework for \(n\)-protocol compatibility checking ⋮ An ``abstract process approach to algebraic dynamic architecture description ⋮ On the usability of process algebra: An architectural view ⋮ Unnamed Item ⋮ Approximating Markovian testing equivalence

Uses Software

• Unnamed Item

This page was built for publication: Compatibility and inheritance in software architectures