![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
Theoretical 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
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
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.