Towards an Isabelle Theory for distributed, interactive systems The untimed case Ringert Jan Oliver Heftet / 2020 / Engelsk
