1: Models for concurrency
2: Concrete process alegbra
3: Correspondence between operational and denotational semantics:
the full abstraction problem for PCF
4: Effective algebras
5: Abstract interpretation: a semantics based tool for program
analysis
