June 9, 2011, Reykjavik, Iceland
Satellite Workshop of DisCoTec 2011
| Invited Speakers | Important Dates | Organization Committee | Programme Committee | Submission | Programme |
Scope
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 is 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.
Format
The workshop will comprise two main parts: invited lectures and contributed talks. In the first part, some invited senior researchers will present their ideas around the theme of linking process algebras and coordination languages.
Contributions will be solicited in the areas related to the formal aspects of communication structures and coordination languages. The topics of interest include, but are not restricted to:
- Comparison Among Different Coordination Models and/or Process Algebras
- Expressive Power of Coordination Languages and Process Algebras
- Formal Semantics of Coordination Languages
- Formal Verification of Coordinated Architectures
- Relating Different Semantic Models for Coordination Languages
- Translations from Coordination Languages to Process Algebras and Vice Versa
Submissions should not exceed 15 pages and should be formatted according to the EPTCS style. (Please check http://style.eptcs.org/ for more details.) Concurrent submission to other venues (conferences, workshops or journals) and submission of papers under consideration elsewhere are not allowed. Submissions are handled using the EasyChair system and can be uploaded using the following link: https://www.easychair.org/conferences/?conf=paco2011
All contributions will undergo a rigorous review procedure by the Program Committee of the workshop and a selection will be made based on the novelty, soundness and relevance of the contributions.
The proceedings of the workshop, containing papers presented in both parts, will be published as a volume of Electronic Proceedings in Theoretical Computer Science.
Invited Speakers
Important Dates
| Paper Submission: | March 25, 2011 | |
| Author notification: | April 22, 2011 | |
| Camera ready paper due: | May 20, 2011 | |
| Workshop: | June 9, 2011 |
Organization Committee
Organization Chair
Program Chairs
Programme Committee
Programme
| 08:55 - 09:00 |
Welcome | |||||||||
| 09:00 - 10:00 |
Dave Clarke: Context, Colouring and Constraints. | |||||||||
| 10:00 - 10:30 |
Coffee Break | |||||||||
| 10:30 - 11:00 |
Natallia Kokash, Farhad Arbab, Behnaz Changizi and Leonid Makhnist Input-output Conformance Testing for Channel-based Service Connectors. | |||||||||
| 11:00 - 11:30 |
Suzana Andova, Luuk Groenewegen and Erik De Vink Towards Reduction of Paradigm Coordination Models. | |||||||||
| 11:30 - 12:30 |
Jos C.M. Baeten: A Process Algebra for Supervisory Control
Synthesis. | |||||||||
| 12:30 - 14:00 |
Lunch Break | |||||||||
| 14:00 - 15:00 |
Rocco de Nicola: A Uniform Framework for Modeling Processes Behaviors and
their Performances. (Joint invited talk with ICE) | |||||||||
| 15:00 - 15:05 |
Back to PACO | |||||||||
| 15:05 - 16:05 |
Gianluigi Zavattaro: Parameterized Verification of Ad Hoc Network
Protocols. | |||||||||
| 16:05 - 16:30 |
Coffee Break | |||||||||