×

Found 294 Documents (Results 1–100)

Brief announcement: Discrete incremental voting. (English) Zbl 07824335

Oshman, Rotem (ed.) et al., Proceedings of the 42nd ACM symposium on principles of distributed computing, PODC ’23, Orlando, FL, USA, June 19–23, 2023. New York, NY: Association for Computing Machinery (ACM). 278-281 (2023).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Distributed averaging in opinion dynamics. (English) Zbl 07824328

Oshman, Rotem (ed.) et al., Proceedings of the 42nd ACM symposium on principles of distributed computing, PODC ’23, Orlando, FL, USA, June 19–23, 2023. New York, NY: Association for Computing Machinery (ACM). 211-221 (2023).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI arXiv

Election in fully anonymous shared memory systems: tight space bounds and algorithms. (English) Zbl 07615857

Parter, Merav (ed.), Structural information and communication complexity. 29th international colloquium, SIROCCO 2022, Paderborn, Germany, June 27–29, 2022, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13298, 174-190 (2022).
MSC:  68Mxx 68Q11 68R10
PDFBibTeX XMLCite
Full Text: DOI arXiv

Computing transience bounds of emergency call centers: a hierarchical timed Petri net approach. (English) Zbl 1499.68215

Bernardinello, Luca (ed.) et al., Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13288, 90-112 (2022).
MSC:  68Q85 90C40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Constant RMR group mutual exclusion for arbitrarily many processes and sessions. (English) Zbl 07774281

Gilbert, Seth (ed.), 35th international symposium on distributed computing, DISC 2021, Freiburg, Germany (virtual conference) October 4–8, 2021. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 209, Article 30, 16 p. (2021).
MSC:  68M14 68W15
PDFBibTeX XMLCite
Full Text: DOI

