An ``abstract process approach to algebraic dynamic architecture description

DOI10.1016/J.JLAP.2004.05.003zbMath1080.68077DBLPjournals/jlp/CuestaFBG05OpenAlexW2042448029WikidataQ61780374 ScholiaQ61780374MaRDI QIDQ1779318

Pablo de la Fuente, M. Encarnación Beato, Manuel Barrio-Solórzano, Carlos E. Cuesta

Publication date: 1 June 2005

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2004.05.003

zbMATH Keywords

Process algebraReflection\(\pi\)-CalculusAbstract processArchitecture description languageDynamic software architecture

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Uses Software

• Pict

Cites Work

• Generic Programming
• Compatibility and inheritance in software architectures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: An ``abstract process approach to algebraic dynamic architecture description