ACTL for Modal Interface Automata

Ferenc Bujtor, Walter Vogler. ACTL for Modal Interface Automata. In Jörg Desel, Alex Yakovlev, editors, 16th International Conference on Application of Concurrency to System Design, ACSD 2016, Torun, Poland, June 19-24, 2016. pages 1-10, IEEE Computer Society, 2016. [doi]

Abstract

Abstract is missing.