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=195
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Linear dynamic Kahn networks are deterministic
Arie de Bruin
,
Shan-Hwei Nienhuys-Cheng
Theoretical Computer Science
195
(1), 1998, pp. 3-32
A class of decidable information logics
Stéphane Demri
Theoretical Computer Science
195
(1), 1998, pp. 33-60
Equational properties of iteration in algebraically complete categories
Z. Ésik
,
A. Labella
Theoretical Computer Science
195
(1), 1998, pp. 61-89
On the conjugation of standard morphisms
Patrice Séébold
Theoretical Computer Science
195
(1), 1998, pp. 91-109
Decidability of bisimulation equivalence for normed pushdown processes
Colin Stirling
Theoretical Computer Science
195
(2), 1998, pp. 113-131
The modal mu-calculus alternation hierarchy is strict
J.C. Bradfield
Theoretical Computer Science
195
(2), 1998, pp. 133-153
Process calculus based upon evaluation to committed form
Andrew M. Pitts
,
Joshua R.X. Ross
Theoretical Computer Science
195
(2), 1998, pp. 155-182
An algorithmic approach for checking closure properties of temporal logic specifications and
\omega
-regular languages
Doron Peled
,
Thomas Wilke
,
Pierre Wolper
Theoretical Computer Science
195
(2), 1998, pp. 183-203
On the expressiveness of internal mobility in name-passing calculi
Michele Boreale
Theoretical Computer Science
195
(2), 1998, pp. 205-226
A process algebra with distributed priorities
Rance Cleaveland
,
Gerald Lüttgen
,
V. Natarajan
Theoretical Computer Science
195
(2), 1998, pp. 227-258
On transformations of concurrent-object programs
Anna Philippou
,
David Walker
Theoretical Computer Science
195
(2), 1998, pp. 259-289
On bisimulations for the asynchronous
\pi
-calculus
Roberto M. Amadio
,
Ilaria Castellani
,
Davide Sangiorgi
Theoretical Computer Science
195
(2), 1998, pp. 291-324