Cooper, Colin; Radzik, Tomasz; Shiraga, Takeharu 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 \textit{C. Cooper} et al., in: 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; Zbl 07824335) Full Text: DOI arXiv
Berenbrink, Petra; Cooper, Colin; Gava, Cristina; Marzagão, David Kohan; Mallmann-Trenn, Frederik; Radzik, Tomasz; Rivera, Nicolas 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 \textit{P. Berenbrink} et al., in: 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; Zbl 07824328) Full Text: DOI arXiv
Imbs, Damien; Raynal, Michel; Taubenfeld, Gadi 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 \textit{D. Imbs} et al., Lect. Notes Comput. Sci. 13298, 174--190 (2022; Zbl 07615857) Full Text: DOI arXiv
Allamigeon, Xavier; Boyet, Marin; Gaubert, Stéphane 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 \textit{X. Allamigeon} et al., Lect. Notes Comput. Sci. 13288, 90--112 (2022; Zbl 1499.68215) Full Text: DOI arXiv
Maor, Liat; Taubenfeld, Gadi 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 \textit{L. Maor} and \textit{G. Taubenfeld}, LIPIcs -- Leibniz Int. Proc. Inform. 209, Article 30, 16 p. (2021; Zbl 07774281) Full Text: DOI
Bouyer, Patricia; Oualhadj, Youssouf; Randour, Mickael; Vandenhove, Pierre 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 \textit{P. Bouyer} et al., LIPIcs -- Leibniz Int. Proc. Inform. 203, Article 26, 18 p. (2021; Zbl 07730628) Full Text: DOI arXiv
Mayr, Richard; Munday, Eric 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 \textit{R. Mayr} and \textit{E. Munday}, LIPIcs -- Leibniz Int. Proc. Inform. 203, Article 12, 15 p. (2021; Zbl 07730614) Full Text: DOI arXiv
Kiefer, Stefan; Mayr, Richard; Shirmohammadi, Mahsa; Totzke, Patrick 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 \textit{S. Kiefer} et al., LIPIcs -- Leibniz Int. Proc. Inform. 203, Article 11, 15 p. (2021; Zbl 07730613) Full Text: DOI arXiv
Kiefer, Stefan; Semukhin, Pavel; Widdershoven, Cas 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 \textit{S. Kiefer} et al., LIPIcs -- Leibniz Int. Proc. Inform. 203, Article 6, 16 p. (2021; Zbl 07730608) Full Text: DOI arXiv
Ngondi, Gerard Ekembe; Koutavas, Vasileios; Butterfield, Andrew 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 \textit{G. E. Ngondi} et al., Lect. Notes Comput. Sci. 13085, 243--261 (2021; Zbl 1522.68368) Full Text: DOI
Albouy, Timothé; Frey, Davide; Raynal, Michel; Taïani, François 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 \textit{T. Albouy} et al., Lect. Notes Comput. Sci. 13046, 21--33 (2021; Zbl 1521.68017) Full Text: DOI
Bernardo, Marco; Mezzina, Claudio Antares 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 \textit{M. Bernardo} and \textit{C. A. Mezzina}, Lect. Notes Comput. Sci. 12136, 22--38 (2020; Zbl 1511.68179) Full Text: DOI
Funke, Florian; Jantsch, Simon; Baier, Christel 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). MSC: 68Q60 68Q17 68Q85 90C40 PDFBibTeX XMLCite \textit{F. Funke} et al., Lect. Notes Comput. Sci. 12078, 324--345 (2020; Zbl 1507.68187) Full Text: DOI arXiv
Kiefer, Stefan; Mayr, Richard; Shirmohammadi, Mahsa; Totzke, Patrick 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 \textit{S. Kiefer} et al., LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 39, 17 p. (2020; Zbl 07559495) Full Text: DOI arXiv
Buchholz, Peter; Scheftelowitsch, Dimitri 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). MSC: 68M20 68Q85 90C10 90C40 90C59 PDFBibTeX XMLCite \textit{P. Buchholz} and \textit{D. Scheftelowitsch}, Lect. Notes Comput. Sci. 12040, 37--53 (2020; Zbl 1484.68032) Full Text: DOI
Fahland, Dirk Describing behavior of processes with many-to-many interactions. (English) Zbl 07796208 Donatelli, Susanna (ed.) et al., Application and theory of Petri nets and concurrency. 40th international conference, PETRI NETS 2019, Aachen, Germany, June 23–28, 2019, Proceeding. Cham: Springer. Lect. Notes Comput. Sci. 11522, 3-24 (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Fahland}, Lect. Notes Comput. Sci. 11522, 3--24 (2019; Zbl 07796208) Full Text: DOI
Guerraoui, Rachid; Kuznetsov, Petr; Monti, Matteo; Pavlovic, Matej; Seredinschi, Dragos-Adrian 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 \textit{R. Guerraoui} et al., LIPIcs -- Leibniz Int. Proc. Inform. 146, Article 22, 16 p. (2019; Zbl 1515.68066) Full Text: DOI
Winkler, Tobias; Junges, Sebastian; Pérez, Guillermo A.; Katoen, Joost-Pieter 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 \textit{T. Winkler} et al., LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 14, 17 p. (2019; Zbl 07649922) Full Text: DOI arXiv
Brihaye, Thomas; Delgrange, Florent; Oualhadj, Youssouf; Randour, Mickael 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 \textit{T. Brihaye} et al., LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 8, 18 p. (2019; Zbl 07649916) Full Text: DOI
Křetínský, Jan; Meggendorfer, Tobias 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 \textit{J. Křetínský} and \textit{T. Meggendorfer}, LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 5, 17 p. (2019; Zbl 07649913) Full Text: DOI
Sharma, Arpit 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). MSC: 68Q85 03B44 60J20 68Q87 PDFBibTeX XMLCite \textit{A. Sharma}, Lect. Notes Comput. Sci. 11884, 41--58 (2019; Zbl 1464.68262) Full Text: DOI
Chonev, Ventsislav Reachability in augmented interval Markov chains. (English) Zbl 07121138 Filiot, Emmanuel (ed.) et al., Reachability problems. 13th international conference, RP 2019, Brussels, Belgium, September 11–13, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11674, 79-92 (2019). MSC: 68Q85 68Q17 68Q25 90C40 PDFBibTeX XMLCite \textit{V. Chonev}, Lect. Notes Comput. Sci. 11674, 79--92 (2019; Zbl 07121138) Full Text: DOI arXiv
Piho, Paul; Hillston, Jane Policy synthesis for collective dynamics. (English) Zbl 1514.68179 McIver, Annabelle (ed.) et al., Quantitative evaluation of systems. 15th international conference, QEST 2018, Beijing, China, September 4–7, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11024, 356-372 (2018). MSC: 68Q85 60J28 68Q87 90C40 93A16 PDFBibTeX XMLCite \textit{P. Piho} and \textit{J. Hillston}, Lect. Notes Comput. Sci. 11024, 356--372 (2018; Zbl 1514.68179) Full Text: DOI
Függer, Matthias; Nowak, Thomas 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). MSC: 68M14 68M15 68W15 68W40 PDFBibTeX XMLCite \textit{M. Függer} and \textit{T. Nowak}, LIPIcs -- Leibniz Int. Proc. Inform. 121, Article 27, 16 p. (2018; Zbl 1497.68045) Full Text: DOI arXiv
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu 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). MSC: 68Q85 03B70 60J10 68Q87 PDFBibTeX XMLCite \textit{G. Bacci} et al., Electron. Notes Theor. Comput. Sci. 336, 27--39 (2018; Zbl 1525.68080) Full Text: DOI
Deng, Yuxin 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 \textit{Y. Deng}, LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 2, 14 p. (2018; Zbl 1520.68093) Full Text: DOI
Dudek, Bartłomiej; Kosowski, Adrian 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 \textit{B. Dudek} and \textit{A. Kosowski}, in: 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; Zbl 1428.68064) Full Text: DOI arXiv
Le Roux, Stéphane; Pérez, Guillermo A. 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 \textit{S. Le Roux} and \textit{G. A. Pérez}, Lect. Notes Comput. Sci. 10803, 367--383 (2018; Zbl 1504.68144) Full Text: DOI arXiv
Turau, Volker 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). MSC: 68W15 05C15 05C85 60J20 PDFBibTeX XMLCite \textit{V. Turau}, Lect. Notes Comput. Sci. 10616, 62--77 (2017; Zbl 1498.68373) Full Text: DOI
Hashemi, Vahid; Turrini, Andrea; Hahn, Ernst Moritz; Hermanns, Holger; Elbassioni, Khaled 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). MSC: 68Q85 68Q25 68Q87 90C40 PDFBibTeX XMLCite \textit{V. Hashemi} et al., Lect. Notes Comput. Sci. 10606, 25--41 (2017; Zbl 1498.68187) Full Text: DOI
Biagi, Marco; Carnevali, Laura; Paolieri, Marco; Papini, Tommaso; Vicario, Enrico 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 \textit{M. Biagi} et al., Lect. Notes Comput. Sci. 10503, 20--35 (2017; Zbl 1420.68143) Full Text: DOI
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
Bian, Gaoang; Abate, Alessandro 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 \textit{G. Bian} and \textit{A. Abate}, Lect. Notes Comput. Sci. 10203, 321--337 (2017; Zbl 1486.68108) Full Text: DOI arXiv
Xu, Xian 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 \textit{X. Xu}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 222, 15--29 (2016; Zbl 1478.68196) Full Text: arXiv Link
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu 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). MSC: 68Q85 03B70 60J10 68Q87 PDFBibTeX XMLCite \textit{G. Bacci} et al., LIPIcs -- Leibniz Int. Proc. Inform. 59, Article 21, 14 p. (2016; Zbl 1392.68282) Full Text: DOI
Daca, Przemysław; Henzinger, Thomas A.; Krětínský, Jan; Petrov, Tatjana 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). MSC: 68Q85 60J10 68Q60 68Q87 PDFBibTeX XMLCite \textit{P. Daca} et al., LIPIcs -- Leibniz Int. Proc. Inform. 59, Article 20, 15 p. (2016; Zbl 1392.68293) Full Text: DOI arXiv
Jančar, Petr 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). MSC: 68Q85 03B25 68Q42 68Q45 PDFBibTeX XMLCite \textit{P. Jančar}, LIPIcs -- Leibniz Int. Proc. Inform. 58, Article 52, 13 p. (2016; Zbl 1398.68367) Full Text: DOI arXiv
D’Argenio, Pedro R.; Lee, Matias David; Monti, Raúl E. 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 \textit{P. R. D'Argenio} et al., Lect. Notes Comput. Sci. 9884, 53--68 (2016; Zbl 1433.68246) Full Text: DOI
Bouyer, Patricia; Markey, Nicolas; Randour, Mickael; Sangnier, Arnaud; Stan, Daniel 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 \textit{P. Bouyer} et al., LIPIcs -- Leibniz Int. Proc. Inform. 55, Article 106, 14 p. (2016; Zbl 1388.68195) Full Text: DOI arXiv
Bouzid, Zohir; Raynal, Michel; Sutra, Pierre 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 \textit{Z. Bouzid} et al., LIPIcs -- Leibniz Int. Proc. Inform. 46, Article 18, 17 p. (2016; Zbl 1380.68038) Full Text: DOI arXiv
Cooper, Colin; Radzik, Tomasz; Rivera, Nicolas 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). MSC: 68R10 05C81 68M12 68M14 68Q25 68Q87 PDFBibTeX XMLCite \textit{C. Cooper} et al., in: Proceedings of the 35th ACM symposium on principles of distributed computing, PODC '16, Chicago, IL, USA, July 25--28, 2016. New York, NY: Association for Computing Machinery (ACM). 461--467 (2016; Zbl 1376.68105) Full Text: DOI arXiv
Cannon, Sarah; Daymude, Joshua J.; Randall, Dana; Richa, Andréa W. 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). MSC: 68W15 60J20 68Q10 68U05 PDFBibTeX XMLCite \textit{S. Cannon} et al., in: Proceedings of the 35th ACM symposium on principles of distributed computing, PODC '16, Chicago, IL, USA, July 25--28, 2016. New York, NY: Association for Computing Machinery (ACM). 279--288 (2016; Zbl 1375.68193) Full Text: DOI arXiv
Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea 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). MSC: 68Q85 60J28 68Q60 68W30 92C42 92E20 PDFBibTeX XMLCite \textit{L. Cardelli} et al., in: 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). 137--150 (2016; Zbl 1347.68258) Full Text: DOI Link
Emzivat, Yrvann; Delahaye, Benoît; Lime, Didier; Roux, Olivier H. 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 \textit{Y. Emzivat} et al., Lect. Notes Comput. Sci. 9698, 261--280 (2016; Zbl 1346.68131) Full Text: DOI
Fijalkow, Nathanaël; Kiefer, Stefan; Shirmohammadi, Mahsa 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 \textit{N. Fijalkow} et al., Lect. Notes Comput. Sci. 9634, 303--318 (2016; Zbl 1475.68203) Full Text: DOI arXiv
Horváth, Kristóf Attila; Telek, Miklós 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 \textit{K. A. Horváth} and \textit{M. Telek}, Lect. Notes Comput. Sci. 9081, 115--129 (2015; Zbl 1392.68098) Full Text: DOI
Brázdil, Tomáš; Kiefer, Stefan; Kučera, Antonín; Novotný, Petr 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 \textit{T. Brázdil} et al., in: 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. 44--55 (2015; Zbl 1392.68284) Full Text: DOI arXiv Link
Soudjani, Sadegh Esmaeil Zadeh; Abate, Alessandro; Majumdar, Rupak 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). MSC: 68Q60 60J05 60J10 68Q85 68Q87 PDFBibTeX XMLCite \textit{S. E. Z. Soudjani} et al., LIPIcs -- Leibniz Int. Proc. Inform. 42, 169--183 (2015; Zbl 1374.68301) Full Text: DOI
Ribeiro, Pedro; Cavalcanti, Ana Angelicism in the theory of reactive processes. (English) Zbl 1457.68067 Naumann, David, Unifying theories of programming. 5th international symposium, UTP 2014, Singapore, May 13, 2014. Revised selected papers. Berlin: Springer. Lect. Notes Comput. Sci. 8963, 42-61 (2015). MSC: 68N30 68Q10 68Q85 PDFBibTeX XMLCite \textit{P. Ribeiro} and \textit{A. Cavalcanti}, Lect. Notes Comput. Sci. 8963, 42--61 (2015; Zbl 1457.68067) Full Text: DOI
Dubslaff, Clemens; Baier, Christel 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). MSC: 68Q85 60J28 68M14 68M20 68Q87 PDFBibTeX XMLCite \textit{C. Dubslaff} and \textit{C. Baier}, Lect. Notes Comput. Sci. 9268, 76--92 (2015; Zbl 1465.68194) Full Text: DOI
Saha, Ratul; Esparza, Javier; Jha, Sumit Kumar; Mukund, Madhavan; Thiagarajan, P. S. 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). MSC: 68Q60 60J10 68Q85 68Q87 PDFBibTeX XMLCite \textit{R. Saha} et al., Lect. Notes Comput. Sci. 8931, 117--134 (2015; Zbl 1432.68266) Full Text: DOI arXiv
Bernardo, Marco; Sangiorgi, Davide; Vignudelli, Valeria 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). MSC: 68Q85 03B70 68N18 68Q60 PDFBibTeX XMLCite \textit{M. Bernardo} et al., in: 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. Paper No. 14, 10 p. (2014; Zbl 1392.68283) Full Text: DOI
Sato, Tetsuya 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). MSC: 68Q85 06A06 18C15 60J20 68Q87 PDFBibTeX XMLCite \textit{T. Sato}, Electron. Notes Theor. Comput. Sci. 308, 309--327 (2014; Zbl 1337.68192) Full Text: DOI
Kozen, Dexter; Mardare, Radu; Panangaden, Prakash 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). MSC: 68Q85 03B45 03G25 60J25 68Q87 68T37 PDFBibTeX XMLCite \textit{D. Kozen} et al., Electron. Notes Theor. Comput. Sci. 308, 211--227 (2014; Zbl 1337.68186) Full Text: DOI
Gouberman, Alexander; Siegle, Markus 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 \textit{A. Gouberman} and \textit{M. Siegle}, Lect. Notes Comput. Sci. 8453, 156--241 (2014; Zbl 1426.68190) Full Text: DOI
Arnold, Florian; Gebler, Daniel; Guck, Dennis; Hatefi, Hassan 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 \textit{F. Arnold} et al., Lect. Notes Comput. Sci. 8453, 26--66 (2014; Zbl 1426.68187) Full Text: DOI
Beccuti, Marco; Bibbona, Enrico; Horvath, Andras; Sirovich, Roberta; Angius, Alessio; Balbo, Gianfranco 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). MSC: 68Q85 60H10 60J28 68Q87 PDFBibTeX XMLCite \textit{M. Beccuti} et al., Lect. Notes Comput. Sci. 8489, 273--293 (2014; Zbl 1410.68247) Full Text: DOI arXiv
Baier, Christel; Dubslaff, Clemens; Klüppelholz, Sascha; Leuschner, Linda 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). MSC: 68Q60 60J20 68M20 68Q85 68Q87 PDFBibTeX XMLCite \textit{C. Baier} et al., Lect. Notes Comput. Sci. 8489, 20--39 (2014; Zbl 1407.68280) Full Text: DOI
Ferns, Norm; Precup, Doina; Knight, Sophia 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 \textit{N. Ferns} et al., Lect. Notes Comput. Sci. 8464, 319--342 (2014; Zbl 1408.68100) Full Text: DOI
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
Baier, Christel; Dubslaff, Clemens; Klein, Joachim; Klüppelholz, Sascha; Wunderlich, Sascha 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). MSC: 68Q60 60J20 60J25 68M20 68Q85 68Q87 PDFBibTeX XMLCite \textit{C. Baier} et al., Lect. Notes Comput. Sci. 8464, 96--123 (2014; Zbl 1407.68279) Full Text: DOI
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim Guldstrand; Mardare, Radu 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). MSC: 68Q85 18B99 60J25 68Q87 PDFBibTeX XMLCite \textit{G. Bacci} et al., Lect. Notes Comput. Sci. 8464, 76--95 (2014; Zbl 1407.68327) Full Text: DOI
Bonnet, Rémi; Kiefer, Stefan; Lin, Anthony Widjaja 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). MSC: 68Q85 60J20 68Q25 68Q87 PDFBibTeX XMLCite \textit{R. Bonnet} et al., Lect. Notes Comput. Sci. 8412, 43--57 (2014; Zbl 1405.68208) Full Text: DOI arXiv
Xu, Xian On context bisimulation for parameterized higher-order processes. (English) Zbl 1464.68270 Carbone, Marco (ed.) et al., Proceedings of the 6th interaction and concurrency experience workshop, ICE’13, Florence, Italy, June 6, 2013. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 131, 37-51 (2013). MSC: 68Q85 PDFBibTeX XMLCite \textit{X. Xu}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 131, 37--51 (2013; Zbl 1464.68270) Full Text: arXiv Link
Reynolds, Andy 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 \textit{A. Reynolds}, Lect. Notes Math. 2071, 53--76 (2013; Zbl 1347.92116) Full Text: DOI
Zhou, Chunlai 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). MSC: 68Q85 03B70 60J20 68Q87 PDFBibTeX XMLCite \textit{C. Zhou}, Electron. Notes Theor. Comput. Sci. 298, 427--440 (2013; Zbl 1334.68158) Full Text: DOI
Hatefi, Hassan; Hermanns, Holger 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). MSC: 68Q87 60J20 68Q85 68W25 PDFBibTeX XMLCite \textit{H. Hatefi} and \textit{H. Hermanns}, Lect. Notes Comput. Sci. 8161, 250--266 (2013; Zbl 1434.68337) Full Text: DOI
Zhu, Ji; Ioannidis, Stratis; Hegde, Nidhi; Massoulie, Laurent 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). MSC: 68M12 60J28 68M14 68Q17 68Q87 68W15 PDFBibTeX XMLCite \textit{J. Zhu} et al., in: Proceedings of the 32nd ACM symposium on principles of distributed computing, PODC '13, Montreal, QC, Canada, July 22--24, 2013. New York, NY: Association for Computing Machinery (ACM). 260--269 (2013; Zbl 1323.68024) Full Text: DOI
Ying, Shenggang; Feng, Yuan; Yu, Nengkun; Ying, Mingsheng 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). MSC: 68Q60 60J10 68Q12 68Q85 68Q87 81P68 81S25 PDFBibTeX XMLCite \textit{S. Ying} et al., Lect. Notes Comput. Sci. 8052, 334--348 (2013; Zbl 1390.68444) Full Text: DOI arXiv
Kleijn, Jetty; Koutny, Maciej Causality in extensions of Petri nets. (English) Zbl 1382.68150 Jensen, Kurt (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency VII. Berlin: Springer (ISBN 978-3-642-38142-3/pbk). Lecture Notes in Computer Science 7480. Journal Subline, 225-254 (2013). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{J. Kleijn} and \textit{M. Koutny}, Lect. Notes Comput. Sci. 7480, 225--254 (2013; Zbl 1382.68150) Full Text: DOI
Sharma, Arpit; Katoen, Joost-Pieter 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). MSC: 68Q85 60J28 68Q45 68Q60 68Q87 PDFBibTeX XMLCite \textit{A. Sharma} and \textit{J.-P. Katoen}, Lect. Notes Comput. Sci. 7162, 322--339 (2012; Zbl 1336.68186) Full Text: DOI
Akbari, Hoda; Berenbrink, Petra; Sauerwald, Thomas 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). MSC: 68M14 05C21 05C85 60J20 68Q25 68Q87 68R10 PDFBibTeX XMLCite \textit{H. Akbari} et al., in: Proceedings of the 31st ACM symposium on principles of distributed computing, PODC '12, Funchal, Portugal, July 16--18, 2012. New York, NY: Association for Computing Machinery (ACM). 271--280 (2012; Zbl 1301.68050) Full Text: DOI Link
Clementi, Andrea; Silvestri, Riccardo; Trevisan, Luca 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). MSC: 68R10 60J20 68M14 68Q87 68W15 PDFBibTeX XMLCite \textit{A. Clementi} et al., in: Proceedings of the 31st ACM symposium on principles of distributed computing, PODC '12, Funchal, Portugal, July 16--18, 2012. New York, NY: Association for Computing Machinery (ACM). 37--46 (2012; Zbl 1301.68200) Full Text: DOI arXiv
Chechkin, Aleksei; Sokolov, Igor M.; Klafter, Joseph 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 \textit{A. Chechkin} et al., in: Fractional dynamics. Recent advances. Hackensack, NJ: World Scientific. 107--127 (2012; Zbl 1297.35267) Full Text: DOI
Fu, Hongfei Computing game metrics on Markov decision processes. (English) Zbl 1369.68262 Czumaj, Artur (ed.) et al., Automata, languages, and programming. 39th international colloquium, ICALP 2012, Coventry, UK, July 9–13, 2012. Proceedings, Part II. Berlin: Springer (ISBN 978-3-642-31584-8/pbk). Lecture Notes in Computer Science 7392, 227-238 (2012). MSC: 68Q85 68Q25 68Q87 PDFBibTeX XMLCite \textit{H. Fu}, Lect. Notes Comput. Sci. 7392, 227--238 (2012; Zbl 1369.68262) Full Text: DOI
Larsen, Kim Guldstrand; Mardare, Radu; Panangaden, Prakash 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). MSC: 68Q85 60J99 68Q87 68T37 PDFBibTeX XMLCite \textit{K. G. Larsen} et al., Lect. Notes Comput. Sci. 7464, 681--692 (2012; Zbl 1365.68344) Full Text: DOI
Bacci, Giorgio; Miculan, Marino 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). MSC: 68Q85 60J05 68Q55 68Q87 PDFBibTeX XMLCite \textit{G. Bacci} and \textit{M. Miculan}, Lect. Notes Comput. Sci. 7399, 71--89 (2012; Zbl 1328.68135) Full Text: DOI
Mailund, Thomas; Halager, Anders E.; Westergaard, Michael 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). MSC: 92D15 62M02 68Q85 92D10 92D20 PDFBibTeX XMLCite \textit{T. Mailund} et al., Lect. Notes Comput. Sci. 7347, 32--50 (2012; Zbl 1358.92069) Full Text: DOI
Balsamo, Simonetta; Dei Rossi, Gian-Luca; Marin, Andrea 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). MSC: 68M20 60J28 68Q85 68Q87 PDFBibTeX XMLCite \textit{S. Balsamo} et al., Lect. Notes Comput. Sci. 7314, 212--226 (2012; Zbl 1356.68021) Full Text: DOI
Panangaden, Prakash 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). MSC: 68-03 01A70 60J05 68Q85 68Q87 PDFBibTeX XMLCite \textit{P. Panangaden}, Lect. Notes Comput. Sci. 7230, 334--337 (2012; Zbl 1354.68010) Full Text: DOI
Balabanov, Todor; Zankinski, Iliyan; Dobrinkova, Nina 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). MSC: 68T05 62M10 62M20 90C59 PDFBibTeX XMLCite \textit{T. Balabanov} et al., Lect. Notes Comput. Sci. 7116, 198--205 (2012; Zbl 1354.68219) Full Text: DOI
Chen, Di; van Breugel, Franck; Worrell, James 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). MSC: 68Q25 60J20 68Q85 68Q87 PDFBibTeX XMLCite \textit{D. Chen} et al., Lect. Notes Comput. Sci. 7213, 437--451 (2012; Zbl 1352.68096) Full Text: DOI
Deniélou, Pierre-Malo; Yoshida, Nobuko 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). MSC: 68M10 68M12 68Q85 68M20 PDFBibTeX XMLCite \textit{P.-M. Deniélou} and \textit{N. Yoshida}, in: 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). 435--446 (2011; Zbl 1284.68049) Full Text: DOI
Fu, Hongfei Model checking EGF on basic parallel processes. (English) Zbl 1348.68138 Bultan, Tevfik (ed.) et al., Automated technology for verification and analysis. 9th international symposium, ATVA 2011, Taipei, Taiwan, October 11–14, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-24371-4/pbk). Lecture Notes in Computer Science 6996, 120-134 (2011). MSC: 68Q60 68Q17 68Q85 PDFBibTeX XMLCite \textit{H. Fu}, Lect. Notes Comput. Sci. 6996, 120--134 (2011; Zbl 1348.68138) Full Text: DOI
Abdulla, Parosh Aziz 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). MSC: 68Q60 60J20 68Q85 68Q87 PDFBibTeX XMLCite \textit{P. A. Abdulla}, Lect. Notes Comput. Sci. 6901, 1--16 (2011; Zbl 1343.68149) Full Text: DOI
Billington, Jonathan; Gallasch, Guy Edward 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 \textit{J. Billington} and \textit{G. E. Gallasch}, Lect. Notes Comput. Sci. 6709, 268--287 (2011; Zbl 1330.68193) Full Text: DOI
Mjolsness, Eric 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). MSC: 68Q55 35Q68 68Q42 68Q85 68Q87 92C42 PDFBibTeX XMLCite \textit{E. Mjolsness}, Electron. Notes Theor. Comput. Sci. 265, 123--144 (2010; Zbl 1342.68199) Full Text: DOI
Elsässer, Robert; Sauerwald, Thomas 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). MSC: 68M20 05C81 60J20 68M14 68Q25 68R10 68W15 68W20 PDFBibTeX XMLCite \textit{R. Elsässer} and \textit{T. Sauerwald}, in: 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). 346--354 (2010; Zbl 1315.68034) Full Text: DOI
Imbs, Damien; Raynal, Michel 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 \textit{D. Imbs} and \textit{M. Raynal}, in: 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). 26--35 (2010; Zbl 1315.68271) Full Text: DOI
Najm, Elie; Nimour, Abdelkrim; Stefani, Jean-Bernard 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 \textit{E. Najm} et al., in: Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press. 281--301 (2010; Zbl 1253.68248)
Cardelli, Luca; Gordon, Andrew D. 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 \textit{L. Cardelli} and \textit{A. D. Gordon}, in: Formal methods for distributed processing. A survey of object-oriented approaches. Cambridge: Cambridge University Press. 198--229 (2010; Zbl 1253.68238)
Pedersen, Michael; Plotkin, Gordon D. 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). MSC: 92C40 60J28 68Q85 92C42 PDFBibTeX XMLCite \textit{M. Pedersen} and \textit{G. D. Plotkin}, Lect. Notes Comput. Sci. 5945, 77--145 (2010; Zbl 1275.92020) Full Text: DOI
Hermanns, Holger; Katoen, Joost-Pieter 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 \textit{H. Hermanns} and \textit{J.-P. Katoen}, Lect. Notes Comput. Sci. 6286, 311--337 (2010; Zbl 1312.68152) Full Text: DOI Link
Johansen, Mikkel Willum 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 \textit{M. W. Johansen}, Texts Philos. 11, 179--196 (2010; Zbl 1201.91172)
Balabonski, Thibaut; Haucourt, Emmanuel 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 \textit{T. Balabonski} and \textit{E. Haucourt}, Lect. Notes Comput. Sci. 6269, 132--146 (2010; Zbl 1287.68119) Full Text: DOI arXiv
Kleijn, Jetty; Koutny, Maciej 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 \textit{J. Kleijn} and \textit{M. Koutny}, Lect. Notes Comput. Sci. 6128, 19--38 (2010; Zbl 1285.68106) Full Text: DOI
De Nicola, Rocco; Latella, Diego; Loreti, Michele; Massink, Mieke 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). MSC: 68Q55 60J28 68N30 68Q85 68Q87 PDFBibTeX XMLCite \textit{R. De Nicola} et al., Electron. Notes Theor. Comput. Sci. 229, No. 4, 11--26 (2009; Zbl 1339.68157) Full Text: DOI
Escrig, David de Frutos; Rodríguez, Carlos Gregorio; Palomino, Miguel 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 \textit{D. de F. Escrig} et al., Electron. Notes Theor. Comput. Sci. 249, 243--267 (2009; Zbl 1337.68180) Full Text: DOI
Falcão, Flávia; Iyoda, Juliano; Sampaio, Augusto Multiple synchrony in MSC. (English) Zbl 1347.68263 Machado, Patricia D. L. (ed.), Proceedings of the 11th Brazilian symposium on formal methods (SBMF 2008) Salvador, Brazil, August 26–29, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 240, 149-166 (2009). MSC: 68Q85 68Q55 68Q60 PDFBibTeX XMLCite \textit{F. Falcão} et al., Electron. Notes Theor. Comput. Sci. 240, 149--166 (2009; Zbl 1347.68263) Full Text: DOI
Fröschle, Sibylle; Lasota, Sławomir 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 \textit{S. Fröschle} and \textit{S. Lasota}, Electron. Notes Theor. Comput. Sci. 239, 17--42 (2009; Zbl 1347.68264) Full Text: DOI