ask others

Electronic Notes in Theoretical Computer Science, Volume 260

> Home > Journals > Electronic Notes in Theoretical Computer Science

Volume 260, January 2010

- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/CanalP10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/CanalP10
Carlos Canal, Corina S. Pasareanu:
Preface. 1-2
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/AbouzaidM10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/AbouzaidM10
Faisal Abouzaid, John Mullins:
Formal Specification of Correlation in WS Orchestrations Using BP-calculus. 3-24
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/CansadoHMV10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/CansadoHMV10
Antonio Cansado, Ludovic Henrio, Eric Madelaine, Pablo Valenzuela:
Unifying Architectural and Behavioural Specifications of Distributed Components. 25-45
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/JuniorL10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/JuniorL10
Francisco Heron de Carvalho Junior, Rafael Dueire Lins:
Compositional Specification of Parallel Components Using Circus. 47-72
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/CianciaFGS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/CianciaFGS10
Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo:
Global Coordination Policies for Services. 73-89
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/HammerK10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/HammerK10
Moritz Hammer, Alexander Knapp:
Correct Execution of Reconfiguration for Stateful Components. 91-108
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/HeamKV10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/HeamKV10
Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot:
Component Simulation-based Substitutivity Managing QoS Aspects. 109-123
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/HennickerJK10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/HennickerJK10
Rolf Hennicker, Stephan Janisch, Alexander Knapp:
On the Observable Behaviour of Composite Components. 125-153
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/CansadoHM10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/CansadoHM10
Antonio Cansado, Ludovic Henrio, Eric Madelaine:
Transparent First-class Futures and Distributed Components. 155-171
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/LeiLML10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/LeiLML10
Bin Lei, Zhiming Liu, Charles Morisset, Xuandong Li:
State Based Robustness Testing for Components. 173-188
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/Rodrigues10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/Rodrigues10
Nuno F. Rodrigues:
Discovering Coordination Patterns. 189-207
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/SabouriS10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/SabouriS10
Hamideh Sabouri, Marjan Sirjani:
Slicing-based Reductions for Rebeca. 209-224
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/SchatzP10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/SchatzP10
Bernhard Schätz, Christian Pfaller:
Integrating Component Tests to System Tests. 225-241
- view
  - electronic edition via DOI
- export record
  dblp key:
  - journals/entcs/VarekovaVC10
- ask others
- share record
  short URL:
  - https://dblp.org/rec/journals/entcs/VarekovaVC10
Pavlína Vareková, I. Vareková, Ivana Cerná:
Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems. 243-259

maintained by

at