Arena-independent finite-memory determinacy in stochastic games. (English) Zbl 07730628

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 26, 18 p. (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Strategy complexity of mean payoff, total payoff and point payoff objectives in countable MDPs. (English) Zbl 07730614

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 12, 15 p. (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Transience in countable MDPs. (English) Zbl 07730613

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 11, 15 p. (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Linear-time model checking branching processes. (English) Zbl 07730608

Haddad, Serge (ed.) et al., 32nd international conference on concurrency theory, CONCUR 2021, August 24–27, 2021, virtual conference. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 203, Article 6, 16 p. (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Translation of CCS into CSP, correct up to strong bisimulation. (English) Zbl 1522.68368

Calinescu, Radu (ed.) et al., Software engineering and formal methods. 19th international conference, SEFM 2021, virtual event, December 6–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13085, 243-261 (2021).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Byzantine-tolerant reliable broadcast in the presence of silent churn. (English) Zbl 1521.68017

Johnen, Colette (ed.) et al., Stabilization, safety, and security of distributed systems. 23rd international symposium, SSS 2021, virtual event, November 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13046, 21-33 (2021).
MSC:  68M14 68M10 68M15
PDFBibTeX XMLCite
Full Text: DOI

Towards bridging time and causal reversibility. (English) Zbl 1511.68179

Gotsman, Alexey (ed.) et al., Formal techniques for distributed objects, components, and systems. 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12136, 22-38 (2020).
MSC:  68Q85 60J28 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Farkas certificates and minimal witnesses for probabilistic reachability constraints. (English) Zbl 1507.68187

Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12078, 324-345 (2020).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Strategy complexity of parity objectives in countable MDPs. (English) Zbl 07559495

Konnov, Igor (ed.) et al., 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 171, Article 39, 17 p. (2020).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Concurrent MDPs with finite Markovian policies. (English) Zbl 1484.68032

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, 37-53 (2020).
PDFBibTeX XMLCite
Full Text: DOI

Scalable Byzantine reliable broadcast. (English) Zbl 1515.68066

Suomela, Jukka (ed.), 33rd international symposium on distributed computing, DISC 2019, Budapest, Hungary, October 14–18, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 146, Article 22, 16 p. (2019).
MSC:  68M14 68M15 68W15
PDFBibTeX XMLCite
Full Text: DOI

On the complexity of reachability in parametric Markov decision processes. (English) Zbl 07649922

Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 14, 17 p. (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Life is random, time is not: Markov decision processes with window objectives. (English) Zbl 07649916

Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 8, 18 p. (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Of cores: a partial-exploration framework for Markov decision processes. (English) Zbl 07649913

Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 5, 17 p. (2019).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism. (English) Zbl 1464.68262

Hierons, Robert Mark (ed.) et al., Theoretical aspects of computing – ICTAC 2019. 16th international colloquium, Hammamet, Tunisia, October 31 – November 4, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11884, 41-58 (2019).
PDFBibTeX XMLCite
Full Text: DOI

Fast multidimensional asymptotic and approximate consensus. (English) Zbl 1497.68045

Schmid, Ulrich (ed.) et al., 32nd international symposium on distributed computing, DISC 2018, New Orleans, Louisiana, USA, October 15–19, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 121, Article 27, 16 p. (2018).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Complete axiomatization for the total variation distance of Markov chains. (English) Zbl 1525.68080

Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 27-39 (2018).
PDFBibTeX XMLCite
Full Text: DOI

Bisimulations for probabilistic and quantum processes (invited paper). (English) Zbl 1520.68093

Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 2, 14 p. (2018).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

Universal protocols for information dissemination using emergent signals. (English) Zbl 1428.68064

Diakonikolas, Ilias (ed.) et al., Proceedings of the 50th annual ACM SIGACT symposium on theory of computing, STOC ’18, Los Angeles, CA, USA, June 25–29, 2018. New York, NY: Association for Computing Machinery (ACM). 87-99 (2018).
MSC:  68M14 68M12 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

The complexity of graph-based reductions for reachability in Markov decision processes. (English) Zbl 1504.68144

Baier, Christel (ed.) et al., Foundations of software science and computation structures. 21st international conference, FOSSACS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10803, 367-383 (2018).
MSC:  68Q85 68Q87 90C40
PDFBibTeX XMLCite
Full Text: DOI arXiv

Computing the fault-containment time of self-stabilizing algorithms using Markov chains and lumping. (English) Zbl 1498.68373

Spirakis, Paul (ed.) et al., Stabilization, safety, and security of distributed systems. 19th international symposium, SSS 2017, Boston, MA, USA, November 5–8, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10616, 62-77 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Polynomial-time alternating probabilistic bisimulation for interval MDPs. (English) Zbl 1498.68187

Larsen, Kim G. (ed.) et al., Dependable software engineering. Theories, tools, and applications. Third international symposium, SETTA 2017, Changsha, China, October 23–25, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10606, 25-41 (2017).
PDFBibTeX XMLCite
Full Text: DOI

Exploiting non-deterministic analysis in the integration of transient solution techniques for Markov regenerative processes. (English) Zbl 1420.68143

Bertrand, Nathalie (ed.) et al., Quantitative evaluation of systems. 14th international conference, QEST 2017, Berlin, Germany, September 5–7, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10503, 20-35 (2017).
MSC:  68Q85 60J20 68Q87
PDFBibTeX XMLCite
Full Text: DOI

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

On the relationship between bisimulation and trace equivalence in an approximate probabilistic context. (English) Zbl 1486.68108

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, 321-337 (2017).
MSC:  68Q85 60J20 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Higher-order processes with parameterization over names and processes. (English) Zbl 1478.68196

Gebler, Daniel (ed.) et al., Proceedings of the combined 23rd international workshop on expressiveness in concurrency and 13th workshop on structural operational semantics, EXPRESS/SOS 2016, Québec City, Canada, August 22, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 222, 15-29 (2016).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: arXiv Link

Complete axiomatization for the bisimilarity distance on Markov chains. (English) Zbl 1392.68282

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 21, 14 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI

Linear distances between Markov chains. (English) Zbl 1392.68293

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 20, 15 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence. (English) Zbl 1398.68367

Faliszewski, Piotr (ed.) et al., 41st international symposium on mathematical foundations of computer science, MFCS 2016, Kraków, Poland, August 22–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-016-3). LIPIcs – Leibniz International Proceedings in Informatics 58, Article 52, 13 p. (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Input/output stochastic automata – compositionality and determinism. (English) Zbl 1433.68246

Fränzle, Martin (ed.) et al., Formal modeling and analysis of timed systems. 14th international conference, FORMATS 2016, Quebec, QC, Canada, August 24–26, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9884, 53-68 (2016).
MSC:  68Q85 60J25 60J99
PDFBibTeX XMLCite
Full Text: DOI

Reachability in networks of register protocols under stochastic schedulers. (English) Zbl 1388.68195

Chatzigiannakis, Ioannis (ed.) et al., 43rd international colloquium on automata, languages, and programming, ICALP 2016, Rome, Italy, July 12–15, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-013-2). LIPIcs – Leibniz International Proceedings in Informatics 55, Article 106, 14 p. (2016).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Anonymous obstruction-free \((n,k)\)-set agreement with \(n-k+1\) atomic read/write registers. (English) Zbl 1380.68038

Anceaume, Emmanuelle (ed.) et al., 19th international conference on principles of distributed systems, OPODIS 2015, Rennes, France, December 14–17, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-98-9). LIPIcs – Leibniz International Proceedings in Informatics 46, Article 18, 17 p. (2016).
MSC:  68M14 68M15
PDFBibTeX XMLCite
Full Text: DOI arXiv

The coalescing-branching random walk on expanders and the dual epidemic process. (English) Zbl 1376.68105

Proceedings of the 2016 ACM symposium on principles of distributed computing, PODC ’16, Chicago, IL, USA, July 25–28, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3964-3). 461-467 (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

A Markov chain algorithm for compression in self-organizing particle systems. (English) Zbl 1375.68193

Proceedings of the 2016 ACM symposium on principles of distributed computing, PODC ’16, Chicago, IL, USA, July 25–28, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3964-3). 279-288 (2016).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Symbolic computation of differential equivalences. (English) Zbl 1347.68258

Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 137-150 (2016).
PDFBibTeX XMLCite
Full Text: DOI Link

Probabilistic time Petri nets. (English) Zbl 1346.68131

Kordon, Fabrice (ed.) et al., Application and theory of Petri nets and concurrency. 37th international conference, PETRI NETS 2016, Toruń, Poland, June 19–24, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-39085-7/pbk; 978-3-319-39086-4/ebook). Lecture Notes in Computer Science 9698, 261-280 (2016).
MSC:  68Q85 68Q87 90C40
PDFBibTeX XMLCite
Full Text: DOI

Trace refinement in labelled Markov decision processes. (English) Zbl 1475.68203

Jacobs, Bart (ed.) et al., Foundations of software science and computation structures. 19th international conference, FOSSACS 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 9634, 303-318 (2016).
MSC:  68Q85 60J20 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv

Task delegation in a peer-to-peer volunteer computing platform. (English) Zbl 1392.68098

Gribaudo, Marco (ed.) et al., Analytical and stochastic modelling techniques and applications. 22nd international conference, ASMTA 2015, Albena, Bulgaria, May 26–29, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-18578-1/pbk; 978-3-319-18579-8/ebook). Lecture Notes in Computer Science 9081, 115-129 (2015).
MSC:  68M14 60J28 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Long-run average behaviour of probabilistic vector addition systems. (English) Zbl 1392.68284

Proceedings of the 2015 30th annual ACM/IEEE symposium on logic in computer science, LICS 2015, Kyoto, Japan, July 6–10, 2015. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4799-8875-4). 44-55 (2015).
MSC:  68Q85 68Q25 68Q87
PDFBibTeX XMLCite
Full Text: DOI arXiv Link

