Electronic Notes in Theoretical Computer Science, Volume 255
Volume 255, November 2009
- 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
- Stephanie Kemper: SAT-based Verification for Timed Component Connectors. 103-118
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-17T202759 by the dblp team