Electronic Notes in Theoretical Computer Science, Volume 260
Volume 260, January 2010
- Faisal Abouzaid, John Mullins: Formal Specification of Correlation in WS Orchestrations Using BP-calculus. 3-24
- Antonio Cansado, Ludovic Henrio, Eric Madelaine, Pablo Valenzuela: Unifying Architectural and Behavioural Specifications of Distributed Components. 25-45
- Francisco Heron de Carvalho Junior, Rafael Dueire Lins: Compositional Specification of Parallel Components Using Circus. 47-72
- Vincenzo Ciancia, Gian Luigi Ferrari, Roberto Guanciale, Daniele Strollo: Global Coordination Policies for Services. 73-89
- Moritz Hammer, Alexander Knapp: Correct Execution of Reconfiguration for Stateful Components. 91-108
- Pierre-Cyrille Héam, Olga Kouchnarenko, Jérôme Voinot: Component Simulation-based Substitutivity Managing QoS Aspects. 109-123
- Rolf Hennicker, Stephan Janisch, Alexander Knapp: On the Observable Behaviour of Composite Components. 125-153
- Antonio Cansado, Ludovic Henrio, Eric Madelaine: Transparent First-class Futures and Distributed Components. 155-171
- Bin Lei, Zhiming Liu, Charles Morisset, Xuandong Li: State Based Robustness Testing for Components. 173-188
- Nuno F. Rodrigues: Discovering Coordination Patterns. 189-207
- Pavlína Vareková, I. Vareková, Ivana Cerná: Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems. 243-259
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