A constructive fixed-point theorem and the feedback semantics of timed systems

Cite this paper

@article{Cataldo2006ACF, title={A constructive fixed-point theorem and the feedback semantics of timed systems}, author={A. Cataldo and E. Lee and Xiaojun Liu and E. Matsikoudis and Haiyang Zheng}, journal={2006 8th International Workshop on Discrete Event Systems}, year={2006}, pages={27-32} }