Safe Executions of Recognizable Trace Languages by Asynchronous Automata

Wieslaw Zielonka. Safe Executions of Recognizable Trace Languages by Asynchronous Automata. In Albert R. Meyer, Michael A. Taitslin, editors, Logic at Botik 89, Symposium on Logical Foundations of Computer Science, Pereslav-Zalessky, USSR, July 3-8, 1989, Proceedings. Volume 363 of Lecture Notes in Computer Science, pages 278-289, Springer, 1989.

Abstract

Abstract is missing.