De Boer, Frank S.; Gabbrielli, Maurizio; Meo, Maria Chiara Proving correctness of timed concurrent constraint programs. (English) Zbl 1367.68189 ACM Trans. Comput. Log. 5, No. 4, 706-731 (2004). MSC: 68Q60 03B44 68Q85 PDFBibTeX XMLCite \textit{F. S. De Boer} et al., ACM Trans. Comput. Log. 5, No. 4, 706--731 (2004; Zbl 1367.68189) Full Text: DOI
de Boer, Frank S.; Gabbrielli, Maurizio; Meo, Maria Chiara Proving correctness of timed concurrent constraint programs. (English) Zbl 1077.68706 Nielsen, Mogens (ed.) et al., Foundations of software science and computation structures. 5th international conference, FOSSACS 2002, held as part of the joint European conferences on theory and practice of software, ETAPS 2002, Grenoble, France, April 8–12, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43366-X). Lect. Notes Comput. Sci. 2303, 37-51 (2002). MSC: 68Q60 68N30 68Q85 PDFBibTeX XMLCite \textit{F. S. de Boer} et al., Lect. Notes Comput. Sci. 2303, 37--51 (2002; Zbl 1077.68706) Full Text: Link