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: | https://doi.org/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 |
