Jens Christoph Bürger, Hendrik Kausch, Deni Raco, Jan Oliver Ringert, Bernhard Rumpe, Sebastian Stüber, Marc Wiartalla. Towards an Isabelle Theory for distributed, interactive systems: The untimed case. Volume 45 of Aachener Informatik-Berichte, Software Engineering, Shaker, 2020. [doi]
Abstract is missing.