Checking Modal Contracts for Virtually Timed Ambients

Einar Broch Johnsen, Martin Steffen, Johanna Beate Stumpf, Lars Tveito. Checking Modal Contracts for Virtually Timed Ambients. In Bernd Fischer 0002, Tarmo Uustalu, editors, Theoretical Aspects of Computing - ICTAC 2018 - 15th International Colloquium, Stellenbosch, South Africa, October 16-19, 2018, Proceedings. Volume 11187 of Lecture Notes in Computer Science, pages 252-272, Springer, 2018. [doi]

Abstract

Abstract is missing.