On the usability of process algebra: An architectural view
type: Item
instance of: scholarly article
title: On the usability of process algebra: An architectural view
zbMATH Open document ID: 1080.68071
author: Alessandro Aldini
author: Marco Bernardo
published in: Theoretical Computer Science
publication date: 2005-06-10T00:00:00Z
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 2174878
zbMATH Keywords: Process algebra
zbMATH Keywords: Usability
zbMATH Keywords: Architectural description languages
zbMATH Keywords: Component-oriented verification and diagnosis
zbMATH Keywords: Equivalence checking
describes a project that uses: LOTOS
MaRDI profile type: Publication
full work available at URL: j.tcs.2004.10.043
OpenAlex ID: W2061773650
cites work: Process Algebra
cites work: Handbook of process algebra
cites work: Q4738316
cites work: Q4738172
cites work: Compatibility and inheritance in software architectures
cites work: Q4942013
cites work: Q3777424
cites work: Q2764108
cites work: Q4240122
cites work: Q3992568
cites work: Q4331846
DOI: 10.1016/J.TCS.2004.10.043
description: scientific article; zbMATH DE number 2174878