On the usability of process algebra: An architectural view

DOI10.1016/J.TCS.2004.10.043MaRDI QIDQ1781999zbMATH OpenOpenAlexFDO

Authors Alessandro Aldini, Marco Bernardo

Publication date 10 June 2005

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

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

zbMATH Keywords

Architectural description languagesComponent-oriented verification and diagnosisEquivalence checkingProcess algebraUsability

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• A process algebraic approach to software architecture design
• Process algebra and model checking
• scientific article; zbMATH DE number 1412988
• Algebraic process verification.
• Automatic verification of distributed systems: the process algebra approach.

Cites work

• Compatibility and inheritance in software architectures
• Handbook of process algebra
• scientific article; zbMATH DE number 1693513 (Why is no real title available?)
• scientific article; zbMATH DE number 4039251 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1283472 (Why is no real title available?)
• scientific article; zbMATH DE number 977452 (Why is no real title available?)
• scientific article; zbMATH DE number 2087389 (Why is no real title available?)
• scientific article; zbMATH DE number 2087515 (Why is no real title available?)
• scientific article; zbMATH DE number 1418456 (Why is no real title available?)
• Process Algebra

Cited in

(5)

• An ``abstract process approach to algebraic dynamic architecture description
• scientific article; zbMATH DE number 1807394 (Why is no real title available?)
• A generic framework for n-protocol compatibility checking
• Component-oriented specification of performance measures
• Mixing logics and rewards for the component-oriented specification of performance measures

Describes a project that uses

Uses Software

• LOTOS

This page was built for publication: On the usability of process algebra: An architectural view

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