×

Found 46 Documents (Results 1–46)

Solving systems of bilinear equations for transition rate reconstruction. (English) Zbl 1496.68248

Hojjat, Hossein (ed.) et al., Fundamentals of software engineering. 9th international conference, FSEN 2021, virtual event, May 19–21, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12818, 157-172 (2021).
MSC:  68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

It sometimes works: a lifting algorithm for repair of stochastic process algebra models. (English) Zbl 1484.68038

Hermanns, Holger (ed.), Measurement, modelling and evaluation of computing systems. 20th international GI/ITG conference, MMB 2020, Saarbrücken, Germany, March 16–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12040, 190-207 (2020).
MSC:  68M20 68M15 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Quantitative analysis of concurrent reversible computations. (English) Zbl 1465.68197

Sankaranarayanan, Sriram (ed.) et al., Formal modeling and analysis of timed systems. 13th international conference, FORMATS 2015, Madrid, Spain, September 2–4, 2015. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9268, 206-221 (2015).
PDFBibTeX XMLCite
Full Text: DOI

On the semantics of Markov automata. (English) Zbl 1333.68162

Aceto, Luca (ed.) et al., Automata, languages and programming. 38th international colloquium, ICALP 2011, Zurich, Switzerland, July 4–8, 2011. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-22011-1/pbk). Lecture Notes in Computer Science 6756, 307-318 (2011).
MSC:  68Q45 68Q85 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Structural analysis for stochastic process algebra models. (English) Zbl 1308.68086

Johnson, Michael (ed.) et al., Algebraic methodology and software technology. 13th international conference, AMAST 2010, Lac-Beauport, QC, Canada, June 23–25, 2010. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17795-8/pbk). Lecture Notes in Computer Science 6486, 1-27 (2011).
MSC:  68Q87 68U20
PDFBibTeX XMLCite
Full Text: DOI

The how and why of interactive Markov chains. (English) Zbl 1312.68152

de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 8th international symposium, FMCO 2009, Eindhoven, The Netherlands, November 4–6, 2009. Revised selected papers. Berlin: Springer (ISBN 978-3-642-17070-6/pbk). Lecture Notes in Computer Science 6286, 311-337 (2010).
MSC:  68Q85 60J20 68Q87
PDFBibTeX XMLCite
Full Text: DOI Link

Categories of timed stochastic relations. (English) Zbl 1337.68195

Abramsky, Samson (ed.) et al., Proceedings of the 25th conference on the mathematical foundations of programming semantics (MFPS 2009), Oxford, UK, April 3–7, 2009. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 249, 193-217 (2009).
PDFBibTeX XMLCite
Full Text: DOI

An efficient symbolic elimination algorithm for the stochastic process algebra tool CASPA. (English) Zbl 1206.68208

Nielsen, Mogens (ed.) et al., SOFSEM 2009: Theory and practice of computer science. 35th conference on current trends in theory and practice of computer science, Špindlerův Mlýn, Czech Republic, January 24–30, 2009. Proceedings. Berlin: Springer (ISBN 978-3-540-95890-1/pbk). Lecture Notes in Computer Science 5404, 485-496 (2009).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Reflections on the future of concurrency theory in general and process calculi in particular. (English) Zbl 1279.68258

Palamidessi, Catuscia (ed.) et al., Proceedings of the LIX colloquium on emerging trends in concurrency theory (LIX 2006), Paris, France, November 13–15, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 209, 149-164 (2008).
MSC:  68Q85 68Q60 68-02
PDFBibTeX XMLCite
Full Text: DOI

Taking decisions late: end-based choice combined with action refinement. (English) Zbl 1270.68084

Derrick, John (ed.) et al., REFINE 2002. Proceedings of the BCS FACS refinement workshop (satellite event of FLoC 2002), Copenhagen, Denmark, July 20–21, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 70, No. 3, 244-259 (2002).
MSC:  68N30 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: Link

Linear structures for concurrency in probabilistic programming languages. (English) Zbl 1264.68041

Seda, Anthony (ed.) et al., MFCSIT2000. Proceedings of the first Irish conference on the mathematical foundations of computer science and information technology, National University of Ireland, Cork, Ireland, July 20–21, 2000. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 40, 100-143 (2001).
MSC:  68N15 68N19 68Q87
PDFBibTeX XMLCite
Full Text: DOI

An algebra-based method to associate rewards with EMPA terms. (English) Zbl 1401.68222

Degano, Pierpaolo (ed.) et al., Automata, languages and programming. 24th international colloquium, ICALP ’97, Bologna, Italy, July 7–11, 1997. Proceedings. Berlin: Springer-Verlag (ISBN 978-3-540-63165-1/pbk; 978-3-540-69194-5/ebook). Lecture Notes in Computer Science 1256, 358-368 (1997).
MSC:  68Q85 68Q60 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software