default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID7th FOCLASA@ICALP 2008: Reykjavik, Iceland
- Carlos Canal, Pascal Poizat, Marjan Sirjani:
Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA@ICALP 2008, Reykjavik, Iceland, July 13, 2008. Electronic Notes in Theoretical Computer Science 229(2), Elsevier 2009 - Carlos Canal
, Pascal Poizat, Marjan Sirjani:
Preface. 1-2 - Suzana Andova, Luuk Groenewegen, Erik P. de Vink:
Dynamic Consistency in Process Algebra: From Paradigm to ACP. 3-20 - Farhad Arbab, Sun Meng, Christel Baier:
Synthesis of Reo Circuits from Scenario-based Specifications. 21-41 - Dave Clarke, José Proença, Alexander Lazovik, Farhad Arbab:
Deconstructing Reo. 43-58 - Peter Y. H. Wong, Jeremy Gibbons:
A Relative Timed Semantics for BPMN. 59-75 - Jens Chr. Godskesen, Hans Hüttel, Morten Kühnrich:
Verification of Correspondence Assertions in a Calculus for Mobile Ad Hoc Networks. 77-93 - Kevin Marth, Shangping Ren:
The ARC Programming Model - Language Constructs for Coordination. 95-113 - José Antonio Martín, Ernesto Pimentel:
Automatic Generation of Adaptation Contracts. 115-131 - Yue Yu, Shangping Ren, Carolyn L. Talcott:
Coordinating Asynchronous and Open Distributed Systems under Semiring-Based Timing Constraints. 133-153 - Samira Tasharofi, Marjan Sirjani:
Formal Modeling and Conformance Validation for WS-CDL using Reo and CASM. 155-174
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-11-04 20:51 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
