Author Index – Volume (2004)

The Journal of Logic and Algebraic Programming 60–61 (2004) 461 www.elsevier.com/locate/jlap

Author Index – Volumes 60–61 (2004) Aceto, L. and W. Fokkink, Guest editors’ introduction: Special issue on Structural Operational Semantics Baeten, J.C.M. and E.P. de Vink, Axiomatizing GSOS with termination de Vink, E.P., see Baeten, J.C.M. Fokkink, W., see Aceto, L. Klin, B., Adding recursive constructs to bialgebraic semantics La¨mmel, R., Evolution of rule-based programs Mosses, P.D., Modular structural operational semantics Plotkin, G.D., A structural approach to operational semantics Plotkin, G.D., The origins of structural operational semantics Simpson, A., Sequent calculi for process verification: Hennessy– Milner logic for an arbitrary GSOS Tini, S., Rule formats for compositional non-interference properties Ulidowski, I. and S. Yuen, Process languages with discrete relative time based on the Ordered SOS format and rooted eager bisimulation van Glabbeek, R.J., The meaning of negative premises in transition system specifications II Yuen, S., see Ulidowski, I.

doi:10.1016/S1567-8326(04)00059-1

1 323 323 1 259 141 195 17 3 287 353

401 229 401