Manfred Broy. Designing Concurrent Distributed Systems by Interface Contracts. In Martin Fränzle, Jürgen Niehaus, Bernd Westphal, editors, Engineering Safe and Trustworthy Cyber Physical Systems - Essays Dedicated to Werner Damm on the Occasion of His 71st Birthday. Volume 15471 of Lecture Notes in Computer Science, pages 234-250, Springer, 2026. [doi]
Abstract is missing.