Dynamic Bayesian networks as formal abstractions of structured stochastic processes. (English) Zbl 1374.68301

Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 169-183 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Quantitative analysis of communication scenarios. (English) Zbl 1465.68194

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, 76-92 (2015).
PDFBibTeX XMLCite
Full Text: DOI

Distributed Markov chains. (English) Zbl 1432.68266

D’Souza, Deepak (ed.) et al., Verification, model checking, and abstract interpretation. 16th international conference, VMCAI 2015, Mumbai, India, January 12–14, 2015. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8931, 117-134 (2015).
PDFBibTeX XMLCite
Full Text: DOI arXiv

On the discriminating power of passivation and higher-order interaction. (English) Zbl 1392.68283

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 14, 10 p. (2014).
PDFBibTeX XMLCite
Full Text: DOI

Identifying all preorders on the subdistribution monad. (English) Zbl 1337.68192

Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 309-327, electronic only (2014).
PDFBibTeX XMLCite
Full Text: DOI

A metrized duality theorem for Markov processes. (English) Zbl 1337.68186

Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 211-227, electronic only (2014).
PDFBibTeX XMLCite
Full Text: DOI

Markov reward models and Markov decision processes in discrete and continuous time: performance evaluation and optimization. (English) Zbl 1426.68190

Remke, Anne (ed.) et al., Stochastic model checking. Rigorous dependability analysis using model checking techniques for stochastic systems. International autumn school, ROCKS 2012, Vahrn, Italy, October 22–26, 2012. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8453, 156-241 (2014).
MSC:  68Q87 60J20 68Q85
PDFBibTeX XMLCite
Full Text: DOI

