The SCEAS System
Navigation Menu

Conferences in DBLP

Publications Resulting from Dagstuhl Seminars (dagstuhl)
2004 (conf/dagstuhl/2004P4241)

  1. Paolo Baldan, Barbara König, Arend Rensink
    Summary 2: Graph Grammar Verification through Abstraction. [Citation Graph (0, 0)][DBLP]
    Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004, pp:- [Conf]
  2. Roberto Bruni, Ivan Lanese
    Summary 3: On Graph(ic) Encodings. [Citation Graph (0, 0)][DBLP]
    Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004, pp:- [Conf]
  3. Barbara König, Ugo Montanari, Philippa Gardner
    04241 Abstracts Collection - Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems. [Citation Graph (0, 0)][DBLP]
    Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004, pp:- [Conf]
  4. Pawel Sobocinski
    Summary 1: Adhesivity, Bigraphs and Bisimulation Congruences. [Citation Graph (0, 0)][DBLP]
    Graph Transformations and Process Algebras for Modeling Distributed and Mobile Systems, 2004, pp:- [Conf]
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