default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheoretical Computer Science, Volume 153
Volume 153, Numbers 1&2, 8 January 1996
- C. A. Petri:
Nets, Time and Space. 3-48 - Jörg Desel, Klaus-Peter Neuendorf, M.-D. Radola:
Proving Nonreachability by Modulo-Invariants. 49-64 - Joost Engelfriet:
A Multiset Semantics for the pi-Calculus with Replication. 65-94 - Javier Esparza
, Glenn Bruns:
Trapping Mutual Exclusion in the Box Calculus. 95-128 - P. W. Hoogers, H. C. M. Kleijn, P. S. Thiagarajan:
An Event Structure Semantics for General Petri Nets. 129-170 - José Meseguer, Ugo Montanari, Vladimiro Sassone:
Process versus Unfolding Semantics for Place/Transition Petri Nets. 171-210 - Mogens Nielsen, Glynn Winskel:
Petri Nets and Bisimulation. 211-244 - Einar Smith:
On the Border of Causality: Contact and Confusion. 245-270 - Enrique Teruel, Manuel Silva Suárez:
Structure Theory of Equal Conflict Systems. 271-300
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:23 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
