Nondeterministic Modal Interfaces

Ferenc Bujtor, Sascha Fendrich, Gerald Lüttgen, Walter Vogler. Nondeterministic Modal Interfaces. Theoretical Computer Science, 642:24-53, 2016. [doi]

Abstract

Abstract is missing.