Hendrik Kausch, Mathias Pfeiffer, Deni Raco, Bernhard Rumpe, Sebastian Stüber, Lucas Wollenhaupt. Towards an Isabelle Theory for Distributed, Interactive, Real-Time Systems, Volume 2. Volume 58 of Aachener Informatik-Berichte, Software Engineering, Shaker, 2025. [doi]
Abstract is missing.