×

Found 11 Documents (Results 1–11)

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).
PDFBibTeX XMLCite
Full Text: DOI Link

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).
PDFBibTeX XMLCite
Full Text: DOI Link

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
Full Text: DOI

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
Full Text: DOI

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).
PDFBibTeX XMLCite
Full Text: DOI HAL

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
Full Text: DOI arXiv

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
Full Text: DOI Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software