Danos, Vincent; Heindel, Tobias; Garnier, Ilias; Simonsen, Jakob Grue Computing continuous-time Markov chains as transformers of unbounded observables. (English) Zbl 1486.68112 Esparza, Javier (ed.) et al., Foundations of software science and computation structures. 20th international conference, FOSSACS 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10203, 338-354 (2017). MSC: 68Q85 60J20 68Q42 68Q87 PDFBibTeX XMLCite \textit{V. Danos} et al., Lect. Notes Comput. Sci. 10203, 338--354 (2017; Zbl 1486.68112) Full Text: DOI Link
Behr, Nicolas; Danos, Vincent; Garnier, Ilias Stochastic mechanics of graph rewriting. (English) Zbl 1401.68132 Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5–8, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4391-6). 46-55 (2016). MSC: 68Q42 05C25 68Q85 68Q87 PDFBibTeX XMLCite \textit{N. Behr} et al., in: Proceedings of the 2016 31st annual ACM/IEEE symposium on logic in computer science, LICS 2016, New York City, NY, USA, July 5--8, 2016. New York, NY: Association for Computing Machinery (ACM). 46--55 (2016; Zbl 1401.68132) Full Text: DOI Link
Dahlqvist, Fredrik; Danos, Vincent; Garnier, Ilias Robustly parameterised higher-order probabilistic models. (English) Zbl 1392.68222 Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 23, 15 p. (2016). MSC: 68Q55 18B30 60B99 60G99 68Q87 PDFBibTeX XMLCite \textit{F. Dahlqvist} et al., LIPIcs -- Leibniz Int. Proc. Inform. 59, Article 23, 15 p. (2016; Zbl 1392.68222) Full Text: DOI
Dahlqvist, Fredrik; Danos, Vincent; Garnier, Ilias; Kammar, Ohad Bayesian inversion by omega-complete cone duality (invited paper). (English) Zbl 1392.68294 Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 1, 15 p. (2016). MSC: 68Q85 18A40 18B30 60A10 60J35 68Q87 PDFBibTeX XMLCite \textit{F. Dahlqvist} et al., LIPIcs -- Leibniz Int. Proc. Inform. 59, Article 1, 15 p. (2016; Zbl 1392.68294) Full Text: DOI
Danos, Vincent; Heindel, Tobias; Honorato-Zimmer, Ricardo; Stucki, Sandro Moment semantics for reversible rule-based systems. (English) Zbl 1464.68139 Krivine, Jean (ed.) et al., Reversible computation. 7th international conference, RC 2015, Grenoble, France, July 16–17, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9138, 3-26 (2015). MSC: 68Q42 68Q09 68Q10 68Q55 68Q87 PDFBibTeX XMLCite \textit{V. Danos} et al., Lect. Notes Comput. Sci. 9138, 3--26 (2015; Zbl 1464.68139) Full Text: DOI HAL
Danos, Vincent; Harmer, Russell; Honorato-Zimmer, Ricardo Thermodynamic graph-rewriting. (English) Zbl 1391.68064 Log. Methods Comput. Sci. 11, No. 2, Paper No. 13, 26 p. (2015). MSC: 68Q42 68Q85 68Q87 80A10 PDFBibTeX XMLCite \textit{V. Danos} et al., Log. Methods Comput. Sci. 11, No. 2, Paper No. 13, 26 p. (2015; Zbl 1391.68064) Full Text: DOI
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon Approximating Markov processes by averaging. (English) Zbl 1295.68167 J. ACM 61, No. 1, Article No. 5, 45 p. (2014). MSC: 68Q85 60J35 68Q87 PDFBibTeX XMLCite \textit{P. Chaput} et al., J. ACM 61, No. 1, Article No. 5, 45 p. (2014; Zbl 1295.68167) Full Text: DOI Link
Danos, Vincent; Garnier, Ilias Free energy of Petri nets. (English) Zbl 1408.68099 van Breugel, Franck (ed.) et al., Horizons of the mind. A tribute to Prakash Panangaden. Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday. Berlin: Springer. Lect. Notes Comput. Sci. 8464, 268-289 (2014). MSC: 68Q85 60J20 68Q87 92E20 PDFBibTeX XMLCite \textit{V. Danos} and \textit{I. Garnier}, Lect. Notes Comput. Sci. 8464, 268--289 (2014; Zbl 1408.68099) Full Text: DOI
Danos, Vincent; Harmer, Russ; Honorato-Zimmer, Ricardo Thermodynamic graph-rewriting. (English) Zbl 1390.68364 D’Argenio, Pedro R. (ed.) et al., CONCUR 2013 – concurrency theory. 24th international conference, CONCUR 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40183-1/pbk). Lecture Notes in Computer Science 8052, 380-394 (2013). MSC: 68Q42 68Q85 68Q87 PDFBibTeX XMLCite \textit{V. Danos} et al., Lect. Notes Comput. Sci. 8052, 380--394 (2013; Zbl 1390.68364) Full Text: DOI arXiv
Danos, Vincent; Oury, Nicolas Equilibrium and termination. II: The case of Petri nets. (English) Zbl 1271.68178 Math. Struct. Comput. Sci. 23, No. 2, 290-307 (2013). MSC: 68Q85 60J27 68Q87 PDFBibTeX XMLCite \textit{V. Danos} and \textit{N. Oury}, Math. Struct. Comput. Sci. 23, No. 2, 290--307 (2013; Zbl 1271.68178) Full Text: DOI
Chaput, Philippe; Danos, Vincent; Panangaden, Prakash; Plotkin, Gordon Approximating labelled Markov processes again! (English) Zbl 1239.68050 Kurz, Alexander (ed.) et al., Algebra and coalgebra in computer science. Third international conference, CALCO 2009, Udine, Italy, September 7–10, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-03740-5/pbk). Lecture Notes in Computer Science 5728, 145-156 (2009). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{P. Chaput} et al., Lect. Notes Comput. Sci. 5728, 145--156 (2009; Zbl 1239.68050) Full Text: DOI Link