relation: http://eprints.imtlucca.it/375/
title: Action and State-based Logics for Process Algebras
creator: De Nicola, Rocco
subject: QA75 Electronic computers. Computer science
description: Process algebras are generally recognized as a convenient tool for describing concurrent systems at different levels of abstraction. They rely on a small set of basic operators which correspond to primitive notions on concurrent systems and on one or more notions of behavioural equivalence or preorder. The operators are used to build complex systems from more elementary ones. The behavioural equivalences are used to study the relationships between different descriptions of the same system at different levels of abstractions and thus to perform part of the analysis.
publisher: Springer
contributor: C. M. Baeten, Jos
contributor: Friso Groote, Jan
date: 1991
type: Book Section
type: PeerReviewed
identifier:   De Nicola, Rocco  Action and State-based Logics for Process Algebras.   In:  CONCUR 1991.   Lecture Notes in Computer Science, 527 .  Springer, pp. 20-22.  ISBN 3-540-54430-5      (1991)  
relation: http://dx.doi.org/10.1007/3-540-54430-5_77
relation: 10.1007/3-540-54430-5_77