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.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.