The SCEAS System
Navigation Menu

Journals in DBLP

Theor. Comput. Sci.
1996, volume: 153, number: 1&2

  1. 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]
  2. 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]
  3. 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]
  4. 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]
  5. 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]
  6. 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]
  7. 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]
  8. 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]
  9. 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]
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