Electronic Notes in Theoretical Computer Science, Volume 215

> Home > Journals > Electronic Notes in Theoretical Computer Science

Volume 215, June 2008

Proceedings of the 4th International Workshop on Formal Aspects of Component Software (FACS 2007)

- view
- export record
  dblp key:
  - journals/entcs/LumpeM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/LumpeM08
Markus Lumpe, Eric Madelaine:
Preface. 1-3
- view
- export record
  dblp key:
  - journals/entcs/KallelCJ08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KallelCJ08
Slim Kallel, Anis Charfi, Mohamed Jmaiel:
Using Aspects for Enforcing Formal Architectural Invariants. 5-21
- view
- export record
  dblp key:
  - journals/entcs/Schatz08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Schatz08
Bernhard Schätz:
Modular Functional Descriptions. 23-38
- view
- export record
  dblp key:
  - journals/entcs/CuboSCPP08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CuboSCPP08
Javier Cubo, Gwen Salaün, Carlos Canal, Ernesto Pimentel, Pascal Poizat:
A Model-Based Approach to the Verification and Adaptation of WF/.NET Components. 39-55
- view
- export record
  dblp key:
  - journals/entcs/Majster-CederbaumMM08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Majster-CederbaumMM08
Mila E. Majster-Cederbaum, Moritz Martens, Christoph Minnameier:
Liveness in Interaction Systems. 57-74
- view
- export record
  dblp key:
  - journals/entcs/BelguidoumD08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BelguidoumD08
Meriem Belguidoum, Fabien Dagnat:
Formalization of Component Substitutability. 75-92
- view
- export record
  dblp key:
  - journals/entcs/Raclet08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Raclet08
Jean-Baptiste Raclet:
Residual for Component Specifications. 93-110
- view
- export record
  dblp key:
  - journals/entcs/CamaraCS08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/CamaraCS08
Javier Cámara, Carlos Canal, Gwen Salaün:
Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems. 111-130
- view
- export record
  dblp key:
  - journals/entcs/FernandesR08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FernandesR08
Fabrício Fernandes, Jean-Claude Royer:
The STSLib Project: Towards a Formal Component Model Based on STS. 131-149
- view
- export record
  dblp key:
  - journals/entcs/BlanchetteO08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BlanchetteO08
Jasmin Christian Blanchette, Olaf Owe:
An Open System Operational Semantics for an Object-Oriented and Component-Based Language. 151-169
- view
- export record
  dblp key:
  - journals/entcs/KimSC08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/KimSC08
Jin Hyun Kim, Jae-Hwan Sim, Jin-Young Choi:
Resource-Oriented Design Framework for Embedded System Components. 171-189
- view
- export record
  dblp key:
  - journals/entcs/Weerdenburg08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Weerdenburg08
Muck van Weerdenburg:
Process Algebra with Local Communication. 191-208
- view
- export record
  dblp key:
  - journals/entcs/BlechmannB08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/BlechmannB08
Tobias Blechmann, Christel Baier:
Checking Equivalence for Reo Networks. 209-226

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.