Logo eprints

Action and State-based Logics for Process Algebras

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)

Full text not available from this repository.

Abstract

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.

Item Type: Book Section
Identification Number: 10.1007/3-540-54430-5_77
Funders: The research has been partially supported by Esprit Basic Research Action Program, Project 3011 CEDISYS and by CNR Progetto Finalizzato Sistemi Informatici e Calcolo Parallelo, project LAMBRUSCO.
Subjects: Q Science > QA Mathematics > QA75 Electronic computers. Computer science
Research Area: Computer Science and Applications
Depositing User: Rocco De Nicola
Date Deposited: 26 May 2011 12:40
Last Modified: 11 Jul 2011 14:36
URI: http://eprints.imtlucca.it/id/eprint/375

Actions (login required)

Edit Item Edit Item