Journals in DBLP

Mathematical Structures in Computer Science
2002, volume: 12, number: 4

1. Reiko Heckel, Mercè Llabrés, Hartmut Ehrig, Fernando Orejas
   Concurrency and Loose Semantics of Open Graph Transformation Systems. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2002, v:12, n:4, pp:349-376 [Journal]
   
2. Loïc Hélouët, Claude Jard, Benoît Caillaud
   An Event Structure Based Semantics for High-Level Message Sequence Charts. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2002, v:12, n:4, pp:377-402 [Journal]
   
3. Javier Larrosa, Gabriel Valiente
   Constraint Satisfaction Algorithms for Graph Pattern Matching. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2002, v:12, n:4, pp:403-422 [Journal]
   
4. Nico Verlinden, Dirk Janssens
   Algebraic Properties Of Processes for Local Action Systems. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2002, v:12, n:4, pp:423-448 [Journal]
   
5. Paul-André Melliès
   Double Categories: A Modular Model of Multiplicative Linear Logic. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2002, v:12, n:4, pp:449-479 [Journal]
   
6. Lutz Schröder, Paulo Mateus
   Universal Aspects of Probabilistic Automata. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2002, v:12, n:4, pp:481-512 [Journal]
   
7. Richard Blute, J. Robin B. Cockett, R. A. G. Seely
   The Logic of Linear Functors. [Citation Graph (0, 0)][DBLP]
   Mathematical Structures in Computer Science, 2002, v:12, n:4, pp:513-539 [Journal]