The SCEAS System
Navigation Menu

Journals in DBLP

Electr. Notes Theor. Comput. Sci.
2004, volume: 97, number:

  1. Antonio Brogi, Jean-Marie Jacquet, Ernesto Pimentel
    Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:1-2 [Journal]
  2. Luca de Alfaro, Mariëlle Stoelinga
    Interfaces: A Game-Theoretic Framework for Reasoning About Component-Based Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:3-23 [Journal]
  3. Farhad Arbab, Christel Baier, Jan J. M. M. Rutten, Marjan Sirjani
    Modeling Component Connectors in Reo by Constraint Automata: (Extended Abstract). [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:25-46 [Journal]
  4. Antonio Brogi, Carlos Canal, Ernesto Pimentel
    On the specification of software adaptation. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:47-65 [Journal]
  5. Mirko Viroli
    Verifying Properties of Coordination by Well-Structured Transition Systems. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:67-96 [Journal]
  6. Ronaldo Menezes, Andrea Omicini, Mirko Viroli
    On the Semantics of Coordination Models for Distributed Systems: The LogOp Case Study. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:97-124 [Journal]
  7. Isabelle Linden, Jean-Marie Jacquet, Koenraad De Bosschere, Antonio Brogi
    On the Expressiveness of Relative-Timed Coordination Models. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:125-153 [Journal]
  8. Marc Aiguier, Fabrice Barbier, Pascal Poizat
    A Logic with Temporal Glue for Mixed Specifications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:155-174 [Journal]
  9. Eduardo Bonelli, Adriana B. Compagnoni, Elsa L. Gunter
    Correspondence Assertions for Process Synchronization in Concurrent Communications. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:175-195 [Journal]
  10. Marc Bezem, Hoang Truong
    A Type System for the Safe Instantiation of Components. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:197-217 [Journal]
  11. Vittorio Cortellessa, Antinisca Di Marco, Paola Inverardi
    Three Performance Models at Work: A Software Designer Perspective. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:219-239 [Journal]
  12. Antónia Lopes, José Luiz Fiadeiro
    Adding Mobility to Software Architectures. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:241-258 [Journal]
  13. Christine Julien, Jamie Payton, Gruia-Catalin Roman
    Reasoning About Context-Awareness in the Presence of Mobility. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2004, v:97, n:, pp:259-276 [Journal]
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002