Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Electronic Notes in Theoretical Computer Science, Volume 215

> Home > Journals > Electronic Notes in Theoretical Computer Science

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Volume 215, June 2008

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

- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- 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
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- 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
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- 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
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- 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
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- 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
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- 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
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- 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
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- 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
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- 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
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- 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
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- 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
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- 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
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- 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

a service of

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.