He, Kangli; Wu, Hengyang; Chen, Yixiang On divergence-sensitive weak probabilistic bisimilarity. (English) Zbl 07687220 Inf. Comput. 292, Article ID 105033, 15 p. (2023). MSC: 68Qxx PDF BibTeX XML Cite \textit{K. He} et al., Inf. Comput. 292, Article ID 105033, 15 p. (2023; Zbl 07687220) Full Text: DOI OpenURL
Nawab, Faisal; Sadoghi, Mohammad Consensus in data management: from distributed commit to blockchain. (English) Zbl 07670288 Found. Trends Databases 12, No. 4, 221-364 (2023). MSC: 68P15 PDF BibTeX XML Cite \textit{F. Nawab} and \textit{M. Sadoghi}, Found. Trends Databases 12, No. 4, 221--364 (2023; Zbl 07670288) Full Text: DOI OpenURL
Demangeon, Romain; Yoshida, Nobuko Causal computational complexity of distributed processes. (English) Zbl 07641117 Inf. Comput. 290, Article ID 104998, 25 p. (2023). MSC: 68Qxx PDF BibTeX XML Cite \textit{R. Demangeon} and \textit{N. Yoshida}, Inf. Comput. 290, Article ID 104998, 25 p. (2023; Zbl 07641117) Full Text: DOI OpenURL
Kosiol, Jens; Taentzer, Gabriele A generalized concurrent rule construction for double-pushout rewriting: generalized concurrency theorem and language-preserving rule applications. (English) Zbl 07618121 J. Log. Algebr. Methods Program. 130, Article ID 100820, 35 p. (2023). MSC: 68-XX PDF BibTeX XML Cite \textit{J. Kosiol} and \textit{G. Taentzer}, J. Log. Algebr. Methods Program. 130, Article ID 100820, 35 p. (2023; Zbl 07618121) Full Text: DOI OpenURL
Raynal, Michel; Taubenfeld, Gadi Corrigendum to: “Mutual exclusion in fully anonymous shared memory systems”. (English) Zbl 1497.68049 Inf. Process. Lett. 179, Article ID 106304, 4 p. (2023). MSC: 68M14 PDF BibTeX XML Cite \textit{M. Raynal} and \textit{G. Taubenfeld}, Inf. Process. Lett. 179, Article ID 106304, 4 p. (2023; Zbl 1497.68049) Full Text: DOI OpenURL
Cailler, Julie; Rosain, Johann; Delahaye, David; Robillard, Simon; Bouziane, Hinde Lilia Goéland: a concurrent tableau-based theorem prover (system description). (English) Zbl 07628198 Blanchette, Jasmin (ed.) et al., Automated reasoning. 11th international joint conference, IJCAR 2022, Haifa, Israel, August 8–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13385, 359-368 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{J. Cailler} et al., Lect. Notes Comput. Sci. 13385, 359--368 (2022; Zbl 07628198) Full Text: DOI OpenURL
Ikeda, Takashi; Yuen, Shoji A reversible debugger for imperative parallel programs with contracts. (English) Zbl 07615951 Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 204-212 (2022). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{T. Ikeda} and \textit{S. Yuen}, Lect. Notes Comput. Sci. 13354, 204--212 (2022; Zbl 07615951) Full Text: DOI OpenURL
Aubert, Clément Concurrencies in reversible concurrent calculi. (English) Zbl 07615947 Mezzina, Claudio Antares (ed.) et al., Reversible computation. 14th international conference, RC 2022, Urbino, Italy, July 5–6, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13354, 146-163 (2022). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{C. Aubert}, Lect. Notes Comput. Sci. 13354, 146--163 (2022; Zbl 07615947) Full Text: DOI OpenURL
Aubert, Clément; Varacca, Daniele Processes against tests: on defining contextual equivalences. (English) Zbl 07595225 J. Log. Algebr. Methods Program. 129, Article ID 100799, 18 p. (2022). MSC: 68-XX PDF BibTeX XML Cite \textit{C. Aubert} and \textit{D. Varacca}, J. Log. Algebr. Methods Program. 129, Article ID 100799, 18 p. (2022; Zbl 07595225) Full Text: DOI arXiv OpenURL
Armas Cervantes, Abel; Taymouri, Farbod Discovering unseen behaviour from event logs. (English) Zbl 1499.68217 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, 23-42 (2022). MSC: 68Q85 PDF BibTeX XML Cite \textit{A. Armas Cervantes} and \textit{F. Taymouri}, Lect. Notes Comput. Sci. 13288, 23--42 (2022; Zbl 1499.68217) Full Text: DOI OpenURL
Kastberg Hinrichsen, Jonas; Bengtson, Jesper; Krebbers, Robbert Actris 2.0: asynchronous session-type based reasoning in separation logic. (English) Zbl 07566072 Log. Methods Comput. Sci. 18, No. 2, Paper No. 16, 64 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{J. Kastberg Hinrichsen} et al., Log. Methods Comput. Sci. 18, No. 2, Paper No. 16, 64 p. (2022; Zbl 07566072) Full Text: arXiv Link OpenURL
Plyukhin, Dan; Agha, Gul A scalable algorithm for decentralized actor termination detection. (English) Zbl 07566052 Log. Methods Comput. Sci. 18, No. 1, Paper No. 39, 35 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{D. Plyukhin} and \textit{G. Agha}, Log. Methods Comput. Sci. 18, No. 1, Paper No. 39, 35 p. (2022; Zbl 07566052) Full Text: arXiv Link OpenURL
Gupta, Varun; Zhang, Jiheng Approximations and optimal control for state-dependent limited processor sharing queues. (English) Zbl 1496.60113 Stoch. Syst. 12, No. 2, 205-225 (2022). Reviewer: Vyacheslav Abramov (Melbourne) MSC: 60K25 90B22 93E20 PDF BibTeX XML Cite \textit{V. Gupta} and \textit{J. Zhang}, Stoch. Syst. 12, No. 2, 205--225 (2022; Zbl 1496.60113) Full Text: DOI arXiv OpenURL
Siek, Konrad; Wojciechowski, Paweł T. Last-use opacity: a strong safety property for transactional memory with prerelease support. (English) Zbl 1489.68052 Distrib. Comput. 35, No. 3, 265-301 (2022). MSC: 68N19 68Q85 PDF BibTeX XML Cite \textit{K. Siek} and \textit{P. T. Wojciechowski}, Distrib. Comput. 35, No. 3, 265--301 (2022; Zbl 1489.68052) Full Text: DOI arXiv OpenURL
Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano Characterising spectra of equivalences for event structures, logically. (English) Zbl 1504.68138 Inf. Comput. 285, Part B, Article ID 104887, 25 p. (2022). MSC: 68Q85 03B45 PDF BibTeX XML Cite \textit{P. Baldan} et al., Inf. Comput. 285, Part B, Article ID 104887, 25 p. (2022; Zbl 1504.68138) Full Text: DOI OpenURL
Raynal, Michel; Taubenfeld, Gadi A visit to mutual exclusion in seven dates. (English) Zbl 07524439 Theor. Comput. Sci. 919, 47-65 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Raynal} and \textit{G. Taubenfeld}, Theor. Comput. Sci. 919, 47--65 (2022; Zbl 07524439) Full Text: DOI OpenURL
Peters, Kirstin; Nestmann, Uwe; Schmitt, Anna On distributability. (English) Zbl 1483.68236 Theor. Comput. Sci. 913, 151-173 (2022). MSC: 68Q85 68Q10 PDF BibTeX XML Cite \textit{K. Peters} et al., Theor. Comput. Sci. 913, 151--173 (2022; Zbl 1483.68236) Full Text: DOI OpenURL
Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano Behavioural logics for configuration structures. (English) Zbl 1483.68222 Theor. Comput. Sci. 913, 94-112 (2022). MSC: 68Q85 03B70 68Q55 PDF BibTeX XML Cite \textit{P. Baldan} et al., Theor. Comput. Sci. 913, 94--112 (2022; Zbl 1483.68222) Full Text: DOI OpenURL
Genitrini, Antoine; Pépin, Martin; Peschanski, Frédéric A quantitative study of fork-join processes with non-deterministic choice: application to the statistical exploration of the state-space. (English) Zbl 1483.68230 Theor. Comput. Sci. 912, 1-36 (2022). MSC: 68Q85 68R05 68W20 PDF BibTeX XML Cite \textit{A. Genitrini} et al., Theor. Comput. Sci. 912, 1--36 (2022; Zbl 1483.68230) Full Text: DOI Link OpenURL
Durand, Anaïs; Raynal, Michel; Taubenfeld, Gadi Contention-related crash failures: definitions, agreement algorithms, and impossibility results. (English) Zbl 07482356 Theor. Comput. Sci. 909, 76-86 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{A. Durand} et al., Theor. Comput. Sci. 909, 76--86 (2022; Zbl 07482356) Full Text: DOI OpenURL
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz Paradigms of concurrency. Observations, behaviours and systems – a Petri net view. (English) Zbl 1503.68008 Studies in Computational Intelligence 1020. Berlin: Springer (ISBN 978-3-662-64819-3/hbk; 978-3-662-64821-6/ebook). xii, 326 p. (2022). Reviewer: Martin Lange (Kassel) MSC: 68-02 68Q85 PDF BibTeX XML Cite \textit{R. Janicki} et al., Paradigms of concurrency. Observations, behaviours and systems -- a Petri net view. Berlin: Springer (2022; Zbl 1503.68008) Full Text: DOI OpenURL
Ahmed, Aishah; Koutny, Maciej; Pietkiewicz-Koutny, Marta Synthesising elementary net systems with localities. (English) Zbl 07477147 Theor. Comput. Sci. 908, 123-140 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{A. Ahmed} et al., Theor. Comput. Sci. 908, 123--140 (2022; Zbl 07477147) Full Text: DOI OpenURL
Jančar, Petr Bisimilarity on basic parallel processes. (English) Zbl 07467467 Theor. Comput. Sci. 903, 26-38 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{P. Jančar}, Theor. Comput. Sci. 903, 26--38 (2022; Zbl 07467467) Full Text: DOI OpenURL
Dardha, Ornela; Pérez, Jorge A. Comparing type systems for deadlock freedom. (English) Zbl 1477.68177 J. Log. Algebr. Methods Program. 124, Article ID 100717, 43 p. (2022). MSC: 68Q85 03B70 68N30 PDF BibTeX XML Cite \textit{O. Dardha} and \textit{J. A. Pérez}, J. Log. Algebr. Methods Program. 124, Article ID 100717, 43 p. (2022; Zbl 1477.68177) Full Text: DOI arXiv OpenURL
Josefsson, Martin; Dalcín, Mario 100 characterizations of tangential quadrilaterals. (English) Zbl 07576781 Int. J. Geom. 10, No. 4, 32-62 (2021). MSC: 52A10 51M04 PDF BibTeX XML Cite \textit{M. Josefsson} and \textit{M. Dalcín}, Int. J. Geom. 10, No. 4, 32--62 (2021; Zbl 07576781) Full Text: Link OpenURL
Cranch, James; Doherty, Simon; Struth, Georg Convolution and concurrency. (English) Zbl 1490.68139 Math. Struct. Comput. Sci. 31, No. 8, 918-949 (2021). MSC: 68Q85 03G25 06F07 68Q70 PDF BibTeX XML Cite \textit{J. Cranch} et al., Math. Struct. Comput. Sci. 31, No. 8, 918--949 (2021; Zbl 1490.68139) Full Text: DOI arXiv OpenURL
Lang, Frédéric; Mateescu, Radu; Mazzanti, Franco Compositional verification of concurrent systems by combining bisimulations. (English) Zbl 07544942 Form. Methods Syst. Des. 58, No. 1-2, 83-125 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{F. Lang} et al., Form. Methods Syst. Des. 58, No. 1--2, 83--125 (2021; Zbl 07544942) Full Text: DOI Link OpenURL
Gaucher, Philippe Six model categories for directed homotopy. (English) Zbl 1496.18012 Categ. Gen. Algebr. Struct. Appl. 15, No. 1, 145-181 (2021). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 18C35 55U35 68Q85 PDF BibTeX XML Cite \textit{P. Gaucher}, Categ. Gen. Algebr. Struct. Appl. 15, No. 1, 145--181 (2021; Zbl 1496.18012) Full Text: DOI arXiv Backlinks: MO MO OpenURL
Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof Languages of higher-dimensional automata. (English) Zbl 1495.68119 Math. Struct. Comput. Sci. 31, No. 5, 575-613 (2021). MSC: 68Q45 18N50 54F05 68Q70 68Q85 PDF BibTeX XML Cite \textit{U. Fahrenberg} et al., Math. Struct. Comput. Sci. 31, No. 5, 575--613 (2021; Zbl 1495.68119) Full Text: DOI arXiv OpenURL
Rukundo, Adones; Tsigas, Philippas TSLQueue: an efficient lock-free design for priority queues. (English) Zbl 07500805 Sousa, Leonel (ed.) et al., Euro-Par 2021: parallel processing. 27th international conference on parallel and distributed computing, Lisbon, Portugal, September 1–3, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12820, 385-401 (2021). MSC: 68P05 PDF BibTeX XML Cite \textit{A. Rukundo} and \textit{P. Tsigas}, Lect. Notes Comput. Sci. 12820, 385--401 (2021; Zbl 07500805) Full Text: DOI OpenURL
van der Aalst, Wil M. P. Concurrency and objects matter! Disentangling the fabric of real operational processes to create digital twins. (English) Zbl 07500634 Cerone, Antonio (ed.) et al., Theoretical aspects of computing – ICTAC 2021. 18th international colloquium, virtual event, Nur-Sultan, Kazakhstan, September 8–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12819, 3-17 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{W. M. P. van der Aalst}, Lect. Notes Comput. Sci. 12819, 3--17 (2021; Zbl 07500634) Full Text: DOI OpenURL
Ezra, Esther On 3SUM-hard problems in the decision tree model. (English) Zbl 07495166 De Mol, Liesbeth (ed.) et al., Connecting with computability. 17th conference on computability in Europe, CiE 2021, virtual event, Ghent, Belgium, July 5–9, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12813, 178-188 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{E. Ezra}, Lect. Notes Comput. Sci. 12813, 178--188 (2021; Zbl 07495166) Full Text: DOI OpenURL
Kosiol, Jens; Taentzer, Gabriele A generalized concurrent rule construction for double-pushout rewriting. (English) Zbl 1489.68116 Gadducci, Fabio (ed.) et al., Graph transformation. 14th international conference, ICGT 2021, held as part of STAF 2021, virtual event, June 24–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12741, 22-39 (2021). MSC: 68Q42 68Q85 PDF BibTeX XML Cite \textit{J. Kosiol} and \textit{G. Taentzer}, Lect. Notes Comput. Sci. 12741, 22--39 (2021; Zbl 1489.68116) Full Text: DOI arXiv OpenURL
Abbes, Samy Deterministic concurrent systems. (English) Zbl 1489.68148 Buchs, Didier (ed.) et al., Application and theory of Petri nets and concurrency. 42nd international conference, PETRI NETS 2021, virtual event, June 23–25, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12734, 423-442 (2021). MSC: 68Q85 PDF BibTeX XML Cite \textit{S. Abbes}, Lect. Notes Comput. Sci. 12734, 423--442 (2021; Zbl 1489.68148) Full Text: DOI arXiv OpenURL
Zalakain, Uma; Dardha, Ornela \( \pi\) with leftovers: a mechanisation in Agda. (English) Zbl 1490.68143 Peters, Kirstin (ed.) et al., Formal techniques for distributed objects, components, and systems. 41st IFIP WG 6.1 international conference, FORTE 2021, held as part of the 16th international federated conference on distributed computing techniques, DisCoTec 2021, Valletta, Malta, June 14–18, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12719, 157-174 (2021). MSC: 68Q85 03B70 68N30 68Q60 68V20 PDF BibTeX XML Cite \textit{U. Zalakain} and \textit{O. Dardha}, Lect. Notes Comput. Sci. 12719, 157--174 (2021; Zbl 1490.68143) Full Text: DOI arXiv OpenURL
Butts, Carter T. Phase transitions in the edge/concurrent vertex model. (English) Zbl 1483.91155 J. Math. Sociol. 45, No. 3, 135-147 (2021). MSC: 91D30 PDF BibTeX XML Cite \textit{C. T. Butts}, J. Math. Sociol. 45, No. 3, 135--147 (2021; Zbl 1483.91155) Full Text: DOI arXiv OpenURL
Antares Mezzina, Claudio; Pérez, Jorge A. Causal consistency for reversible multiparty protocols. (English) Zbl 07471661 Log. Methods Comput. Sci. 17, No. 4, Paper No. 1, 41 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{C. Antares Mezzina} and \textit{J. A. Pérez}, Log. Methods Comput. Sci. 17, No. 4, Paper No. 1, 41 p. (2021; Zbl 07471661) Full Text: arXiv Link OpenURL
Rátai, Dániel B.; Horváth, Zoltán; Porkoláb, Zoltán; Tóth, Melinda Traquest model – a novel model for ACID concurrent computations. (English) Zbl 1488.68008 Acta Cybern. 25, No. 2, 435-468 (2021). MSC: 68M14 68M15 68Q85 PDF BibTeX XML Cite \textit{D. B. Rátai} et al., Acta Cybern. 25, No. 2, 435--468 (2021; Zbl 1488.68008) Full Text: DOI OpenURL
Bistarelli, Stefano; Taticchi, Carlo Introducing a tool for concurrent argumentation. (English) Zbl 07437030 Faber, Wolfgang (ed.) et al., Logics in artificial intelligence. 17th European conference, JELIA 2021, virtual event, May 17–20, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12678, 18-24 (2021). MSC: 68T27 PDF BibTeX XML Cite \textit{S. Bistarelli} and \textit{C. Taticchi}, Lect. Notes Comput. Sci. 12678, 18--24 (2021; Zbl 07437030) Full Text: DOI OpenURL
Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio Concurrent semantics for fusions: weak prime domains and connected event structures. (English) Zbl 07433301 Inf. Comput. 281, Article ID 104770, 32 p. (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{P. Baldan} et al., Inf. Comput. 281, Article ID 104770, 32 p. (2021; Zbl 07433301) Full Text: DOI OpenURL
Melgratti, Hernán; Mezzina, Claudio Antares; Pinna, G. Michele Towards a truly concurrent semantics for reversible CCS. (English) Zbl 07419486 Yamashita, Shigeru (ed.) et al., Reversible computation. 13th international conference, RC 2021, virtual event, July 7–8, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12805, 109-125 (2021). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{H. Melgratti} et al., Lect. Notes Comput. Sci. 12805, 109--125 (2021; Zbl 07419486) Full Text: DOI HAL OpenURL
Dietsch, Daniel; Heizmann, Matthias; Klumpp, Dominik; Naouar, Mehdi; Podelski, Andreas; Schätzle, Claus Verification of concurrent programs using Petri net unfoldings. (English) Zbl 1472.68087 Henglein, Fritz (ed.) et al., Verification, model checking, and abstract interpretation. 22nd international conference, VMCAI 2021, Copenhagen, Denmark, January 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12597, 174-195 (2021). MSC: 68Q60 68N19 68Q85 PDF BibTeX XML Cite \textit{D. Dietsch} et al., Lect. Notes Comput. Sci. 12597, 174--195 (2021; Zbl 1472.68087) Full Text: DOI OpenURL
Dixon, Alex; Lazić, Ranko; Murawski, Andrzej S.; Walukiewicz, Igor Leafy automata for higher-order concurrency. (English) Zbl 07410425 Kiefer, Stefan (ed.) et al., Foundations of software science and computation structures. 24th international conference, FOSSACS 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12650, 184-204 (2021). MSC: 68Nxx 68Qxx PDF BibTeX XML Cite \textit{A. Dixon} et al., Lect. Notes Comput. Sci. 12650, 184--204 (2021; Zbl 07410425) Full Text: DOI arXiv OpenURL
Frumin, Dan; Krebbers, Robbert; Birkedal, Lars ReLoC reloaded: a mechanized relational logic for fine-grained concurrency and logical atomicity. (English) Zbl 07407781 Log. Methods Comput. Sci. 17, No. 3, Paper No. 9, 59 p. (2021). MSC: 03B70 03B35 68Q85 68V20 PDF BibTeX XML Cite \textit{D. Frumin} et al., Log. Methods Comput. Sci. 17, No. 3, Paper No. 9, 59 p. (2021; Zbl 07407781) Full Text: arXiv Link OpenURL
Chockler, Gregory; Gotsman, Alexey Multi-shot distributed transaction commit. (English) Zbl 07391415 Distrib. Comput. 34, No. 4, 301-318 (2021). MSC: 68M14 68W15 PDF BibTeX XML Cite \textit{G. Chockler} and \textit{A. Gotsman}, Distrib. Comput. 34, No. 4, 301--318 (2021; Zbl 07391415) Full Text: DOI arXiv Link OpenURL
Boudou, Joseph; Herzig, Andreas; Troquard, Nicolas Resource separation in dynamic logic of propositional assignments. (English) Zbl 07377684 J. Log. Algebr. Methods Program. 121, Article ID 100683, 17 p. (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{J. Boudou} et al., J. Log. Algebr. Methods Program. 121, Article ID 100683, 17 p. (2021; Zbl 07377684) Full Text: DOI Link OpenURL
Maarand, Hendrik; Uustalu, Tarmo Operational semantics with semicommutations. (English) Zbl 07377679 J. Log. Algebr. Methods Program. 121, Article ID 100677, 27 p. (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{H. Maarand} and \textit{T. Uustalu}, J. Log. Algebr. Methods Program. 121, Article ID 100677, 27 p. (2021; Zbl 07377679) Full Text: DOI OpenURL
Dedeić, Jovana; Pantović, Jovanka; Pérez, Jorge A. On primitives for compensation handling as adaptable processes. (English) Zbl 07377677 J. Log. Algebr. Methods Program. 121, Article ID 100675, 65 p. (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{J. Dedeić} et al., J. Log. Algebr. Methods Program. 121, Article ID 100675, 65 p. (2021; Zbl 07377677) Full Text: DOI Link OpenURL
Gaucher, Philippe Left properness of flows. (English) Zbl 1481.18027 Theory Appl. Categ. 37, 562-612 (2021). Reviewer: Jiří Rosický (Brno) MSC: 18N40 68Q85 55U35 PDF BibTeX XML Cite \textit{P. Gaucher}, Theory Appl. Categ. 37, 562--612 (2021; Zbl 1481.18027) Full Text: arXiv Link Backlinks: MO OpenURL
van Glabbeek, Rob Failure trace semantics for a process algebra with time-outs. (English) Zbl 07350777 Log. Methods Comput. Sci. 17, No. 2, Paper No. 11, 40 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{R. van Glabbeek}, Log. Methods Comput. Sci. 17, No. 2, Paper No. 11, 40 p. (2021; Zbl 07350777) Full Text: arXiv Link OpenURL
Fahrenberg, Uli; Johansen, Christian; Trotter, Christopher A.; Ziemiański, Krzysztof Sculptures in concurrency. (English) Zbl 07350771 Log. Methods Comput. Sci. 17, No. 2, Paper No. 5, 32 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{U. Fahrenberg} et al., Log. Methods Comput. Sci. 17, No. 2, Paper No. 5, 32 p. (2021; Zbl 07350771) Full Text: arXiv Link OpenURL
Lanese, Ivan; Palacios, Adrián; Vidal, Germán Causal-consistent replay reversible semantics for message passing concurrent programs. (English) Zbl 1482.68131 Fundam. Inform. 178, No. 3, 229-266 (2021). MSC: 68Q55 68N30 68Q85 PDF BibTeX XML Cite \textit{I. Lanese} et al., Fundam. Inform. 178, No. 3, 229--266 (2021; Zbl 1482.68131) Full Text: DOI OpenURL
Hesselink, Wim H. UNITY and Büchi automata. (English) Zbl 07349689 Formal Asp. Comput. 33, No. 2, 185-205 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{W. H. Hesselink}, Formal Asp. Comput. 33, No. 2, 185--205 (2021; Zbl 07349689) Full Text: DOI OpenURL
Bravetti, Mario; Carbone, Marco; Lange, Julien; Yoshida, Nobuko; Zavattaro, Gianluigi A sound algorithm for asynchronous session subtyping and its implementation. (English) Zbl 07327953 Log. Methods Comput. Sci. 17, No. 1, Paper No. 20, 35 p. (2021). MSC: 68Q85 PDF BibTeX XML Cite \textit{M. Bravetti} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 20, 35 p. (2021; Zbl 07327953) Full Text: arXiv Link OpenURL
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz Relational structures for concurrent behaviours. (English) Zbl 1497.68344 Theor. Comput. Sci. 862, 174-192 (2021). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. Janicki} et al., Theor. Comput. Sci. 862, 174--192 (2021; Zbl 1497.68344) Full Text: DOI OpenURL
Gorla, Daniele; Salvo, Ivano Conflict vs causality in event structures. (English) Zbl 07316064 J. Log. Algebr. Methods Program. 119, Article ID 100631, 16 p. (2021). MSC: 68Q85 68Q55 PDF BibTeX XML Cite \textit{D. Gorla} and \textit{I. Salvo}, J. Log. Algebr. Methods Program. 119, Article ID 100631, 16 p. (2021; Zbl 07316064) Full Text: DOI arXiv OpenURL
Albert, Elvira; Gómez-Zamalloa, Miguel; Isabel, Miguel; Rubio, Albert; Sammartino, Matteo; Silva, Alexandra Actor-based model checking for software-defined networks. (English) Zbl 1455.68101 J. Log. Algebr. Methods Program. 118, Article ID 100617, 26 p. (2021). MSC: 68Q60 68N30 68Q85 PDF BibTeX XML Cite \textit{E. Albert} et al., J. Log. Algebr. Methods Program. 118, Article ID 100617, 26 p. (2021; Zbl 1455.68101) Full Text: DOI arXiv Link OpenURL
Cepeda, Diego; Chowdhury, Sakib; Li, Nan; Lopez, Raphael; Wang, Xinzhe; Golab, Wojciech Toward linearizability testing for multi-word persistent synchronization primitives. (English) Zbl 07650869 Felber, Pascal (ed.) et al., 23rd international conference on principles of distributed systems, OPODIS 2019, Neuchâtel, Switzerland, December 17–19, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 153, Article 19, 17 p. (2020). MSC: 68M14 68M20 PDF BibTeX XML Cite \textit{D. Cepeda} et al., LIPIcs -- Leibniz Int. Proc. Inform. 153, Article 19, 17 p. (2020; Zbl 07650869) Full Text: DOI OpenURL
Alistarh, Dan; Fedorov, Alexander; Koval, Nikita In search of the fastest concurrent union-find algorithm. (English) Zbl 07650865 Felber, Pascal (ed.) et al., 23rd international conference on principles of distributed systems, OPODIS 2019, Neuchâtel, Switzerland, December 17–19, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 153, Article 15, 16 p. (2020). MSC: 68M14 68M20 PDF BibTeX XML Cite \textit{D. Alistarh} et al., LIPIcs -- Leibniz Int. Proc. Inform. 153, Article 15, 16 p. (2020; Zbl 07650865) Full Text: DOI arXiv OpenURL
Haar, Stefan; Paulevé, Loïc; Schwoon, Stefan Drawing the line: basin boundaries in safe Petri nets. (English) Zbl 1504.68143 Abate, Alessandro (ed.) et al., Computational methods in systems biology. 18th international conference, CMSB 2020, Konstanz, Germany, September 23–25, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12314, 321-336 (2020). MSC: 68Q85 37C70 92C42 PDF BibTeX XML Cite \textit{S. Haar} et al., Lect. Notes Comput. Sci. 12314, 321--336 (2020; Zbl 1504.68143) Full Text: DOI OpenURL
Paviotti, Marco; Cooksey, Simon; Paradis, Anouk; Wright, Daniel; Owens, Scott; Batty, Mark Modular relaxed dependencies in weak memory concurrency. (English) Zbl 1508.68045 Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 599-625 (2020). MSC: 68N19 68N15 68N20 68Q55 PDF BibTeX XML Cite \textit{M. Paviotti} et al., Lect. Notes Comput. Sci. 12075, 599--625 (2020; Zbl 1508.68045) Full Text: DOI OpenURL
Krogh-Jespersen, Morten; Timany, Amin; Ohlenbusch, Marit Edna; Gregersen, Simon Oddershede; Birkedal, Lars Aneris: a mechanised logic for modular reasoning about distributed systems. (English) Zbl 1508.68246 Müller, Peter (ed.), Programming languages and systems. 29th European symposium on programming, ESOP 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12075, 336-365 (2020). MSC: 68Q85 03B70 68Q60 PDF BibTeX XML Cite \textit{M. Krogh-Jespersen} et al., Lect. Notes Comput. Sci. 12075, 336--365 (2020; Zbl 1508.68246) Full Text: DOI OpenURL
Plyukhin, Dan; Agha, Gul Scalable termination detection for distributed actor systems. (English) Zbl 07559467 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 11, 23 p. (2020). MSC: 68Q85 PDF BibTeX XML Cite \textit{D. Plyukhin} and \textit{G. Agha}, LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 11, 23 p. (2020; Zbl 07559467) Full Text: DOI arXiv OpenURL
Esparza, Javier; Reiter, Fabian A classification of weak asynchronous models of distributed computing. (English) Zbl 07559466 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 10, 16 p. (2020). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Esparza} and \textit{F. Reiter}, LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 10, 16 p. (2020; Zbl 07559466) Full Text: DOI arXiv OpenURL
Aceto, Luca; Baeten, Jos; Bouyer-Decitre, Patricia; Hermanns, Holger; Silva, Alexandra CONCUR test-of-time award 2020 announcement (Invited Paper). (English) Zbl 07559461 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 5, 3 p. (2020). MSC: 68Q85 PDF BibTeX XML Cite \textit{L. Aceto} et al., LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 5, 3 p. (2020; Zbl 07559461) Full Text: DOI OpenURL
Baldan, Paolo; Padoan, Tommaso Model checking a logic for true concurrency. (English) Zbl 1502.68179 ACM Trans. Comput. Log. 21, No. 4, Article No. 34, 49 p. (2020). MSC: 68Q60 03B70 68Q85 PDF BibTeX XML Cite \textit{P. Baldan} and \textit{T. Padoan}, ACM Trans. Comput. Log. 21, No. 4, Article No. 34, 49 p. (2020; Zbl 1502.68179) Full Text: DOI OpenURL
Lang, Frédéric; Mateescu, Radu; Mazzanti, Franco Sharp congruences adequate with temporal logics combining weak and strong modalities. (English) Zbl 1483.68233 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 II. Cham: Springer. Lect. Notes Comput. Sci. 12079, 57-76 (2020). MSC: 68Q85 03B44 68Q60 PDF BibTeX XML Cite \textit{F. Lang} et al., Lect. Notes Comput. Sci. 12079, 57--76 (2020; Zbl 1483.68233) Full Text: DOI OpenURL
Genitrini, Antoine; Pépin, Martin; Peschanski, Frédéric Statistical analysis of non-deterministic fork-join processes. (English) Zbl 07369984 Pun, Violet Ka I. (ed.) et al., Theoretical aspects of computing – ICTAC 2020. 17th international colloquium, Macau, China, November 30 – December 4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12545, 83-102 (2020). MSC: 68Qxx PDF BibTeX XML Cite \textit{A. Genitrini} et al., Lect. Notes Comput. Sci. 12545, 83--102 (2020; Zbl 07369984) Full Text: DOI Link OpenURL
Medić, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko Towards a formal account for software transactional memory. (English) Zbl 07368060 Lanese, Ivan (ed.) et al., Reversible computation. 12th international conference, RC 2020, Oslo, Norway, July 9–10, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12227, 255-263 (2020). MSC: 68Q09 68Q10 81P68 PDF BibTeX XML Cite \textit{D. Medić} et al., Lect. Notes Comput. Sci. 12227, 255--263 (2020; Zbl 07368060) Full Text: DOI OpenURL
Nguyen Van, Hai; Balabonski, Thibaut; Boulanger, Frédéric; Keller, Chantal; Valiron, Benoît; Wolff, Burkhart On the semantics of polychronous polytimed specifications. (English) Zbl 07317088 Bertrand, Nathalie (ed.) et al., Formal modeling and analysis of timed systems. 18th international conference, FORMATS 2020, Vienna, Austria, September 1–3, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12288, 23-40 (2020). MSC: 68Qxx PDF BibTeX XML Cite \textit{H. Nguyen Van} et al., Lect. Notes Comput. Sci. 12288, 23--40 (2020; Zbl 07317088) Full Text: DOI HAL OpenURL
Brodo, Linda; Olarte, Carlos A constraint-based language for multiparty interactions. (English) Zbl 07313964 Nalon, Cláudia (ed.) et al., Proceedings of the 15th international workshop on logical and semantic frameworks, with applications, LSFA 2020, virtual workshop, August 27–28, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 351, 25-50 (2020). MSC: 68-XX PDF BibTeX XML Cite \textit{L. Brodo} and \textit{C. Olarte}, Electron. Notes Theor. Comput. Sci. 351, 25--50 (2020; Zbl 07313964) Full Text: DOI OpenURL
Brotherston, James; Costa, Diana; Hobor, Aquinas; Wickerson, John Reasoning over permissions regions in concurrent separation logic. (English) Zbl 1478.68051 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12225, 203-224 (2020). MSC: 68N30 03B70 68Q85 PDF BibTeX XML Cite \textit{J. Brotherston} et al., Lect. Notes Comput. Sci. 12225, 203--224 (2020; Zbl 1478.68051) Full Text: DOI OpenURL
Çirisci, Berk; Enea, Constantin; Farzan, Azadeh; Mutluergil, Suha Orhun Root causing linearizability violations. (English) Zbl 1478.68043 Lahiri, Shuvendu Kumar (ed.) et al., Computer aided verification. 32nd international conference, CAV 2020, Los Angeles, CA, USA, July 21–24, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12224, 350-375 (2020). MSC: 68N19 68P05 68Q60 PDF BibTeX XML Cite \textit{B. Çirisci} et al., Lect. Notes Comput. Sci. 12224, 350--375 (2020; Zbl 1478.68043) Full Text: DOI OpenURL
Anil Kumar, C. P. A representation theorem for generic line arrangements in the plane. (English) Zbl 1474.52047 J. Indian Math. Soc., New Ser. 87, No. 1-2, 96-113 (2020). MSC: 52C30 12J15 PDF BibTeX XML Cite \textit{C. P. Anil Kumar}, J. Indian Math. Soc., New Ser. 87, No. 1--2, 96--113 (2020; Zbl 1474.52047) Full Text: DOI arXiv OpenURL
Caltais, Georgiana; Mousavi, Mohammad Reza; Singh, Hargurbir Causal reasoning for safety in Hennessy Milner logic. (English) Zbl 1471.68133 Fundam. Inform. 173, No. 2-3, 217-251 (2020). MSC: 68Q60 03B70 68Q85 PDF BibTeX XML Cite \textit{G. Caltais} et al., Fundam. Inform. 173, No. 2--3, 217--251 (2020; Zbl 1471.68133) Full Text: DOI OpenURL
Brodo, Linda; Olarte, Carlos Verification techniques for a network algebra. (English) Zbl 1464.68233 Fundam. Inform. 172, No. 1, 1-38 (2020). MSC: 68Q85 03B70 68Q60 PDF BibTeX XML Cite \textit{L. Brodo} and \textit{C. Olarte}, Fundam. Inform. 172, No. 1, 1--38 (2020; Zbl 1464.68233) Full Text: DOI OpenURL
Pandey, Sarvesh; Shanker, Udai Transaction scheduling protocols for controlling priority inversion: a review. (English) Zbl 1478.68077 Comput. Sci. Rev. 35, Article ID 100215, 15 p. (2020). MSC: 68P15 68M14 68M20 68-02 PDF BibTeX XML Cite \textit{S. Pandey} and \textit{U. Shanker}, Comput. Sci. Rev. 35, Article ID 100215, 15 p. (2020; Zbl 1478.68077) Full Text: DOI OpenURL
Fellner, Andreas; Tarrach, Thorsten; Weissenbacher, Georg Language inclusion for finite prime event structures. (English) Zbl 07228513 Beyer, Dirk (ed.) et al., Verification, model checking, and abstract interpretation. 21st international conference, VMCAI 2020, New Orleans, LA, USA, January 16–21, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11990, 314-336 (2020). MSC: 68Q60 PDF BibTeX XML Cite \textit{A. Fellner} et al., Lect. Notes Comput. Sci. 11990, 314--336 (2020; Zbl 07228513) Full Text: DOI arXiv OpenURL
Goubault, Éric; Mimram, Samuel Directed homotopy in non-positively curved spaces. (English) Zbl 1496.68225 Log. Methods Comput. Sci. 16, No. 3, Paper No. 4, 55 p. (2020). Reviewer: Philippe Gaucher (Paris) MSC: 68Q85 18D15 54E35 55U35 68Q42 68Q55 PDF BibTeX XML Cite \textit{É. Goubault} and \textit{S. Mimram}, Log. Methods Comput. Sci. 16, No. 3, Paper No. 4, 55 p. (2020; Zbl 1496.68225) Full Text: arXiv Link OpenURL
Bernardinello, Luca; Ferigato, Carlo; Pomello, Lucia Logic and algebra in unfolded Petri nets: on a duality between concurrency and causal dependence. (English) Zbl 1491.68116 Fundam. Inform. 171, No. 1-4, 39-56 (2020). Reviewer: Damas Gruska (Bratislava) MSC: 68Q85 03B70 06A07 06C15 PDF BibTeX XML Cite \textit{L. Bernardinello} et al., Fundam. Inform. 171, No. 1--4, 39--56 (2020; Zbl 1491.68116) Full Text: DOI OpenURL
Dickerson, Thomas; Gazzillo, Paul; Herlihy, Maurice; Koskinen, Eric Adding concurrency to smart contracts. (English) Zbl 1445.68083 Distrib. Comput. 33, No. 3-4, 209-225 (2020). MSC: 68P25 68Q85 94A60 PDF BibTeX XML Cite \textit{T. Dickerson} et al., Distrib. Comput. 33, No. 3--4, 209--225 (2020; Zbl 1445.68083) Full Text: DOI arXiv OpenURL
Aschieri, Federico; Ciabattoni, Agata; Genco, Francesco A. On the concurrent computational content of intermediate logics. (English) Zbl 1433.68229 Theor. Comput. Sci. 813, 375-409 (2020). MSC: 68Q85 03B40 03B55 PDF BibTeX XML Cite \textit{F. Aschieri} et al., Theor. Comput. Sci. 813, 375--409 (2020; Zbl 1433.68229) Full Text: DOI OpenURL
Ehrhard, Thomas; Krivine, Jean; Jiang, Ying A calculus of branching processes. (English) Zbl 1436.68212 Theor. Comput. Sci. 807, 169-184 (2020). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{T. Ehrhard} et al., Theor. Comput. Sci. 807, 169--184 (2020; Zbl 1436.68212) Full Text: DOI HAL OpenURL
Silva, Alexandra An algebraic framework to reason about concurrency ((invited talk). (English) Zbl 07650303 Chattopadhyay, Arkadev (ed.) et al., 39th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2019, Bombay, India, December 11–13, 2019. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 150, Article 6, 1 p. (2019). MSC: 68N30 68Qxx PDF BibTeX XML Cite \textit{A. Silva}, LIPIcs -- Leibniz Int. Proc. Inform. 150, Article 6, 1 p. (2019; Zbl 07650303) Full Text: DOI OpenURL
Sison, Robert; Murray, Toby Verifying that a compiler preserves concurrent value-dependent information-flow security. (English) Zbl 07649976 Harrison, John (ed.) et al., 10th international conference on interactive theorem proving, ITP 2019, September 9–12, 2019, Portland, OR, USA. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 141, Article 27, 19 p. (2019). MSC: 68T15 PDF BibTeX XML Cite \textit{R. Sison} and \textit{T. Murray}, LIPIcs -- Leibniz Int. Proc. Inform. 141, Article 27, 19 p. (2019; Zbl 07649976) Full Text: DOI arXiv OpenURL
Bravetti, Mario; Carbone, Marco; Lange, Julien; Yoshida, Nobuko; Zavattaro, Gianluigi A sound algorithm for asynchronous session subtyping. (English) Zbl 07649946 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 38, 16 p. (2019). MSC: 68Q85 PDF BibTeX XML Cite \textit{M. Bravetti} et al., LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 38, 16 p. (2019; Zbl 07649946) Full Text: DOI OpenURL
De Visme, Marc Event structures for mixed choice. (English) Zbl 07649919 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 11, 16 p. (2019). MSC: 68Q85 PDF BibTeX XML Cite \textit{M. De Visme}, LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 11, 16 p. (2019; Zbl 07649919) Full Text: DOI OpenURL
Leroux, Jérôme Petri net reachability problem (Invited Talk). (English) Zbl 07561649 Rossmanith, Peter (ed.) et al., 44th international symposium on mathematical foundations of computer science, MFCS 2019, Aachen, Germany, August 26–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 138, Article 5, 3 p. (2019). MSC: 68Qxx PDF BibTeX XML Cite \textit{J. Leroux}, LIPIcs -- Leibniz Int. Proc. Inform. 138, Article 5, 3 p. (2019; Zbl 07561649) Full Text: DOI OpenURL
Wei, Hengfeng; Huang, Yu; Lu, Jian Specification and implementation of replicated list: the Jupiter protocol revisited. (English) Zbl 07561440 Cao, Jiannong (ed.) et al., 22nd international conference on principles of distributed systems, OPODIS 2018, December 17–19, 2018, Hong Kong, China. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 125, Article 12, 16 p. (2019). MSC: 68M14 68M20 PDF BibTeX XML Cite \textit{H. Wei} et al., LIPIcs -- Leibniz Int. Proc. Inform. 125, Article 12, 16 p. (2019; Zbl 07561440) Full Text: DOI arXiv OpenURL
Kelly, Robert; Pearlmutter, Barak A.; Maguire, Phil Concurrent Robin Hood hashing. (English) Zbl 07561438 Cao, Jiannong (ed.) et al., 22nd international conference on principles of distributed systems, OPODIS 2018, December 17–19, 2018, Hong Kong, China. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 125, Article 10, 16 p. (2019). MSC: 68M14 68M20 PDF BibTeX XML Cite \textit{R. Kelly} et al., LIPIcs -- Leibniz Int. Proc. Inform. 125, Article 10, 16 p. (2019; Zbl 07561438) Full Text: DOI arXiv OpenURL
Golab, Wojciech The recoverable consensus hierarchy. (English) Zbl 07298677 Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 212-214 (2019). MSC: 68M14 68W15 PDF BibTeX XML Cite \textit{W. Golab}, in: Proceedings of the 38th ACM symposium on principles of distributed computing, PODC '19, Toronto, ON, Canada, July 29 -- August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 212--214 (2019; Zbl 07298677) Full Text: DOI OpenURL
Rinberg, Arik; Spiegelman, Alexander; Bortnikov, Edward; Hillel, Eshcar; Keidar, Idit; Serviansky, Hadar Fast concurrent data sketches. (English) Zbl 07298675 Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 207-208 (2019). MSC: 68M14 68W15 PDF BibTeX XML Cite \textit{A. Rinberg} et al., in: Proceedings of the 38th ACM symposium on principles of distributed computing, PODC '19, Toronto, ON, Canada, July 29 -- August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 207--208 (2019; Zbl 07298675) Full Text: DOI arXiv OpenURL
Woelfel, Philipp Towards a theory of randomized shared memory algorithms. (English) Zbl 07298669 Nowak, Thomas (ed.), Proceedings of the 38th ACM symposium on principles of distributed computing, PODC ’19, Toronto, ON, Canada, July 29 – August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 156 (2019). MSC: 68M14 68W15 PDF BibTeX XML Cite \textit{P. Woelfel}, in: Proceedings of the 38th ACM symposium on principles of distributed computing, PODC '19, Toronto, ON, Canada, July 29 -- August 2, 2019. New York, NY: Association for Computing Machinery (ACM). 156 (2019; Zbl 07298669) Full Text: DOI OpenURL
Hamza, Jad On the complexity of linearizability. (English) Zbl 1459.68083 Computing 101, No. 9, 1227-1240 (2019). MSC: 68Q25 68Q17 68Q60 68Q85 PDF BibTeX XML Cite \textit{J. Hamza}, Computing 101, No. 9, 1227--1240 (2019; Zbl 1459.68083) Full Text: DOI arXiv OpenURL
Mostéfaoui, Achour; Raynal, Michel; Roy, Matthieu Time-efficient read/write register in crash-prone asynchronous message-passing systems. (English) Zbl 1458.68018 Computing 101, No. 1, 3-17 (2019). MSC: 68M14 68W15 PDF BibTeX XML Cite \textit{A. Mostéfaoui} et al., Computing 101, No. 1, 3--17 (2019; Zbl 1458.68018) Full Text: DOI arXiv OpenURL
Hayes, Ian J.; Meinicke, Larissa A. Developing an algebra for rely/guarantee concurrency: design decisions and challenges. (English) Zbl 07168639 Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 176-197 (2019). MSC: 68N30 PDF BibTeX XML Cite \textit{I. J. Hayes} and \textit{L. A. Meinicke}, Lect. Notes Comput. Sci. 11885, 176--197 (2019; Zbl 07168639) Full Text: DOI OpenURL
Butterfield, Andrew The inner and outer algebras of unified concurrency. (English) Zbl 07168638 Ribeiro, Pedro (ed.) et al., Unifying theories of programming. 7th international symposium, UTP 2019, dedicated to Tony Hoare on the occasion of his 85th birthday, Porto, Portugal, October 8, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11885, 157-175 (2019). MSC: 68N30 PDF BibTeX XML Cite \textit{A. Butterfield}, Lect. Notes Comput. Sci. 11885, 157--175 (2019; Zbl 07168638) Full Text: DOI Link OpenURL
Fox, Gereon; Stan, Daniel; Hermanns, Holger Syntactic partial order compression for probabilistic reachability. (English) Zbl 07157058 Enea, Constantin (ed.) et al., Verification, model checking, and abstract interpretation. 20th international conference, VMCAI 2019, Cascais, Portugal, January 13–15, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11388, 446-467 (2019). MSC: 68Q60 PDF BibTeX XML Cite \textit{G. Fox} et al., Lect. Notes Comput. Sci. 11388, 446--467 (2019; Zbl 07157058) Full Text: DOI OpenURL
Bruni, Roberto; Melgratti, Hernán; Montanari, Ugo Concurrency and probability: removing confusion, compositionally. (English) Zbl 1427.68186 Log. Methods Comput. Sci. 15, No. 4, Paper No. 17, 39 p. (2019). MSC: 68Q85 68Q10 68Q87 PDF BibTeX XML Cite \textit{R. Bruni} et al., Log. Methods Comput. Sci. 15, No. 4, Paper No. 17, 39 p. (2019; Zbl 1427.68186) Full Text: arXiv OpenURL
Peters, Kirstin; Wagner, Christoph; Nestmann, Uwe Taming concurrency for verification using multiparty session types. (English) Zbl 07142677 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, 196-215 (2019). MSC: 68Qxx PDF BibTeX XML Cite \textit{K. Peters} et al., Lect. Notes Comput. Sci. 11884, 196--215 (2019; Zbl 07142677) Full Text: DOI arXiv OpenURL