Volume four in the series covers the fundamental topics of semantic modelling in logic and computation. All the chapters are written to follow a thematic point of view and come as the result of years of coordinated research. This volume brings the reader up-to-date with front line research.

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