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 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
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
Gaucher, Philippe Six model categories for directed homotopy. (English) Zbl 07528809 Categ. Gen. Algebr. Struct. Appl. 15, No. 1, 145-181 (2021). MSC: 18C35 55U35 18G55 68Q85 PDF BibTeX XML Cite \textit{P. Gaucher}, Categ. Gen. Algebr. Struct. Appl. 15, No. 1, 145--181 (2021; Zbl 07528809) Full Text: DOI OpenURL
Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof Languages of higher-dimensional automata. (English) Zbl 07527572 Math. Struct. Comput. Sci. 31, No. 5, 575-613 (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{U. Fahrenberg} et al., Math. Struct. Comput. Sci. 31, No. 5, 575--613 (2021; Zbl 07527572) 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
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 07444270 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 07444270) 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 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 68-XX 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 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 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 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 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: 03B70 68-XX 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 07318717 Theor. Comput. Sci. 862, 174-192 (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{R. Janicki} et al., Theor. Comput. Sci. 862, 174--192 (2021; Zbl 07318717) 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 OpenURL
Baldan, Paolo; Padoan, Tommaso Model checking a logic for true concurrency. (English) Zbl 07480988 ACM Trans. Comput. Log. 21, No. 4, Article No. 34, 49 p. (2020). MSC: 03B70 68-XX 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 07480988) 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: 03B70 68Q55 68T27 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 07226006 Log. Methods Comput. Sci. 16, No. 3, Paper No. 4, 55 p. (2020). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{É. Goubault} and \textit{S. Mimram}, Log. Methods Comput. Sci. 16, No. 3, Paper No. 4, 55 p. (2020; Zbl 07226006) Full Text: arXiv Link 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
Cepeda, Diego; Chowdhury, Sakib; Golab, Wojciech Tutorial: Specifying, implementing, and verifying algorithms for persistent memory. (English) Zbl 07298723 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). 549 (2019). MSC: 68M14 68W15 PDF BibTeX XML Cite \textit{D. Cepeda} 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). 549 (2019; Zbl 07298723) Full Text: DOI 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
Bartoletti, Massimo (ed.); Bocchi, Laura (ed.); Henrio, Ludovic (ed.); Knight, Sophia (ed.) Preface for the special issue on interaction and concurrency experience 2017. (English) Zbl 1434.68017 J. Log. Algebr. Methods Program. 109, Article ID 100488, 2 p. (2019). MSC: 68-06 68M14 68N15 68Q85 00B25 PDF BibTeX XML Cite \textit{M. Bartoletti} (ed.) et al., J. Log. Algebr. Methods Program. 109, Article ID 100488, 2 p. (2019; Zbl 1434.68017) Full Text: DOI OpenURL
Golab, Wojciech; Ramaraju, Aditya Recoverable mutual exclusion. (English) Zbl 1451.68045 Distrib. Comput. 32, No. 6, 535-564 (2019). MSC: 68M14 68N19 68M15 68P05 68Q25 PDF BibTeX XML Cite \textit{W. Golab} and \textit{A. Ramaraju}, Distrib. Comput. 32, No. 6, 535--564 (2019; Zbl 1451.68045) Full Text: DOI OpenURL
Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael Nash equilibrium and bisimulation invariance. (English) Zbl 1442.68142 Log. Methods Comput. Sci. 15, No. 3, Paper No. 32, 49 p. (2019). MSC: 68Q85 03B70 68T42 91A10 PDF BibTeX XML Cite \textit{J. Gutierrez} et al., Log. Methods Comput. Sci. 15, No. 3, Paper No. 32, 49 p. (2019; Zbl 1442.68142) Full Text: DOI arXiv OpenURL
Kouzapas, Dimitrios; Pérez, Jorge A.; Yoshida, Nobuko On the relative expressiveness of higher-order session processes. (English) Zbl 1430.68163 Inf. Comput. 268, Article ID 104433, 54 p. (2019). MSC: 68Q85 PDF BibTeX XML Cite \textit{D. Kouzapas} et al., Inf. Comput. 268, Article ID 104433, 54 p. (2019; Zbl 1430.68163) Full Text: DOI Link OpenURL
Lowe, Gavin Discovering and correcting a deadlock in a channel implementation. (English) Zbl 1425.68297 Formal Asp. Comput. 31, No. 4, 411-419 (2019). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{G. Lowe}, Formal Asp. Comput. 31, No. 4, 411--419 (2019; Zbl 1425.68297) Full Text: DOI OpenURL
Zakowski, Yannick; Cachera, David; Demange, Delphine; Petri, Gustavo; Pichardie, David; Jagannathan, Suresh; Vitek, Jan Verifying a concurrent garbage collector with a rely-guarantee methodology. (English) Zbl 1468.68068 J. Autom. Reasoning 63, No. 2, 489-515 (2019). MSC: 68N20 68N30 68Q60 68V15 PDF BibTeX XML Cite \textit{Y. Zakowski} et al., J. Autom. Reasoning 63, No. 2, 489--515 (2019; Zbl 1468.68068) Full Text: DOI HAL OpenURL
Ghilezan, Silvia; Jakšić, Svetlana; Pantović, Jovanka; Scalas, Alceste; Yoshida, Nobuko Precise subtyping for synchronous multiparty sessions. (English) Zbl 1423.68306 J. Log. Algebr. Methods Program. 104, 127-173 (2019). MSC: 68Q85 PDF BibTeX XML Cite \textit{S. Ghilezan} et al., J. Log. Algebr. Methods Program. 104, 127--173 (2019; Zbl 1423.68306) Full Text: DOI arXiv OpenURL
Murawski, Andrzej S.; Tzevelekos, Nikos Higher-order linearisability. (English) Zbl 1423.68315 J. Log. Algebr. Methods Program. 104, 86-116 (2019). MSC: 68Q85 PDF BibTeX XML Cite \textit{A. S. Murawski} and \textit{N. Tzevelekos}, J. Log. Algebr. Methods Program. 104, 86--116 (2019; Zbl 1423.68315) Full Text: DOI arXiv OpenURL
Kolčák, Juraj; Šafránek, David; Haar, Stefan; Paulevé, Loïc Parameter space abstraction and unfolding semantics of discrete regulatory networks. (English) Zbl 1423.68313 Theor. Comput. Sci. 765, 120-144 (2019). MSC: 68Q85 92C42 PDF BibTeX XML Cite \textit{J. Kolčák} et al., Theor. Comput. Sci. 765, 120--144 (2019; Zbl 1423.68313) Full Text: DOI arXiv OpenURL
Borzyszkowski, Andrzej M. Regular orthomodular posets. (English) Zbl 1425.68286 Fundam. Inform. 166, No. 1, 15-28 (2019). MSC: 68Q85 06C15 PDF BibTeX XML Cite \textit{A. M. Borzyszkowski}, Fundam. Inform. 166, No. 1, 15--28 (2019; Zbl 1425.68286) Full Text: DOI OpenURL
Jones, Cliff B.; Yatapanage, Nisansala Investigating the limits of rely/guarantee relations based on a concurrent garbage collector example. (English) Zbl 1425.68072 Formal Asp. Comput. 31, No. 3, 353-374 (2019). MSC: 68N30 68Q85 PDF BibTeX XML Cite \textit{C. B. Jones} and \textit{N. Yatapanage}, Formal Asp. Comput. 31, No. 3, 353--374 (2019; Zbl 1425.68072) Full Text: DOI OpenURL
Kavanagh, Ryan; Brookes, Stephen A denotational semantics for SPARC TSO. (English) Zbl 1421.68096 Log. Methods Comput. Sci. 15, No. 2, Paper No. 10, 23 p. (2019). MSC: 68Q55 68M07 68N30 68Q85 PDF BibTeX XML Cite \textit{R. Kavanagh} and \textit{S. Brookes}, Log. Methods Comput. Sci. 15, No. 2, Paper No. 10, 23 p. (2019; Zbl 1421.68096) Full Text: arXiv OpenURL
Hayes, Ian J.; Meinicke, Larissa A.; Winter, Kirsten; Colvin, Robert J. A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency. (English) Zbl 1425.68293 Formal Asp. Comput. 31, No. 2, 133-163 (2019). MSC: 68Q85 68N30 68T15 PDF BibTeX XML Cite \textit{I. J. Hayes} et al., Formal Asp. Comput. 31, No. 2, 133--163 (2019; Zbl 1425.68293) Full Text: DOI arXiv OpenURL
Karami, Farzane; Owe, Olaf; Ramezanifarkhani, Toktam An evaluation of interaction paradigms for active objects. (English) Zbl 1417.68023 J. Log. Algebr. Methods Program. 103, 154-183 (2019). MSC: 68M14 68M20 PDF BibTeX XML Cite \textit{F. Karami} et al., J. Log. Algebr. Methods Program. 103, 154--183 (2019; Zbl 1417.68023) Full Text: DOI OpenURL
Kappé, Tobias; Brunet, Paul; Luttik, Bas; Silva, Alexandra; Zanasi, Fabio On series-parallel pomset languages: rationality, context-freeness and automata. (English) Zbl 1417.68134 J. Log. Algebr. Methods Program. 103, 130-153 (2019). MSC: 68Q85 68N30 68Q42 68Q45 68Q70 PDF BibTeX XML Cite \textit{T. Kappé} et al., J. Log. Algebr. Methods Program. 103, 130--153 (2019; Zbl 1417.68134) Full Text: DOI arXiv OpenURL
Castellan, Simon; Clairambault, Pierre; Winskel, Glynn Thin games with symmetry and concurrent Hyland-Ong games. (English) Zbl 1407.68099 Log. Methods Comput. Sci. 15, No. 1, Paper No. 18, 85 p. (2019). MSC: 68N30 18D15 68Q55 68Q85 91A80 PDF BibTeX XML Cite \textit{S. Castellan} et al., Log. Methods Comput. Sci. 15, No. 1, Paper No. 18, 85 p. (2019; Zbl 1407.68099) Full Text: arXiv OpenURL
Llorens, M.; Oliver, J.; Silva, J.; Tamarit, S. Tracking CSP computations. (English) Zbl 1408.68037 J. Log. Algebr. Methods Program. 102, 138-175 (2019). MSC: 68N30 68Q85 PDF BibTeX XML Cite \textit{M. Llorens} et al., J. Log. Algebr. Methods Program. 102, 138--175 (2019; Zbl 1408.68037) Full Text: DOI Link OpenURL
Dolev, Shlomi; Eyal, Anat; Hendler, Danny; Derbeko, Philip; Kogan-Sadetsky, Marina Upper bounds for multi-level multi-server paging. (English) Zbl 1470.68034 Inf. Process. Lett. 142, 72-76 (2019). MSC: 68M14 PDF BibTeX XML Cite \textit{S. Dolev} et al., Inf. Process. Lett. 142, 72--76 (2019; Zbl 1470.68034) Full Text: DOI OpenURL
Paquet, Hugo; Winskel, Glynn Continuous probability distributions in concurrent games. (English) Zbl 07517284 Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 321-344 (2018). MSC: 68N30 68Q55 PDF BibTeX XML Cite \textit{H. Paquet} and \textit{G. Winskel}, Electron. Notes Theor. Comput. Sci. 341, 321--344 (2018; Zbl 07517284) Full Text: DOI OpenURL
Kavanagh, Ryan; Brookes, Stephen A denotational semantics for SPARC TSO. (English) Zbl 07513464 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, 223-239 (2018). MSC: 68N30 68Q55 PDF BibTeX XML Cite \textit{R. Kavanagh} and \textit{S. Brookes}, Electron. Notes Theor. Comput. Sci. 336, 223--239 (2018; Zbl 07513464) Full Text: DOI OpenURL
Kolčák, Juraj; Šafránek, David; Haar, Stefan; Paulevé, Loïc Unfolding of parametric Boolean networks. (English) Zbl 07513448 Sanguinetti, Guido (ed.) et al., Proceedings of the 7th international workshop on static analysis and systems biology (SASB 2016), University of Edinburgh, Scotland, UK, September 7, 2016. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 335, 67-90 (2018). MSC: 92C42 PDF BibTeX XML Cite \textit{J. Kolčák} et al., Electron. Notes Theor. Comput. Sci. 335, 67--90 (2018; Zbl 07513448) Full Text: DOI OpenURL
Bodini, Olivier; Dien, Matthieu; Genitrini, Antoine; Viola, Alfredo Beyond series-parallel concurrent systems: the case of arch processes. (English) Zbl 1478.68187 Fill, James Allen (ed.) et al., 29th international conference on probabilistic, combinatorial and asymptotic methods for the analysis of algorithms, AofA 2018, June 25–29, 2018, Uppsala, Sweden. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 110, Article 14, 14 p. (2018). MSC: 68Q85 05A15 PDF BibTeX XML Cite \textit{O. Bodini} et al., LIPIcs -- Leibniz Int. Proc. Inform. 110, Article 14, 14 p. (2018; Zbl 1478.68187) Full Text: DOI arXiv OpenURL
Frumin, Dan; Krebbers, Robbert; Birkedal, Lars ReLoC: a mechanised relational logic for fine-grained concurrency. (English) Zbl 07298769 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 442-451 (2018). MSC: 68Q85 03B70 PDF BibTeX XML Cite \textit{D. Frumin} et al., in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 442--451 (2018; Zbl 07298769) Full Text: DOI OpenURL
Zhou, Tingzhe; Luchangco, Victor; Spear, Michael Extending transactional memory with atomic deferral. (English) Zbl 07226017 Aspnes, James (ed.) et al., 21st international conference on principles of distributed systems, OPODIS 2017, Lisboa, Portugal, December 18–20, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 95, Article 7, 17 p. (2018). MSC: 68M14 68M20 PDF BibTeX XML Cite \textit{T. Zhou} et al., LIPIcs -- Leibniz Int. Proc. Inform. 95, Article 7, 17 p. (2018; Zbl 07226017) Full Text: DOI OpenURL
Aguilera, Marcos K.; David, Tudor; Guerraoui, Rachid; Wang, Junxiong Locking timestamps versus locking objects. (English) Zbl 1428.68054 Proceedings of the 37th ACM symposium on principles of distributed computing, PODC ’18, Egham, UK, July 23–27, 2018. New York, NY: Association for Computing Machinery (ACM). 367-376 (2018). MSC: 68M14 PDF BibTeX XML Cite \textit{M. K. Aguilera} et al., in: Proceedings of the 37th ACM symposium on principles of distributed computing, PODC '18, Egham, UK, July 23--27, 2018. New York, NY: Association for Computing Machinery (ACM). 367--376 (2018; Zbl 1428.68054) Full Text: DOI Link OpenURL
Attiya, Hagit; Castañeda, Armando; Hendler, Danny; Perrin, Matthieu Separating lock-freedom from wait-freedom. (English) Zbl 1428.68056 Proceedings of the 37th ACM symposium on principles of distributed computing, PODC ’18, Egham, UK, July 23–27, 2018. New York, NY: Association for Computing Machinery (ACM). 41-50 (2018). MSC: 68M14 68W15 PDF BibTeX XML Cite \textit{H. Attiya} et al., in: Proceedings of the 37th ACM symposium on principles of distributed computing, PODC '18, Egham, UK, July 23--27, 2018. New York, NY: Association for Computing Machinery (ACM). 41--50 (2018; Zbl 1428.68056) Full Text: DOI HAL OpenURL
Golab, Wojciech; Hendler, Danny Recoverable mutual exclusion under system-wide failures. (English) Zbl 1428.68070 Proceedings of the 37th ACM symposium on principles of distributed computing, PODC ’18, Egham, UK, July 23–27, 2018. New York, NY: Association for Computing Machinery (ACM). 17-26 (2018). MSC: 68M14 68M15 68P05 68W15 PDF BibTeX XML Cite \textit{W. Golab} and \textit{D. Hendler}, in: Proceedings of the 37th ACM symposium on principles of distributed computing, PODC '18, Egham, UK, July 23--27, 2018. New York, NY: Association for Computing Machinery (ACM). 17--26 (2018; Zbl 1428.68070) Full Text: DOI OpenURL
Attiya, Hagit; Ben-Baruch, Ohad; Hendler, Danny Nesting-safe recoverable linearizability: modular constructions for non-volatile memory. (English) Zbl 1428.68055 Proceedings of the 37th ACM symposium on principles of distributed computing, PODC ’18, Egham, UK, July 23–27, 2018. New York, NY: Association for Computing Machinery (ACM). 7-16 (2018). MSC: 68M14 68W15 PDF BibTeX XML Cite \textit{H. Attiya} et al., in: Proceedings of the 37th ACM symposium on principles of distributed computing, PODC '18, Egham, UK, July 23--27, 2018. New York, NY: Association for Computing Machinery (ACM). 7--16 (2018; Zbl 1428.68055) Full Text: DOI OpenURL
Aguado, Joaquín; Mendler, Michael; Pouzet, Marc; Roop, Partha; von Hanxleden, Reinhard Deterministic concurrency: a clock-synchronised shared memory approach. (English) Zbl 1418.68047 Ahmed, Amal (ed.), Programming languages and systems. 27th European symposium on programming, ESOP 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. 10801, 86-113 (2018). MSC: 68N30 68Q55 68Q85 PDF BibTeX XML Cite \textit{J. Aguado} et al., Lect. Notes Comput. Sci. 10801, 86--113 (2018; Zbl 1418.68047) Full Text: DOI HAL OpenURL
Castañeda, Armando; Rajsbaum, Sergio; Raynal, Michel Unifying concurrent objects and distributed tasks. Interval-linearizability. (English) Zbl 1426.68181 J. ACM 65, No. 6, Article No. 45, 42 p. (2018). MSC: 68Q85 68M14 68W15 PDF BibTeX XML Cite \textit{A. Castañeda} et al., J. ACM 65, No. 6, Article No. 45, 42 p. (2018; Zbl 1426.68181) Full Text: DOI OpenURL
Ardeshir-Larijani, Ebrahim; Gay, Simon J.; Nagarajan, Rajagopal Automated equivalence checking of concurrent quantum systems. (English) Zbl 1407.68276 ACM Trans. Comput. Log. 19, No. 4, Article No. 28, 32 p. (2018). MSC: 68Q60 68Q12 68Q85 81P45 81P68 PDF BibTeX XML Cite \textit{E. Ardeshir-Larijani} et al., ACM Trans. Comput. Log. 19, No. 4, Article No. 28, 32 p. (2018; Zbl 1407.68276) Full Text: DOI Link OpenURL
Gutierrez, Julian On fixpoint logics and equivalences for processes with restricted nondeterminism. (English) Zbl 1444.03115 J. Log. Comput. 28, No. 4, 779-807 (2018). MSC: 03B70 03B45 68Q85 PDF BibTeX XML Cite \textit{J. Gutierrez}, J. Log. Comput. 28, No. 4, 779--807 (2018; Zbl 1444.03115) Full Text: DOI Link OpenURL
Anghel, Nicolae Concurrency in hexagons – a trigonometric tale. (English) Zbl 1409.51014 J. Geom. Graph. 22, No. 1, 21-29 (2018). Reviewer: Sándor Nagydobai Kiss (Satu Mare) MSC: 51M04 51A20 PDF BibTeX XML Cite \textit{N. Anghel}, J. Geom. Graph. 22, No. 1, 21--29 (2018; Zbl 1409.51014) Full Text: Link OpenURL
Areias, Miguel; Rocha, Ricardo Table space designs for implicit and explicit concurrent tabled evaluation. (English) Zbl 1452.68035 Theory Pract. Log. Program. 18, No. 5-6, 950-992 (2018). MSC: 68N17 68N19 PDF BibTeX XML Cite \textit{M. Areias} and \textit{R. Rocha}, Theory Pract. Log. Program. 18, No. 5--6, 950--992 (2018; Zbl 1452.68035) Full Text: DOI arXiv OpenURL
Frühwirth, Thom Parallelism, concurrency and distribution in constraint handling rules: a survey. (English) Zbl 1452.68042 Theory Pract. Log. Program. 18, No. 5-6, 759-805 (2018). MSC: 68N19 68N17 68Q10 68Q42 68Q85 PDF BibTeX XML Cite \textit{T. Frühwirth}, Theory Pract. Log. Program. 18, No. 5--6, 759--805 (2018; Zbl 1452.68042) Full Text: DOI arXiv OpenURL
Ponce de León, Hernán; Mokhov, Andrey Compact and efficiently verifiable models for concurrent systems. (English) Zbl 1425.68301 Form. Methods Syst. Des. 53, No. 3, 407-431 (2018). MSC: 68Q85 06A06 68P30 PDF BibTeX XML Cite \textit{H. Ponce de León} and \textit{A. Mokhov}, Form. Methods Syst. Des. 53, No. 3, 407--431 (2018; Zbl 1425.68301) Full Text: DOI Link OpenURL
Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo Event structures for Petri nets with persistence. (English) Zbl 1417.68113 Log. Methods Comput. Sci. 14, No. 3, Paper No. 25, 30 p. (2018). Reviewer: Clément Aubert (Augusta) MSC: 68Q85 18C50 PDF BibTeX XML Cite \textit{P. Baldan} et al., Log. Methods Comput. Sci. 14, No. 3, Paper No. 25, 30 p. (2018; Zbl 1417.68113) Full Text: DOI arXiv OpenURL
Hague, Matthew; Penelle, Vincent Constrained dynamic tree networks. (English) Zbl 06963049 Potapov, Igor (ed.) et al., Reachability problems. 12th international conference, RP 2018, Marseille, France, September 24–26, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11123, 45-58 (2018). MSC: 68Qxx PDF BibTeX XML Cite \textit{M. Hague} and \textit{V. Penelle}, Lect. Notes Comput. Sci. 11123, 45--58 (2018; Zbl 06963049) Full Text: DOI OpenURL