Readiness Semantics for Regular Processes with Silent Actions.

Susanne Graf, Joseph Sifakis

Browse the full ICALP paper archive.