Proceedings First International Workshop on Process Algebra and Coordination
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...
Published in: | Electronic Proceedings in Theoretical Computer Science |
---|---|
Main Authors: | , |
Format: | Text |
Language: | unknown |
Published: |
2011
|
Subjects: | |
Online Access: | http://arxiv.org/abs/1108.1452 https://doi.org/10.4204/EPTCS.60 |
id |
ftarxivpreprints:oai:arXiv.org:1108.1452 |
---|---|
record_format |
openpolar |
spelling |
ftarxivpreprints:oai:arXiv.org:1108.1452 2023-09-05T13:20:32+02:00 Proceedings First International Workshop on Process Algebra and Coordination Aceto, Luca Mousavi, Mohammad Reza 2011-08-06 http://arxiv.org/abs/1108.1452 https://doi.org/10.4204/EPTCS.60 unknown http://arxiv.org/abs/1108.1452 EPTCS 60, 2011 doi:10.4204/EPTCS.60 Computer Science - Logic in Computer Science Computer Science - Programming Languages text 2011 ftarxivpreprints https://doi.org/10.4204/EPTCS.60 2023-08-16T12:31:37Z 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. Text Iceland ArXiv.org (Cornell University Library) Electronic Proceedings in Theoretical Computer Science 60 |
institution |
Open Polar |
collection |
ArXiv.org (Cornell University Library) |
op_collection_id |
ftarxivpreprints |
language |
unknown |
topic |
Computer Science - Logic in Computer Science Computer Science - Programming Languages |
spellingShingle |
Computer Science - Logic in Computer Science Computer Science - Programming Languages Aceto, Luca Mousavi, Mohammad Reza Proceedings First International Workshop on Process Algebra and Coordination |
topic_facet |
Computer Science - Logic in Computer Science Computer Science - Programming Languages |
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 |
Text |
author |
Aceto, Luca Mousavi, Mohammad Reza |
author_facet |
Aceto, Luca Mousavi, Mohammad Reza |
author_sort |
Aceto, Luca |
title |
Proceedings First International Workshop on Process Algebra and Coordination |
title_short |
Proceedings First International Workshop on Process Algebra and Coordination |
title_full |
Proceedings First International Workshop on Process Algebra and Coordination |
title_fullStr |
Proceedings First International Workshop on Process Algebra and Coordination |
title_full_unstemmed |
Proceedings First International Workshop on Process Algebra and Coordination |
title_sort |
proceedings first international workshop on process algebra and coordination |
publishDate |
2011 |
url |
http://arxiv.org/abs/1108.1452 https://doi.org/10.4204/EPTCS.60 |
genre |
Iceland |
genre_facet |
Iceland |
op_relation |
http://arxiv.org/abs/1108.1452 EPTCS 60, 2011 doi:10.4204/EPTCS.60 |
op_doi |
https://doi.org/10.4204/EPTCS.60 |
container_title |
Electronic Proceedings in Theoretical Computer Science |
container_volume |
60 |
_version_ |
1776201200210804736 |