Summary of the work of WG 2.2

Report to IFIP TC-2 by E.-R. Olderog (submitted on 28 January 1999)

Some recent talks/opinions from WG2.2 members

From the Bologna'09 meeting