Theoretical Computer Science 1999: Vol 216 Index

2 Pages·1999·0.23 MB·English

Theoretical
Computer Science
Theoretical Computer Science 216 (1999) 399
Author index volume 216 (1999)
(The issue number is given in front of the page numbers)
Burmeister, P.,. M. Monserrat, F. Rossello and G. Valiente, Algebraic transformation of
unary partial algebras II: Single-pushout approach (1-2) 311-362
Cerone, A. and A. Maggiolo-Schettini, Time-based expressivity of time Petri nets for
system specification (Tutorial) (1-2) 1- 53
Degano, P. and C. Priami, Non-interleaving semantics for mobile processes (1-2) 237-270
Ferreira, W. and M. Hennessy, A behavioural theory of first-order CML (Fundamental
Study) (1-2) 55-107
Giacobazzi, R. and F. Ranzato, The reduced relative power operation on abstract
domains (Fundamental Study) (1-2) 159-211
Hennessy, M., see W. Ferreira (1-2) 55-107
Leino, K.R.M. and R. Manohar, Joining specification statements (1-2) 375-394
Levi, F., A compositional y-calculus proof system for statecharts processes (1-2) 271-310
Levitt, K.N., see C. Zhang (1-2) 213-235
Maggiolo-Schettini, A., see A. Cerone (1-2) 1- 33
Manohar, R., see K.R.M. Leino (1-2) 375-394
Monserrat, M., see P. Burmeister (1-2) 311-362
Olsson, R.A., see C. Zhang (1-2) 213-235
Priami, C., see P. Degano (1-2) 237-270
Ranzato, F., see R. Giacobazzi (1-2) 159-211
Rossello, F., see P. Burmeister (1-2) 311-362
Schmidt-SchauB, M., Decidability of behavioural equivalence in unary PCF (1-2) 363-373
Valiente, G., see P. Burmeister (1-2) 311-362
Ying, M., A shorter proof to uniqueness of solutions of equations (Note) (1-2) 395-397
Zhang, C., R.A. Olsson and K.N. Levitt, Formal verification of ap rogramming logic for
a distributed programming language (1-2) 213-235
Zucca, E., From static to dynamic abstract data-types: an institution transformation
(Fundamental Study) (1-2) 109-157
Elsevier Science B.V.