IFIP Working Group 2.2
Formal Description of Programming Concepts

Summary of the work

done by 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