A tutorial on interactive Markov chains. (English) Zbl 1426.68187

Remke, Anne (ed.) et al., Stochastic model checking. Rigorous dependability analysis using model checking techniques for stochastic systems. International autumn school, ROCKS 2012, Vahrn, Italy, October 22–26, 2012. Advanced lectures. Berlin: Springer. Lect. Notes Comput. Sci. 8453, 26-66 (2014).
MSC:  68Q87 60J20 68Q85
PDFBibTeX XMLCite
Full Text: DOI

Analysis of Petri net models through stochastic differential equations. (English) Zbl 1410.68247

Ciardo, Gianfranco (ed.) et al., Application and theory of Petri nets and concurrency. 35th international conference, PETRI NETS 2014, Tunis, Tunisia, June 23–27, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8489, 273-293 (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Energy-utility analysis for resilient systems using probabilistic model checking. (English) Zbl 1407.68280

Ciardo, Gianfranco (ed.) et al., Application and theory of Petri nets and concurrency. 35th international conference, PETRI NETS 2014, Tunis, Tunisia, June 23–27, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8489, 20-39 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Bisimulation for Markov decision processes through families of functional expressions. (English) Zbl 1408.68100

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, 319-342 (2014).
MSC:  68Q85 60J25 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Probabilistic model checking for energy-utility analysis. (English) Zbl 1407.68279

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, 96-123 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Bisimulation on Markov processes over arbitrary measurable spaces. (English) Zbl 1407.68327

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, 76-95 (2014).
PDFBibTeX XMLCite
Full Text: DOI

Analysis of probabilistic basic parallel processes. (English) Zbl 1405.68208

Muscholl, Anca (ed.), Foundations of software science and computation structures. 17th international conference, FOSSACS 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54829-1/pbk). Lecture Notes in Computer Science 8412, 43-57 (2014).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Beyond optimal searching: recent developments in the modelling of animal movement patterns as Lévy walks. (English) Zbl 1347.92116

Lewis, Mark A. (ed.) et al., Dispersal, individual movement and spatial ecology. A mathematical perspective. Berlin: Springer (ISBN 978-3-642-35496-0/hbk; 978-3-642-35497-7/ebook). Lecture Notes in Mathematics 2071. Mathematical Biosciences Subseries, 53-76 (2013).
MSC:  92D50 60G51 92D15
PDFBibTeX XMLCite
Full Text: DOI

Approximating bisimilarity for Markov processes. (English) Zbl 1334.68158

Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 427-440 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Improving time bounded reachability computations in interactive Markov chains. (English) Zbl 1434.68337

Arbab, Farhad (ed.) et al., Fundamentals of software engineering. 5th international conference, FSEN 2013 Tehran, Iran, April 24–26, 2013. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 8161, 250-266 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Stable and scalable universal swarms. (English) Zbl 1323.68024

Proceedings of the 2013 ACM symposium on principles of distributed computing, PODC ’13, Montreal, QC, Canada, July 22–24, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2065-8). 260-269 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Reachability probabilities of quantum Markov chains. (English) Zbl 1390.68444

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, 334-348 (2013).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Weighted lumpability on Markov chains. (English) Zbl 1336.68186

Clarke, Edmund (ed.) et al., Perspectives of systems informatics. 8th international Andrei Ershov memorial conference, PSI 2011, Novosibirsk, Russia, June 27 – July 1, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29708-3/pbk). Lecture Notes in Computer Science 7162, 322-339 (2012).
PDFBibTeX XMLCite
Full Text: DOI

A simple approach for adapting continuous load balancing processes to discrete settings. (English) Zbl 1301.68050

Proceedings of the 2012 ACM symposium on principles of distributed computing, PODC ’12, Funchal, Portugal, July 16–18, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1450-3). 271-280 (2012).
PDFBibTeX XMLCite
Full Text: DOI Link

Information spreading in dynamic graphs. (English) Zbl 1301.68200

