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=202
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
A tutorial on EMPA: A theory of concurrent processes with nondeterminism, priorities, probabilities and time
Marco Bernardo
,
Roberto Gorrieri
Theoretical Computer Science
202
(1-2), 1998, pp. 1-54
Programming in metric temporal logic
Christoph Brzoska
Theoretical Computer Science
202
(1-2), 1998, pp. 55-125
A theory of implementation and refinement in timed Petri nets
Miguel Felder
,
Angelo Gargantini
,
Angelo Morzenti
Theoretical Computer Science
202
(1-2), 1998, pp. 127-161
The quotient of an abstract interpretation
Agostino Cortesi
,
Gilberto Filé
,
William Winsborough
Theoretical Computer Science
202
(1-2), 1998, pp. 163-192
Duality for modal
\mu
-logics
Chrysafis Hartonas
Theoretical Computer Science
202
(1-2), 1998, pp. 193-222
Terminal metric spaces of finitely branching and image finite linear processes
Franck van Breugel
Theoretical Computer Science
202
(1-2), 1998, pp. 223-230
Comparisons of Parikh's condition to other conditions for context-free languages
G. Ramos-Jiménez
,
J. López-Muñoz
,
R. Morales-Bueno
Theoretical Computer Science
202
(1-2), 1998, pp. 231-244