Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata

Shahram Esmaeilsabzali, Nancy A. Day, Farhad Mavaddat. Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata. Fundamenta Informaticae, 82(4):465-512, 2008. [doi]

Abstract

Abstract is missing.