Proceedings of the 2012 ACM symposium on principles of distributed computing, PODC ’12, Funchal, Portugal, July 16–18, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1450-3). 37-46 (2012).
PDFBibTeX XMLCite
Full Text: DOI arXiv

Natural and modified forms of distributed-order fractional diffusion equations. (English) Zbl 1297.35267

Klafter, Joseph (ed.) et al., Fractional dynamics. Recent advances. Hackensack, NJ: World Scientific (ISBN 978-981-4340-58-8/hbk; 978-981-4340-59-5/ebook). 107-127 (2012).
MSC:  35R11 60G51
PDFBibTeX XMLCite
Full Text: DOI

Taking it to the limit: approximate reasoning for Markov processes. (English) Zbl 1365.68344

Rovan, Branislav (ed.) et al., Mathematical foundations of computer science 2012. 37th international symposium, MFCS 2012, Bratislava, Slovakia, August 27–31, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-32588-5/pbk). Lecture Notes in Computer Science 7464, 681-692 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Structural operational semantics for continuous state probabilistic processes. (English) Zbl 1328.68135

Pattinson, Dirk (ed.) et al., Coalgebraic methods in computer science. 11th international workshop, CMCS 2012, colocated with ETAPS 2012, Tallinn, Estonia, March 31–April 1, 2012. Revised selected papers. Berlin: Springer (ISBN 978-3-642-32783-4/pbk). Lecture Notes in Computer Science 7399, 71-89 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Using colored Petri nets to construct coalescent hidden Markov models: automatic translation from demographic specifications to efficient inference methods. (English) Zbl 1358.92069

Haddad, Serge (ed.) et al., Application and theory of Petri nets. 33rd international conference, PETRI NETS 2012, Hamburg, Germany, June 25–29, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-31130-7/pbk). Lecture Notes in Computer Science 7347, 32-50 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Lumping and reversed processes in cooperating automata. (English) Zbl 1356.68021

Al-Begain, Khalid (ed.) et al., Analytical and stochastic modeling techniques and applications. 19th international conference, ASMTA 2012, Grenoble, France, June 4–6, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-30781-2/pbk). Lecture Notes in Computer Science 7314, 212-226 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Dexter Kozen’s influence on the theory of labelled Markov processes. (English) Zbl 1354.68010

Constable, Robert L. (ed.) et al., Logic and program semantics. Essays dedicated to Dexter Kozen on the occasion of his 60th birthday. Berlin: Springer (ISBN 978-3-642-29484-6/pbk). Lecture Notes in Computer Science 7230, 334-337 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Time series prediction by artificial neural networks and differential evolution in distributed environment. (English) Zbl 1354.68219

Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 8th international conference, LSSC 2011, Sozopol, Bulgaria, June 6–10, 2011. Revised selected papers. Berlin: Springer (ISBN 978-3-642-29842-4/pbk). Lecture Notes in Computer Science 7116, 198-205 (2012).
PDFBibTeX XMLCite
Full Text: DOI

On the complexity of computing probabilistic bisimilarity. (English) Zbl 1352.68096

Birkedal, Lars (ed.), Foundations of software science and computational structures. 15th international conference, FOSSACS 2012, held as part of the European joint conferences on theory and practice of software, ETAPS 2012, Tallinn, Estonia, March 24 – April 1, 2012. Proceedings. Berlin: Springer (ISBN 978-3-642-28728-2/pbk). Lecture Notes in Computer Science 7213, 437-451 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Dynamic multirole session types. (English) Zbl 1284.68049

Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’11, Austin, TX, USA, January 26–28, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0490-0). 435-446 (2011).
PDFBibTeX XMLCite
Full Text: DOI

Carrying probabilities to the infinite world. (English) Zbl 1343.68149

Katoen, Joost-Pieter (ed.) et al., CONCUR 2011 – concurrency theory. 22nd international conference, CONCUR 2011, Aachen, Germany, September 6–9, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-23216-9/pbk). Lecture Notes in Computer Science 6901, 1-16 (2011).
PDFBibTeX XMLCite
Full Text: DOI

On parametric steady state analysis of a generalized stochastic Petri net with a fork-join subnet. (English) Zbl 1330.68193

Kristensen, Lars M. (ed.) et al., Applications and theory of Petri nets. 32nd international conference, PETRI NETS 2011, Newcastle, UK, June 20–24, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-21833-0/pbk). Lecture Notes in Computer Science 6709, 268-287 (2011).
MSC:  68Q85 60J28 68Q87
PDFBibTeX XMLCite
Full Text: DOI

