default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID8th FOCLASA 2009: Rhodes, Greece
- Gwen Salaün, Marjan Sirjani:
Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, FOCLASA 2009, Rhodes, Greece, July 11, 2009. Electronic Notes in Theoretical Computer Science 255, Elsevier 2009 - Faisal Abouzaid, John Mullins:
Model-checking Web Services Orchestrations using BP-calculus. 3-21 - Suzana Andova, Luuk Groenewegen, J. Stafleu, Erik P. de Vink:
Formalizing Adaptation On-the-Fly. 23-44 - Marco Devesas Campos, Luís Soares Barbosa
:
Implementation of an Orchestration Language as a Haskell Domain Specific Language. 45-64 - Francisco Durán, Meriem Ouederni, Gwen Salaün:
Checking Protocol Compatibility using Maude. 65-81 - Ludovic Henrio, Florian Kammüller:
Functional Active Objects: Typing and Formalisation. 83-101 - Stephanie Kemper:
SAT-based Verification for Timed Component Connectors. 103-118 - Sun Meng, Farhad Arbab:
Connectors as Designs. 119-135 - Bahman Pourvatan, Marjan Sirjani, Hossein Hojjat, Farhad Arbab:
Automated Analysis of Reo Circuits using Symbolic Execution. 137-158 - Nima Roohi, Gwen Salaün, Seyed-Hassan Mirian-Hosseinabadi:
Analyzing Chor Specifications by Translation into FSP. 159-176
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:47 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:
