×

Found 7 Documents (Results 1–7)

Probabilistic bisimulation for realistic schedulers. (English) Zbl 1427.68193

Bjørner, Nikolaj (ed.) et al., FM 2015: formal methods. 20th international symposium, Oslo, Norway, June 24–26, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9109, 248-264 (2015).
MSC:  68Q85 68Q45 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Deciding bisimilarities on distributions. (English) Zbl 1398.68364

Joshi, Kaustubh (ed.) et al., Quantitative evaluation of systems. 10th international conference, QEST 2013, Buenos Aires, Argentina, August 27–30, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-40195-4/pbk). Lecture Notes in Computer Science 8054, 72-88 (2013).
MSC:  68Q85 68Q45 68Q87
PDFBibTeX XMLCite
Full Text: DOI

The quest for minimal quotients for probabilistic automata. (English) Zbl 1381.68115

Piterman, Nir (ed.) et al., Tools and algorithms for the construction and analysis of systems. 19th international conference, TACAS 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-36741-0/pbk). Lecture Notes in Computer Science 7795, 16-31 (2013).
MSC:  68Q45 68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

A semantics for every GSPN. (English) Zbl 1381.68199

Colom, José-Manuel (ed.) et al., Application and theory of Petri nets and concurrency. 34th international conference, PETRI NETS 2013, Milan, Italy, June 24–28, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38696-1/pbk). Lecture Notes in Computer Science 7927, 90-109 (2013).
MSC:  68Q85 68Q55 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Concurrency and composition in a stochastic world. (English) Zbl 1287.68132

Gastin, Paul (ed.) et al., CONCUR 2010 – concurrency theory. 21st international conference, CONCUR 2010, Paris, France, August 31 – September 3, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-15374-7/pbk). Lecture Notes in Computer Science 6269, 21-39 (2010).
MSC:  68Q85 68Q45 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

Year of Publication

Main Field

all top 3

Software