Theoretical Computer Science, Volume 153

Volume 153, Numbers 1&2, 8 January 1996

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