Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2007, volume: 181, number:

1. Guido Boella, Mehdi Dastani, Andrea Omicini, Leendert W. N. van der Torre, Ivana Cerna, Isabelle Linden
   Preface. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:181, n:, pp:1-3 [Journal]
   
2. Osama El-Hassan, José Luiz Fiadeiro
   Role-based Architectural Modelling of Socio-Technical Systems. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:181, n:, pp:5-17 [Journal]
   
3. Fabrizio Montesi, Claudio Guidi, Roberto Lucchi, Gianluigi Zavattaro
   JOLIE: a Java Orchestration Language Interpreter Engine. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:181, n:, pp:19-33 [Journal]
   
4. Rana Bakhshi, Dilian Gurov
   Verification of Peer-to-peer Algorithms: A Case Study. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:181, n:, pp:35-47 [Journal]
   
5. Marco Antonio Barbosa, Luís Soares Barbosa
   An Orchestrator for Dynamic Interconnection of Software Components. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:181, n:, pp:49-61 [Journal]
   
6. Lorenzo Bettini, Rocco De Nicola, Daniele Falassi, Michele Loreti
   Implementing a Distributed Mobile Calculus Using the IMC Framework. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:181, n:, pp:63-79 [Journal]
   
7. David Safránek
   Architectural Interoperability Checking in Visual Coordination Networks. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:181, n:, pp:81-96 [Journal]
   
8. Carolyn L. Talcott
   Policy-based Coordination in PAGODA: A Case Study. [Citation Graph (0, 0)][DBLP]
   Electr. Notes Theor. Comput. Sci., 2007, v:181, n:, pp:97-112 [Journal]