Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011)

Process algebra provides abstract and rigorous means for studying communicating concurrent systems. Coordination languages also provide abstract means for the specifying and programming communication of components. Hence, the two fields seem to have very much in common and the link between these two...

Full description

Bibliographic Details
Main Authors: Aceto, L, Mousavi, M Mohammad Reza
Format: Book
Language:English
Published: Elsevier 2011
Subjects:
Iceland
Online Access:http://repository.tue.nl/776645
_version_ 1821550814631559168
author Aceto, L
Mousavi, M Mohammad Reza
author_facet Aceto, L
Mousavi, M Mohammad Reza
author_sort Aceto, L
collection Eindhoven University of Technology (TU/e): Research Portal
description Process algebra provides abstract and rigorous means for studying communicating concurrent systems. Coordination languages also provide abstract means for the specifying and programming communication of components. Hence, the two fields seem to have very much in common and the link between these two research areas have been established formally by means of several translations, mainly from coordination languages to process algebras. There have also been proposals of process algebras whose communication policy is inspired by the one underlying coordination languages. The aim of this workshop was to push the state of the art in the study of the connections between process algebra and coordination languages by bringing together experts as well as young researchers from the two fields to communicate their ideas and findings. It includes both contributed and invited papers that have been presented during the one day meeting on Process Algebra and Coordination (PACO 2011) which took place on June 9, 2011 in Reykjavik, Iceland.
format Book
genre Iceland
genre_facet Iceland
id ftuniveindhoven:oai:library.tue.nl:776645
institution Open Polar
language English
op_collection_id ftuniveindhoven
op_rights Copyright (c) Aceto, L
Copyright (c) Mousavi, M Mohammad Reza
publishDate 2011
publisher Elsevier
record_format openpolar
spelling ftuniveindhoven:oai:library.tue.nl:776645 2025-01-16T22:34:02+00:00 Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011) Aceto, L Mousavi, M Mohammad Reza 2011 application/pdf http://repository.tue.nl/776645 en eng Elsevier Copyright (c) Aceto, L Copyright (c) Mousavi, M Mohammad Reza Book 2011 ftuniveindhoven 2018-12-26T13:25:08Z Process algebra provides abstract and rigorous means for studying communicating concurrent systems. Coordination languages also provide abstract means for the specifying and programming communication of components. Hence, the two fields seem to have very much in common and the link between these two research areas have been established formally by means of several translations, mainly from coordination languages to process algebras. There have also been proposals of process algebras whose communication policy is inspired by the one underlying coordination languages. The aim of this workshop was to push the state of the art in the study of the connections between process algebra and coordination languages by bringing together experts as well as young researchers from the two fields to communicate their ideas and findings. It includes both contributed and invited papers that have been presented during the one day meeting on Process Algebra and Coordination (PACO 2011) which took place on June 9, 2011 in Reykjavik, Iceland. Book Iceland Eindhoven University of Technology (TU/e): Research Portal
spellingShingle Aceto, L
Mousavi, M Mohammad Reza
Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011)
title Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011)
title_full Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011)
title_fullStr Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011)
title_full_unstemmed Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011)
title_short Proceedings of the First International Workshop on Process Algebra and Coordination (PACO 2011, Reykjavik, Iceland, June 9, 2011)
title_sort proceedings of the first international workshop on process algebra and coordination (paco 2011, reykjavik, iceland, june 9, 2011)
url http://repository.tue.nl/776645

Similar Items