An Implementation Relation for Cyclic Systems with Refusals and Discrete Time.

Raluca Lefticaru, Robert M. Hierons, Manuel Nez

Browse the full SEFM paper archive.