From Domains to Automata with Concurrency

Felipe Bracho, Manfred Droste. From Domains to Automata with Concurrency. In Andrzej Lingas, Rolf G. Karlsson, Svante Carlsson, editors, Automata, Languages and Programming, 20nd International Colloquium, ICALP93, Lund, Sweden, July 5-9, 1993, Proceedings. Volume 700 of Lecture Notes in Computer Science, pages 669-681, Springer, 1993.

Abstract

Abstract is missing.