|
Journals in DBLP
- Carlos Canal, Mirko Viroli
Preface. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:175, n:2, pp:1-2 [Journal]
- Gabriel Ciobanu, Cristian Prisacariu
Coordination by Timers for Channel-Based Anonymous Communications. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:175, n:2, pp:3-17 [Journal]
- Sascha Klüppelholz, Christel Baier
Symbolic Model Checking for Channel-based Component Connectors. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:175, n:2, pp:19-37 [Journal]
- Marco Antonio Barbosa, Luís Soares Barbosa
Configurations of Web Services. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:175, n:2, pp:39-57 [Journal]
- Matteo Casadei, Luca Gardelli, Mirko Viroli
Simulating Emergent Properties of Coordination in Maude: the Collective Sort Case. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:175, n:2, pp:59-80 [Journal]
- Antonio Brogi, Javier Cámara, Carlos Canal, Javier Cubo, Ernesto Pimentel
Dynamic Contextual Adaptation. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:175, n:2, pp:81-95 [Journal]
- Andrea Omicini
Formal ReSpecT in the A&A Perspective. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:175, n:2, pp:97-117 [Journal]
- Michael Köhler, Heiko Rölke
Dynamic Transition Refinement. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:175, n:2, pp:119-134 [Journal]
- Juliana Küster Filipe, Sotiris Moschoyiannis
Concurrent Logic and Automata Combined: A Semantics for Components. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:175, n:2, pp:135-151 [Journal]
- Tom Chothia, Jetty Kleijn
Q-Automata: Modelling the Resource Usage of Concurrent Components. [Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 2007, v:175, n:2, pp:153-167 [Journal]
|