eprintid: 1072
rev_number: 11
eprint_status: archive
userid: 6
dir: disk0/00/00/10/72
datestamp: 2012-01-20 08:52:55
lastmod: 2012-01-20 09:28:17
status_changed: 2012-01-20 08:52:55
type: book_section
metadata_visibility: show
creators_name: De Nicola, Rocco
creators_id: r.denicola@imtlucca.it
title: Process Algebras
ispublished: pub
subjects: QA
subjects: QA75
divisions: CSA
full_text_status: public
abstract: Process Algebras are mathematically rigorous languages with well defined semantics that permit describing and verifying properties of concurrent communicating systems.
They can be seen as models of processes, regarded as agents that act and interact continuously with other similar agents and with their common environment. The agents may be real-world objects (even people), or they may be artifacts, embodied perhaps in computer hardware or software systems.
Many different approaches (operational, denotational, algebraic) are taken for describing the meaning of processes. However, the operational approach is the reference one. By relying on the so called Structural Operational Semantics (SOS), labelled transition systems are built and composed by using the different operators of the many different process algebras. Behavioral equivalences are used to abstract from unwanted details and identify those systems that react similarly to external
experiments.
date: 2011
date_type: published
publisher: Springer
pagerange: 1624-1636
pages: 2366
id_number: 10.1007/978-0-387-09766-4_450
refereed: TRUE
isbn: 978-0-387-09765-7
book_title: Encyclopedia of Parallel Computing
editors_name: Padua, David
official_url: http://dx.doi.org/10.1007/978-0-387-09766-4_450
citation:   De Nicola, Rocco  Process Algebras.   In:  Encyclopedia of Parallel Computing.   Springer, pp. 1624-1636.  ISBN 978-0-387-09765-7      (2011)  
document_url: http://eprints.imtlucca.it/1072/1/De_Nicola_2011_Process_algebras.pdf