Journals in DBLP
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 ] 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 ] 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 ] 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 ] 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 ] 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 ] 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 ]