Towards measurable types for dynamical process modeling languages. (English) Zbl 1342.68199

Mislove, Michael (ed.) et al., Proceedings of the 26th conference on the mathematical foundations of programming semantics (MFPS 2010), Ottawa, Canada, May 6–10, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 265, 123-144 (2010).
PDFBibTeX XMLCite
Full Text: DOI

Discrete load balancing is (almost) as easy as continuous load balancing. (English) Zbl 1315.68034

Proceedings of the 29th annual ACM SIGACT-SIGOPS symposium on principles of distributed computing, PODC ’10, Zurich, Switzerland, July 25–28, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-888-9). 346-354 (2010).
PDFBibTeX XMLCite
Full Text: DOI

The multiplicative power of consensus numbers. (English) Zbl 1315.68271

Proceedings of the 29th annual ACM SIGACT-SIGOPS symposium on principles of distributed computing, PODC ’10, Zurich, Switzerland, July 25–28, 2010. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-60558-888-9). 26-35 (2010).
MSC:  68W15 68M14 68M15
PDFBibTeX XMLCite
Full Text: DOI

Behavioural typing for objects and process calculi. Reprint of the 2001 hardback ed. (English) Zbl 1253.68248

Bowman, Howard (ed.) et al., Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). 281-301 (2010).
MSC:  68Q85 68N19
PDFBibTeX XMLCite

Mobile ambients. Reprint of the 2001 hardback ed. (English) Zbl 1253.68238

Bowman, Howard (ed.) et al., Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press (ISBN 978-0-521-16875-5/pbk). 198-229 (2010).
MSC:  68Q85 68M10
PDFBibTeX XMLCite

A language for biochemical systems: design and formal specification. (English) Zbl 1275.92020

Priami, Corrado (ed.) et al., Transactions on Computational Systems Biology XII. Special issue on modeling methodologies. Berlin: Springer (ISBN 978-3-642-11711-4/pbk). Lecture Notes in Computer Science 5945. Lecture Notes in Bioinformatics. Journal Subline, 77-145 (2010).
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

Embodied strategies in mathematical cognition. (English) Zbl 1201.91172

Löwe, Benedikt (ed.) et al., PhiMSAMP. Philosophy of Mathematics: Sociological aspects and mathematical practice. Including selected papers of the 3rd PhiMSAMP conference ‘Is mathematics special?’, Vienna, Austria, 2008. London: College Publications (ISBN 978-1-904987-95-6/pbk). Texts in Philosophy 11, 179-196 (2010).
MSC:  91E10 00A30 97C30
PDFBibTeX XMLCite

A geometric approach to the problem of unique decomposition of processes. (English) Zbl 1287.68119

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, 132-146 (2010).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI arXiv

Petri nets with localities and testing. (English) Zbl 1285.68106

Lilius, Johan (ed.) et al., Applications and theory of Petri nets. 31st international conference, PETRI NETS 2010, Braga, Portugal, June 21–25, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13674-0/pbk). Lecture Notes in Computer Science 6128, 19-38 (2010).
MSC:  68Q85
PDFBibTeX XMLCite
Full Text: DOI

MarCaSPiS: a Markovian extension of a calculus for services. (English) Zbl 1339.68157

Hennessy, Matthew (ed.) et al., Proceedings of the 5th workshop on structural operational semantics (SOS 2008), Reykjavik, Iceland, July 6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 4, 11-26 (2009).
PDFBibTeX XMLCite
Full Text: DOI

On the unification of process semantics: equational semantics. (English) Zbl 1337.68180

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, 243-267 (2009).
MSC:  68Q85 68Q55
PDFBibTeX XMLCite
Full Text: DOI

Normed processes, unique decomposition, and complexity of bisimulation equivalences. (English) Zbl 1347.68264

Habermehl, P. (ed.) et al., Proceedings of the 8th, 9th, and 10th international workshops on verification of infinite-state systems (INFINITY 2006, 2007, 2008), Bonn, Germany, August 26, 2006, Lisbon, Portugal, September 8, 2007, Toronto, Canada, August 23, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 239, 17-42 (2009).
MSC:  68Q85 68Q42
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

all top 5

Author

all top 5

Year of Publication

all top 3

Main Field

Biographic Reference

all top 3

Software