Theoretical Computer Science 1998: Vol 202 Table of Contents

2 Pages·1998·0.2 MB·English

Theoretical Computer Science
Logic, semantics and theory of programming
Volume 202, Numbers 1-2, 28 July 1998
Abstracted/Indexed in: ACM Computing Reviews, Compuscience, Computer Abstracts,
Current Contents: Engineering, Technology & Applied Science, Engineering Index/Com-
pendex, INSPEC Information Services, Mathematical Reviews, Zentralblatt fiir Mathematik
Contents
Tutorial
M. Bernardo and R. Gorrieri
A tutorial on EMPA: A theory of concurrent processes with nondeterminism,
priorities, probabilities and time
Fundamental Study
C. Brzoska
Programming in metric temporal logic
Contributions
M. Felder, A. Gargantini and A. Morzenti
A theory of implementation and refinement in timed Petri nets
A. Cortesi, G. Filé and W. Winsborough
The quotient of an abstract interpretation
C. Hartonas
Duality for modal y-logics
Notes
F. van Breugel
Terminal metric spaces of finitely branching and image finite linear processes
G. Ramos-Jiménez, J. Lopez-Mufioz and R. Morales-Bueno
Comparisons of Parikh’s condition to other conditions for context-free languages
Contents EATCS Bulletin Number 64
Author index volume 202