On the usability of process algebra: An architectural view

DOI10.1016/J.TCS.2004.10.043zbMath1080.68071OpenAlexW2061773650MaRDI QIDQ1781999

Marco Bernardo, Alessandro Aldini

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

Process algebraArchitectural description languagesComponent-oriented verification and diagnosisEquivalence checkingUsability

Mathematics Subject Classification ID

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

Related Items (2)

A generic framework for \(n\)-protocol compatibility checking ⋮ Mixing logics and rewards for the component-oriented specification of performance measures

Uses Software

• LOTOS

Cites Work

• Process Algebra
• Compatibility and inheritance in software architectures
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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