A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Report from Dagstuhl Seminar 15191 Compositional Verification Methods for Next-Generation Concurrency 1 Executive Summary
unpublished
Preserved Fulltext
This report documents the program and the outcomes of Dagstuhl Seminar 15191 "Composi-tional Verification Methods for Next-Generation Concurrency". The seminar was successful and facilitated a stimulating interchange between the theory and practice of concurrent programming, and thereby laid the ground for the development of compositional verification methods that can scale to handle the realities of next-generation concurrency. Seminar License Creative Commons BY 3.0 Unported license ©
fatcat:m4g3ki2k4vaj3eun3re3vmjoca