Foreword.

Published in: Partial Order Methods in Verification (1996)