Raluca Lefticaru, Robert M. Hierons, Manuel Núñez 0001. An Implementation Relation for Cyclic Systems with Refusals and Discrete Time. In Peter Csaba Ölveczky, Gwen Salaün, editors, Software Engineering and Formal Methods - 17th International Conference, SEFM 2019, Oslo, Norway, September 18-20, 2019, Proceedings. Volume 11724 of Lecture Notes in Computer Science, pages 393-409, Springer, 2019. [doi]
Abstract is missing.