![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
5th FACS 2008: Malaga, Spain
- Carlos Canal, Corina S. Pasareanu:
Proceedings of the 5th International Workshop on Formal Aspects of Component Software, FACS 2008, Malaga, Spain, September 10-12, 2008. Electronic Notes in Theoretical Computer Science 260, Elsevier 2010 - Carlos Canal
, Corina S. Pasareanu:
Preface. 1-2 - 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 - Hamideh Sabouri, Marjan Sirjani:
Slicing-based Reductions for Rebeca. 209-224 - Bernhard Schätz, Christian Pfaller:
Integrating Component Tests to System Tests. 225-241 - Pavlína Vareková, I. Vareková, Ivana Cerná
:
Automated Computing of the Maximal Number of Handled Clients for Client-Server Systems. 243-259
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.