Logical and Operational Methods in the Analysis of Programs and Systems (LOMAPS)

5. LOMAPS 1996: Stockholm, Sweden