Kick, Marco; Power, John; Simpson, Alex Coalgebraic semantics for timed processes. (English) Zbl 1110.68085 Inf. Comput. 204, No. 4, 588-609 (2006). MSC: 68Q85 68Q55 18C15 PDFBibTeX XMLCite \textit{M. Kick} et al., Inf. Comput. 204, No. 4, 588--609 (2006; Zbl 1110.68085) Full Text: DOI
Katis, P.; Sabadini, Nicoletta; Walters, Robert F. C. Feedback, trace and fixed-point semantics. (English) Zbl 1050.68100 Theor. Inform. Appl. 36, No. 2, 181-194 (2002). MSC: 68Q55 68Q70 18D10 PDFBibTeX XMLCite \textit{P. Katis} et al., Theor. Inform. Appl. 36, No. 2, 181--194 (2002; Zbl 1050.68100) Full Text: DOI Numdam EuDML Link