ask others

Electronic Notes in Theoretical Computer Science, Volume 263

> Home > Journals > Electronic Notes in Theoretical Computer Science

Volume 263, June 2010

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/MengS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/MengS10
Sun Meng, Bernhard Schätz:
Preface. 1-3
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/AndreAAL10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/AndreAAL10
Pascal André, Gilles Ardourel, Christian Attiogbé, Arnaud Lanoix:
Using Assertions to Enhance the Correctness of Kmelia Components and their Assemblies. 5-30
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BalbianiAHK10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/BalbianiAHK10
Philippe Balbiani, Fahima Cheikh Alili, Pierre-Cyrille Héam, Olga Kouchnarenko:
Composition of Services with Constraints. 31-46
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BauerHJ10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/BauerHJ10
Sebastian S. Bauer, Rolf Hennicker, Stephan Janisch:
Behaviour Protocols for Interacting Stateful Components. 47-66
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/BothZF10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/BothZF10
Andreas Both, Wolf Zimmermann, René Franke:
Model Checking of Component Protocol Conformance - Optimizations by Reducing False Negatives. 67-94
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/CansadoCSC10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/CansadoCSC10
Antonio Cansado, Carlos Canal, Gwen Salaün, Javier Cubo:
A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation. 95-110
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/GloucheGTG10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/GloucheGTG10
Yann Glouche, Paul Le Guernic, Jean-Pierre Talpin, Thierry Gautier:
A Boolean Algebra of Contracts for Assume-guarantee Reasoning. 111-127
- view
  - electronic edition via DOI
  - electronic edition @ wikidata.org
- export record
  dblp key:
  - journals/entcs/KhakpourJTSM10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/KhakpourJTSM10
Narges Khakpour, Saeed Jalili, Carolyn L. Talcott, Marjan Sirjani, Mohammad Reza Mousavi:
PobSAM: Policy-based Managing of Actors in Self-Adaptive Systems. 129-143
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/KloosE10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/KloosE10
Johannes Kloos, Robert Eschbach:
A Systematic Approach to Construct Compositional Behaviour Models for Network-structured Safety-critical Systems. 145-160
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/LagorioSZ10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/LagorioSZ10
Giovanni Lagorio, Marco Servetto, Elena Zucca:
A Lightweight Approach to Customizable Composition Operators for Java-like Classes. 161-177
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Lumpe10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/Lumpe10
Markus Lumpe:
Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata. 179-195
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Majster-CederbaumS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/Majster-CederbaumS10
Mila E. Majster-Cederbaum, Nils Semmelrock:
Reachability in Tree-Like Component Systems is PSPACE-Complete. 197-210
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/WilliamsP10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/WilliamsP10
James R. Williams, Fiona A. C. Polack:
Automated Formalisation for Verification of Diagrammatic Models. 211-226

maintained by

, founded at