eprintid: 375
rev_number: 8
eprint_status: archive
userid: 32
dir: disk0/00/00/03/75
datestamp: 2011-05-26 12:40:31
lastmod: 2011-07-11 14:36:27
status_changed: 2011-05-26 12:40:31
type: book_section
metadata_visibility: show
item_issues_count: 0
creators_name: De Nicola, Rocco
creators_id: r.denicola@imtlucca.it
title: Action and State-based Logics for Process Algebras
ispublished: pub
subjects: QA75
divisions: CSA
full_text_status: none
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.
date: 1991
date_type: published
series: Lecture Notes in Computer Science
volume: 527
publisher: Springer
pagerange: 20-22
id_number: 10.1007/3-540-54430-5_77
refereed: TRUE
isbn: 3-540-54430-5
book_title: CONCUR 1991
editors_name: C. M. Baeten, Jos
editors_name: Friso Groote, Jan
official_url: http://dx.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.
citation:   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)