Selected publications by Philippe Chaput
Conferences
-
Ph. Chaput, V. Danos, P. Panangaden and G. D. Plotkin. Approximating Labelled Markov Processes Again! In CALCO'09, LNCS 5728, pages 145-156. Springer-Verlag, 2009. ( PDF | BibTeX + Abstract )
-
Ph. Chaput, V. Danos, P. Panangaden and G. D. Plotkin. Approximating Markov Processes by Averaging. In ICALP'09, LNCS 5556, pages 127-138. Springer, 2009. ( PDF | BibTeX + Abstract )