Theoretical Computer Science 1997: Vol 189 Index

1 Pages·1997·0.16 MB·English

Theoretical
Computer Science
Theoretical Computer Science 189 (1997) 249
Author index volume 189 (1997)
(The issue number is given in front of the page numbers)
Bergeron, A., On the rational behaviors of concurrent timers (Note) (1-2) 229-237
Bouge, L., D. Cachera, Y. Le Guyadec, G. Utard and B. Virot, Formal validation of data-
parallel programs: a two-component assertional proof system for a simple language
(Fundamental Study) (i-2Z) 71-107
Bréemond-Gregoire, P. and I. Lee, A process algebra of communicating shared resources
(1-2) 179-219
with dense time and priorities
(1-2) 109-127
Burkhard, H.-D., Fairness and control in multi-agent systems
(1-2) 71-107
Cachera, D., see L. Bouge
(1-2) 239-248
Cicerone, S. and F. Parisi-Presicce, On the complexity of specification morphisms (Note)
Eiter, T., G. Gottlob and N. Leone, Abduction from logic programs: Semantics and
(1-2) 129-177
complexity
(1-2) 129-177
Gottlob, G., see T. Eiter
(1-2) 71-107
Le Guyadec, Y., see L. Bouge
(1-2) 179-219
Lee, I., see P. Bremond-Gregoire
(1-2) 129-177
Leone, N., see T. Eiter
(1-2) 221-228
Mezghiche, M., cfB-Machine with Af-reduction (Note)
Niwinski, D., Fixed point characterization of infinite behavior of finite-state systems
(1-2) 1- 69
(Fundamental Study)
(1-2) 239-248
Parisi-Presicce, F., see S. Cicerone
(1-2) 71-107
Utard, G., see L. Bouge
(1-2) 71-107
Virot, B., see L. Bouge
Elsevier Science B.V.