I would like to thank this year's officers, members of the Steering Committee and others such as Nancy Duncan and Rob Sanford for their work in reviewing submissions and spreading the word. Special thanks go to President Margaret Anderson, last year's program chair John Krantz, and our two Secretary-Treasurers Sarah Ransdell and Chris Cozby for providing continued counsel and taking care of the...

We study equational axiomatizations of bisimulation equivalence for the language obtained by extending Milner's basic CCS with string iteration. String iteration is a variation on the original binary version of the Kleene star operation p q obtained by restricting the rst argument to be a non-empty sequence of atomic actions. We show that, for every positive integer k, bisimulation equivalence ...

Objective: To investigate the effect of socioeconomic group (with reference to age and sex) on the rate of, course of, and survival after coronary events. Design: Community coronary event register from 1985 to 1991. Setting: City of Glasgow north of the River Clyde, population 196 000. Subjects: 3991 men and 1551 women aged 25-64 years on the Glasgow MONICA coronary event register with definite...

This document list the publications authored by Serge Demeyer during the last five years (1997-2002). The list itself is divided into categories and within each category items are listed in reverse chronological order. Whenever possible a quality indicator is included: for journal papers the SCI impact factor as published in the 2000 JCR Science Edition, for conference papers the acceptance ratio.