Readiness Semantics for Regular Processes with Silent Actions

Susanne Graf, Joseph Sifakis. Readiness Semantics for Regular Processes with Silent Actions. In Thomas Ottmann, editor, Automata, Languages and Programming, 14th International Colloquium, ICALP87, Karlsruhe, Germany, July 13-17, 1987, Proceedings. Volume 267 of Lecture Notes in Computer Science, pages 115-125, Springer, 1987.

Abstract

Abstract is missing.