Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Journal=Theor.~Comput.~Sci. AND Volume=153
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Nets, time and space
C.A. Petri
Theoretical Computer Science
153
(1-2), 1996, pp. 3-48
Proving nonreachability by modulo-invariants
J. Desel
,
K.-P. Neuendorf
,
M.-D. Radola
Theoretical Computer Science
153
(1-2), 1996, pp. 49-64
A multiset semantics for the
pi
-calculus with replication
Joost Engelfriet
Theoretical Computer Science
153
(1-2), 1996, pp. 65-94
Trapping mutual exclusion in the box calculus
Javier Esparza
,
Glenn Bruns
Theoretical Computer Science
153
(1-2), 1996, pp. 95-128
An event structure semantics for general Petri nets
P.W. Hoogers
,
H.C.M. Kleijn
,
P.S. Thiagarajan
Theoretical Computer Science
153
(1-2), 1996, pp. 129-170
Process versus unfolding semantics for place/transition Petri nets
José Meseguer
,
Ugo Montanari
,
Vladimiro Sassone
Theoretical Computer Science
153
(1-2), 1996, pp. 171-210
Petri nets and bisimulation
Mogens Nielson
,
Glynn Winskel
Theoretical Computer Science
153
(1-2), 1996, pp. 211-244
On the border of causality: contact and confusion
Einar Smith
Theoretical Computer Science
153
(1-2), 1996, pp. 245-270
Structure theory of equal conflict systems
Enrique Teruel
,
Manuel Silva
Theoretical Computer Science
153
(1-2), 1996, pp. 271-300