(parts and sections listed)Part I: Models and correctness [concurrency and interaction, logical approaches to asynchrony, systems...