Journals in DBLP
C. A. Petri Nets, Time and Space. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1996, v:153, n:1&2, pp:3-48 [Journal ] Jörg Desel , K.-P. Neuendorf , M.-D. Radola Proving Nonreachability by Modulo-Invariants. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1996, v:153, n:1&2, pp:49-64 [Journal ] Joost Engelfriet A Multiset Semantics for the pi-Calculus with Replication. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1996, v:153, n:1&2, pp:65-94 [Journal ] Javier Esparza , Glenn Bruns Trapping Mutual Exclusion in the Box Calculus. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1996, v:153, n:1&2, pp:95-128 [Journal ] P. W. Hoogers , H. C. M. Kleijn , P. S. Thiagarajan An Event Structure Semantics for General Petri Nets. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1996, v:153, n:1&2, pp:129-170 [Journal ] José Meseguer , Ugo Montanari , Vladimiro Sassone Process versus Unfolding Semantics for Place/Transition Petri Nets. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1996, v:153, n:1&2, pp:171-210 [Journal ] Mogens Nielsen , Glynn Winskel Petri Nets and Bisimulation. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1996, v:153, n:1&2, pp:211-244 [Journal ] Einar Smith On the Border of Causality: Contact and Confusion. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1996, v:153, n:1&2, pp:245-270 [Journal ] Enrique Teruel , Manuel Silva Structure Theory of Equal Conflict Systems. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1996, v:153, n:1&2, pp:271-300 [Journal ]