Bożejko, Marek; Dołęga, Maciej; Ejsmont, Wiktor; Gal, Światosław R. Reflection length with two parameters in the asymptotic representation theory of type B/C and applications. (English) Zbl 07640885 J. Funct. Anal. 284, No. 5, Article ID 109797, 47 p. (2023). MSC: 20F55 42A82 46Lxx PDF BibTeX XML Cite \textit{M. Bożejko} et al., J. Funct. Anal. 284, No. 5, Article ID 109797, 47 p. (2023; Zbl 07640885) Full Text: DOI arXiv OpenURL
Demni, Nizar; Hamdi, Tarek Relating moments of self-adjoint polynomials in two orthogonal projections. (English) Zbl 07635924 Adv. Oper. Theory 8, No. 1, Paper No. 7, 19 p. (2023). MSC: 46L54 47C15 47B15 PDF BibTeX XML Cite \textit{N. Demni} and \textit{T. Hamdi}, Adv. Oper. Theory 8, No. 1, Paper No. 7, 19 p. (2023; Zbl 07635924) Full Text: DOI arXiv OpenURL
Hasebe, Takahiro; Hotta, Ikkei Additive processes on the unit circle and Loewner chains. (English) Zbl 07635278 Int. Math. Res. Not. 2022, No. 22, 17797-17848 (2022). MSC: 60J67 60B15 60G51 30C80 46L54 PDF BibTeX XML Cite \textit{T. Hasebe} and \textit{I. Hotta}, Int. Math. Res. Not. 2022, No. 22, 17797--17848 (2022; Zbl 07635278) Full Text: DOI arXiv 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
Kahl, Thomas On symmetric higher-dimensional automata and bisimilarity. (English) Zbl 07601538 Theor. Comput. Sci. 935, 47-60 (2022). MSC: 18G30 68Q85 PDF BibTeX XML Cite \textit{T. Kahl}, Theor. Comput. Sci. 935, 47--60 (2022; Zbl 07601538) Full Text: DOI arXiv OpenURL
Klin, Bartek (ed.); Lasota, Sławomir (ed.); Muschol, Anca (ed.) 33rd international conference on concurrency theory, CONCUR 2022, Warsaw, Poland, September 12–16, 2022. (English) Zbl 1496.68027 LIPIcs – Leibniz International Proceedings in Informatics 243. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik (ISBN 978-3-95977-246-4). ix, 37 articles, not consecutively paged, electronic only, open access (2022). MSC: 68-06 68Q85 00B25 PDF BibTeX XML Cite \textit{B. Klin} (ed.) et al., 33rd international conference on concurrency theory, CONCUR 2022, Warsaw, Poland, September 12--16, 2022. Wadern: Schloss Dagstuhl -- Leibniz-Zentrum für Informatik (2022; Zbl 1496.68027) Full Text: DOI Link OpenURL
Liu, Guanjun Petri nets. Theoretical models and analysis methods for concurrent systems. (English) Zbl 07595754 Singapore: Springer (ISBN 978-981-19-6308-7/hbk; 978-981-19-6311-7/pbk; 978-981-19-6309-4/ebook). xi, 279 p. (2022). MSC: 68-01 68Q60 68Q85 PDF BibTeX XML Cite \textit{G. Liu}, Petri nets. Theoretical models and analysis methods for concurrent systems. Singapore: Springer (2022; Zbl 07595754) Full Text: DOI OpenURL
Cardone, G.; Fouetio, A.; Lando, S. Talla; Woukeng, J. L. Global dynamics of stochastic tidal equations. (English) Zbl 1498.35028 Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods 225, Article ID 113137, 28 p. (2022). MSC: 35B27 35B40 35Q35 35R60 46J10 60H15 PDF BibTeX XML Cite \textit{G. Cardone} et al., Nonlinear Anal., Theory Methods Appl., Ser. A, Theory Methods 225, Article ID 113137, 28 p. (2022; Zbl 1498.35028) Full Text: DOI OpenURL
Hunter, Paul; Pérez, Guillermo A.; Raskin, Jean-François Correction to: “Reactive synthesis without regret”. (English) Zbl 1495.68135 Acta Inf. 59, No. 5, 671 (2022). MSC: 68Q60 68Q85 68R10 91A43 PDF BibTeX XML Cite \textit{P. Hunter} et al., Acta Inf. 59, No. 5, 671 (2022; Zbl 1495.68135) Full Text: DOI OpenURL
Payal; Kansal, Sangita Structural matrices for signed Petri net. (English) Zbl 1496.05065 AKCE Int. J. Graphs Comb. 19, No. 2, 102-107 (2022). MSC: 05C22 68Q85 PDF BibTeX XML Cite \textit{Payal} and \textit{S. Kansal}, AKCE Int. J. Graphs Comb. 19, No. 2, 102--107 (2022; Zbl 1496.05065) Full Text: DOI OpenURL
Johansen, Nicklas S.; Kær, Lasse B.; Madsen, Andreas L.; Nielsen, Kristian Ø.; Srba, Jiří; Tollund, Rasmus G. Kaki: concurrent update synthesis for regular policies via Petri games. (English) Zbl 07573724 ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 249-267 (2022). MSC: 68Q85 68M10 68Q60 PDF BibTeX XML Cite \textit{N. S. Johansen} et al., Lect. Notes Comput. Sci. 13274, 249--267 (2022; Zbl 07573724) Full Text: DOI OpenURL
Falcone, Yliès; Salaün, Gwen; Zuo, Ahang Probabilistic model checking of BPMN processes at runtime. (English) Zbl 07573721 ter Beek, Maurice H. (ed.) et al., Integrated formal methods. 17th international conference, IFM 2022, Lugano, Switzerland, June 7–10, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13274, 191-208 (2022). MSC: 68Q60 68Q85 68Q87 PDF BibTeX XML Cite \textit{Y. Falcone} et al., Lect. Notes Comput. Sci. 13274, 191--208 (2022; Zbl 07573721) Full Text: DOI OpenURL
van der Werf, Jan Martijn E. M.; Rivkin, Andrey; Polyvyanyy, Artem; Montali, Marco Data and process resonance. Identifier soundness for models of information systems. (English) Zbl 1499.68236 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, 369-392 (2022). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. M. E. M. van der Werf} et al., Lect. Notes Comput. Sci. 13288, 369--392 (2022; Zbl 1499.68236) Full Text: DOI OpenURL
Peeva, Viki; Mannel, Lisa L.; van der Aalst, Wil M. P. From place nets to local process models. (English) Zbl 1499.68232 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, 346-368 (2022). MSC: 68Q85 PDF BibTeX XML Cite \textit{V. Peeva} et al., Lect. Notes Comput. Sci. 13288, 346--368 (2022; Zbl 1499.68232) Full Text: DOI OpenURL
Sommers, Dominique; Sidorova, Natalia; van Dongen, Boudewijn Aligning event logs to resource-constrained \(\nu \)-Petri nets. (English) Zbl 1499.68235 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, 325-345 (2022). MSC: 68Q85 PDF BibTeX XML Cite \textit{D. Sommers} et al., Lect. Notes Comput. Sci. 13288, 325--345 (2022; Zbl 1499.68235) Full Text: DOI OpenURL
Mannel, Lisa L.; van der Aalst, Wil M. P. Discovering process models with long-term dependencies while providing guarantees and handling infrequent behavior. (English) Zbl 1499.68231 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, 303-324 (2022). MSC: 68Q85 PDF BibTeX XML Cite \textit{L. L. Mannel} and \textit{W. M. P. van der Aalst}, Lect. Notes Comput. Sci. 13288, 303--324 (2022; Zbl 1499.68231) Full Text: DOI OpenURL
Amparore, Elvio G.; Donatelli, Susanna The ins and outs of Petri net composition. (English) Zbl 1499.68216 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, 278-299 (2022). MSC: 68Q85 PDF BibTeX XML Cite \textit{E. G. Amparore} and \textit{S. Donatelli}, Lect. Notes Comput. Sci. 13288, 278--299 (2022; Zbl 1499.68216) Full Text: DOI OpenURL
Khomenko, Victor; Koutny, Maciej; Yakovlev, Alex Avoiding exponential explosion in Petri net models of control flows. (English) Zbl 1499.68227 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, 261-277 (2022). MSC: 68Q85 68Q25 68Q45 68R10 PDF BibTeX XML Cite \textit{V. Khomenko} et al., Lect. Notes Comput. Sci. 13288, 261--277 (2022; Zbl 1499.68227) Full Text: DOI OpenURL
Hannibal, Paul; Olderog, Ernst-Rüdiger The synthesis problem for repeatedly communicating Petri games. (English) Zbl 1499.68225 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, 236-257 (2022). MSC: 68Q85 68Q25 91A80 PDF BibTeX XML Cite \textit{P. Hannibal} and \textit{E.-R. Olderog}, Lect. Notes Comput. Sci. 13288, 236--257 (2022; Zbl 1499.68225) Full Text: DOI OpenURL
Devillers, Raymond; Tredup, Ronny Synthesis of inhibitor-reset Petri nets: algorithmic and complexity issues. (English) Zbl 1499.68223 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, 213-235 (2022). MSC: 68Q85 68Q25 PDF BibTeX XML Cite \textit{R. Devillers} and \textit{R. Tredup}, Lect. Notes Comput. Sci. 13288, 213--235 (2022; Zbl 1499.68223) Full Text: DOI OpenURL
Pommereau, Franck; Thomas, Colin; Gaucherel, Cédric Petri nets semantics of reaction rules (RR). A language for ecosystems modelling. (English) Zbl 07573261 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, 175-194 (2022). MSC: 68Q85 92D40 PDF BibTeX XML Cite \textit{F. Pommereau} et al., Lect. Notes Comput. Sci. 13288, 175--194 (2022; Zbl 07573261) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{X. Allamigeon} et al., Lect. Notes Comput. Sci. 13288, 90--112 (2022; Zbl 1499.68215) Full Text: DOI arXiv OpenURL
Hélouët, Loïc; Agrawal, Pranay Waiting nets. (English) Zbl 1499.68226 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, 67-89 (2022). MSC: 68Q85 PDF BibTeX XML Cite \textit{L. Hélouët} and \textit{P. Agrawal}, Lect. Notes Comput. Sci. 13288, 67--89 (2022; Zbl 1499.68226) Full Text: DOI 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
Vidal, Germán Computing race variants in message-passing concurrent programming with selective receives. (English) Zbl 1499.68070 Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 188-207 (2022). MSC: 68N30 68N19 68Q85 PDF BibTeX XML Cite \textit{G. Vidal}, Lect. Notes Comput. Sci. 13273, 188--207 (2022; Zbl 1499.68070) Full Text: DOI arXiv OpenURL
Paviot-Adet, Emmanuel; Poitrenaud, Denis; Renault, Etienne; Thierry-Mieg, Yann LTL under reductions with weaker conditions than stutter invariance. (English) Zbl 1499.68204 Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 170-187 (2022). MSC: 68Q60 03B44 68Q85 PDF BibTeX XML Cite \textit{E. Paviot-Adet} et al., Lect. Notes Comput. Sci. 13273, 170--187 (2022; Zbl 1499.68204) Full Text: DOI arXiv OpenURL
Schmitt, Anna; Peters, Kirstin; Deng, Yuxin Encodability criteria for quantum based systems. (English) Zbl 1499.68234 Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 151-169 (2022). MSC: 68Q85 81P68 PDF BibTeX XML Cite \textit{A. Schmitt} et al., Lect. Notes Comput. Sci. 13273, 151--169 (2022; Zbl 1499.68234) Full Text: DOI arXiv OpenURL
Peters, Kirstin; Nestmann, Uwe; Wagner, Christoph Fault-tolerant multiparty session types. (English) Zbl 1499.68233 Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 93-113 (2022). MSC: 68Q85 68M14 68M15 68W15 PDF BibTeX XML Cite \textit{K. Peters} et al., Lect. Notes Comput. Sci. 13273, 93--113 (2022; Zbl 1499.68233) Full Text: DOI arXiv OpenURL
Bollig, Benedikt; Finkel, Alain; Suresh, Amrita Branch-well-structured transition systems and extensions. (English) Zbl 1499.68221 Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 50-66 (2022). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{B. Bollig} et al., Lect. Notes Comput. Sci. 13273, 50--66 (2022; Zbl 1499.68221) Full Text: DOI arXiv OpenURL
Bocchi, Laura; Lanese, Ivan; Mezzina, Claudio Antares; Yuen, Shoji The reversible temporal process language. (English) Zbl 1499.68220 Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 31-49 (2022). MSC: 68Q85 68N19 PDF BibTeX XML Cite \textit{L. Bocchi} et al., Lect. Notes Comput. Sci. 13273, 31--49 (2022; Zbl 1499.68220) Full Text: DOI OpenURL
Aceto, Luca; Achilleos, Antonis; Anastasiadi, Elli; Francalanza, Adrian Monitoring hyperproperties with circuits. (English) Zbl 1499.68199 Mousavi, Mohammad Reza (ed.) et al., Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13273, 1-10 (2022). MSC: 68Q60 03B44 68Q85 PDF BibTeX XML Cite \textit{L. Aceto} et al., Lect. Notes Comput. Sci. 13273, 1--10 (2022; Zbl 1499.68199) Full Text: DOI arXiv OpenURL
Liebke, Torsten; Wolf, Karsten Using approximation for the verification of token-scaling models. (English) Zbl 1499.68230 Koutny, Maciej (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency XVI. Berlin: Springer. Lect. Notes Comput. Sci. 13220, 73-90 (2022). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{T. Liebke} and \textit{K. Wolf}, Lect. Notes Comput. Sci. 13220, 73--90 (2022; Zbl 1499.68230) Full Text: DOI OpenURL
Kwantes, Pieter; Kleijn, Jetty Distributed synthesis of asynchronously communicating distributed process models. (English) Zbl 1499.68228 Koutny, Maciej (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency XVI. Berlin: Springer. Lect. Notes Comput. Sci. 13220, 49-72 (2022). MSC: 68Q85 PDF BibTeX XML Cite \textit{P. Kwantes} and \textit{J. Kleijn}, Lect. Notes Comput. Sci. 13220, 49--72 (2022; Zbl 1499.68228) Full Text: DOI OpenURL
Bernardinello, Luca; Lomazova, Irina; Nesterov, Roman; Pomello, Lucia Property-preserving transformations of elementary net systems based on morphisms. (English) Zbl 07570788 Koutny, Maciej (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency XVI. Berlin: Springer. Lect. Notes Comput. Sci. 13220, 1-23 (2022). MSC: 68Q85 PDF BibTeX XML Cite \textit{L. Bernardinello} et al., Lect. Notes Comput. Sci. 13220, 1--23 (2022; Zbl 07570788) Full Text: DOI OpenURL
Bernardinello, Luca (ed.); Petrucci, Laure (ed.) Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19–24, 2022. Proceedings. (English) Zbl 1492.68011 Lecture Notes in Computer Science 13288. Cham: Springer (ISBN 978-3-031-06652-8/pbk; 978-3-031-06653-5/ebook). xiv, 393 p. (2022). MSC: 68-06 68Q85 00B25 PDF BibTeX XML Cite \textit{L. Bernardinello} (ed.) and \textit{L. Petrucci} (ed.), Application and theory of Petri nets and concurrency. 43rd international conference, PETRI NETS 2022, Bergen, Norway, June 19--24, 2022. Proceedings. Cham: Springer (2022; Zbl 1492.68011) Full Text: DOI OpenURL
Mousavi, Mohammad Reza (ed.); Philippou, Anna (ed.) Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13–17, 2022. Proceedings. (English) Zbl 1492.68025 Lecture Notes in Computer Science 13273. Cham: Springer (ISBN 978-3-031-08678-6/pbk; 978-3-031-08679-3/ebook). xiv, 209 p. (2022). MSC: 68-06 68M14 68Q85 00B25 PDF BibTeX XML Cite \textit{M. R. Mousavi} (ed.) and \textit{A. Philippou} (ed.), Formal techniques for distributed objects, components, and systems. 42nd IFIP WG 6.1 international conference, FORTE 2022, held as part of the 17th international federated conference on distributed computing techniques, DisCoTec 2022, Lucca, Italy, June 13--17, 2022. Proceedings. Cham: Springer (2022; Zbl 1492.68025) Full Text: DOI OpenURL
Bitar, Rawad; Xhemrishi, Marvin; Wachter-Zeh, Antonia Adaptive private distributed matrix multiplication. (English) Zbl 1497.94077 IEEE Trans. Inf. Theory 68, No. 4, 2653-2673 (2022). MSC: 94A60 68Q85 68W15 68W30 PDF BibTeX XML Cite \textit{R. Bitar} et al., IEEE Trans. Inf. Theory 68, No. 4, 2653--2673 (2022; Zbl 1497.94077) Full Text: DOI arXiv OpenURL
Prabhakar, Pavithra Bisimulations for neural network reduction. (English) Zbl 1498.68169 Finkbeiner, Bernd (ed.) et al., Verification, model checking, and abstract interpretation. 23rd international conference, VMCAI 2022, Philadelphia, PA, USA, January 16–18, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13182, 285-300 (2022). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{P. Prabhakar}, Lect. Notes Comput. Sci. 13182, 285--300 (2022; Zbl 1498.68169) 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
Kreowski, Hans-Jörg; Kuske, Sabine; Lye, Aaron Transformation of variants of Petri nets into context-dependent fusion grammars. (English) Zbl 1487.68139 Inf. Comput. 286, Article ID 104780, 15 p. (2022). MSC: 68Q42 68Q45 68Q85 PDF BibTeX XML Cite \textit{H.-J. Kreowski} et al., Inf. Comput. 286, Article ID 104780, 15 p. (2022; Zbl 1487.68139) Full Text: DOI OpenURL
Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof Posets with interfaces as a model for concurrency. (English) Zbl 07538344 Inf. Comput. 285, Part B, Article ID 104914, 20 p. (2022). MSC: 68Q85 06A06 PDF BibTeX XML Cite \textit{U. Fahrenberg} et al., Inf. Comput. 285, Part B, Article ID 104914, 20 p. (2022; Zbl 07538344) Full Text: DOI OpenURL
Mathur, Shaan; Ostrovsky, Rafail A combinatorial characterization of self-stabilizing population protocols. (English) Zbl 1487.68048 Inf. Comput. 285, Part B, Article ID 104829, 14 p. (2022). MSC: 68M14 68M12 68Q10 68R10 68Q85 PDF BibTeX XML Cite \textit{S. Mathur} and \textit{R. Ostrovsky}, Inf. Comput. 285, Part B, Article ID 104829, 14 p. (2022; Zbl 1487.68048) Full Text: DOI arXiv OpenURL
Koutny, Maciej (ed.); Kordon, Fabrice (ed.); Moldt, Daniel (ed.) Transactions on Petri Nets and Other Models of Concurrency XVI. (English) Zbl 1492.68020 Lecture Notes in Computer Science 13220. Journal Subline. Berlin: Springer (ISBN 978-3-662-65302-9/pbk; 978-3-662-65303-6/ebook). xvii, 141 p. (2022). MSC: 68-06 68Q85 00B15 PDF BibTeX XML Cite \textit{M. Koutny} (ed.) et al., Transactions on Petri Nets and Other Models of Concurrency XVI. Berlin: Springer (2022; Zbl 1492.68020) Full Text: DOI OpenURL
Baxter, James; Ribeiro, Pedro; Cavalcanti, Ana Correction to: “Sound reasoning in tock-CSP”. (English) Zbl 1486.68107 Acta Inf. 59, No. 2-3, 283 (2022). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Baxter} et al., Acta Inf. 59, No. 2--3, 283 (2022; Zbl 1486.68107) Full Text: DOI OpenURL
Huang, Hao-Wei; Wang, Jiun-Chau Regularity results for free Lévy processes. (English) Zbl 1497.46074 Adv. Math. 402, Article ID 108323, 42 p. (2022). MSC: 46L54 PDF BibTeX XML Cite \textit{H.-W. Huang} and \textit{J.-C. Wang}, Adv. Math. 402, Article ID 108323, 42 p. (2022; Zbl 1497.46074) Full Text: DOI arXiv OpenURL
Paliga, Jakub; Ziemiański, Krzysztof Configuration spaces and directed paths on the final precubical set. (English) Zbl 1493.55011 Fundam. Math. 257, No. 3, 229-263 (2022). Reviewer: Philippe Gaucher (Paris) MSC: 55P35 68Q85 55P15 55R80 PDF BibTeX XML Cite \textit{J. Paliga} and \textit{K. Ziemiański}, Fundam. Math. 257, No. 3, 229--263 (2022; Zbl 1493.55011) Full Text: DOI arXiv OpenURL
Ovalle, Daniel Felipe Castro; Shestakov, Ivan Composition color algebras. (English) Zbl 07515330 J. Algebra 602, 83-129 (2022). MSC: 17A70 17A75 PDF BibTeX XML Cite \textit{D. F. C. Ovalle} and \textit{I. Shestakov}, J. Algebra 602, 83--129 (2022; Zbl 07515330) Full Text: DOI OpenURL
Alshehri, Maryam Gharamah Ali; Lytvynov, Eugene Hafnian point processes and quasi-free states on the CCR algebra. (English) Zbl 1492.60132 Infin. Dimens. Anal. Quantum Probab. Relat. Top. 25, No. 1, Article ID 2250002, 25 p. (2022). MSC: 60G55 46L30 60G15 PDF BibTeX XML Cite \textit{M. G. A. Alshehri} and \textit{E. Lytvynov}, Infin. Dimens. Anal. Quantum Probab. Relat. Top. 25, No. 1, Article ID 2250002, 25 p. (2022; Zbl 1492.60132) Full Text: DOI arXiv 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
Durier, Adrien; Hirschkoff, Daniel; Sangiorgi, Davide Eager functions as processes. (English) Zbl 1483.68226 Theor. Comput. Sci. 913, 8-42 (2022). MSC: 68Q85 03B40 PDF BibTeX XML Cite \textit{A. Durier} et al., Theor. Comput. Sci. 913, 8--42 (2022; Zbl 1483.68226) Full Text: DOI HAL 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
Baxter, James; Ribeiro, Pedro; Cavalcanti, Ana Sound reasoning in tock-CSP. (English) Zbl 1483.68223 Acta Inf. 59, No. 1, 125-162 (2022); correction ibid. 59, No. 2-3, 283 (2022). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Baxter} et al., Acta Inf. 59, No. 1, 125--162 (2022; Zbl 1483.68223) Full Text: DOI OpenURL
Cano, Mauricio; López, Hugo A.; Pérez, Jorge A.; Rueda, Camilo Session-based concurrency, declaratively. (English) Zbl 07501637 Acta Inf. 59, No. 1, 37-123 (2022). MSC: 68Q85 PDF BibTeX XML Cite \textit{M. Cano} et al., Acta Inf. 59, No. 1, 37--123 (2022; Zbl 07501637) Full Text: DOI OpenURL
Selvaraj, Srinivasan An incremental approach for detecting distributed deadlocks in the generalized model. (English) Zbl 1490.68053 Computing 104, No. 1, 149-168 (2022). MSC: 68M14 68Q85 PDF BibTeX XML Cite \textit{S. Selvaraj}, Computing 104, No. 1, 149--168 (2022; Zbl 1490.68053) Full Text: DOI OpenURL
Bezuglyi, Sergey; Jorgensen, Palle E. T. Harmonic analysis on graphs via Bratteli diagrams and path-space measures. (English) Zbl 1493.37016 Diss. Math. 574, 1-74 (2022). Reviewer: Anatoliy Swishchuk (Calgary) MSC: 37B10 37A46 37H10 42B37 47L50 60J45 28D05 PDF BibTeX XML Cite \textit{S. Bezuglyi} and \textit{P. E. T. Jorgensen}, Diss. Math. 574, 1--74 (2022; Zbl 1493.37016) Full Text: DOI arXiv OpenURL
Janicki, Ryszard; Kleijn, Jetty; Koutny, Maciej; Mikulski, Łukasz Paradigms of concurrency. Observations, behaviours and systems – a Petri net view. (English) Zbl 07477902 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 07477902) Full Text: DOI OpenURL
Aman, Bogdan; Ciobanu, Gabriel Dynamics of reputation in mobile agents systems and weighted timed automata. (English) Zbl 1483.68220 Inf. Comput. 282, Article ID 104653, 22 p. (2022). MSC: 68Q85 68Q45 68Q60 PDF BibTeX XML Cite \textit{B. Aman} and \textit{G. Ciobanu}, Inf. Comput. 282, Article ID 104653, 22 p. (2022; Zbl 1483.68220) Full Text: DOI OpenURL
Fu, Yuxi A thesis for interaction. (English) Zbl 07437215 Theor. Comput. Sci. 897, 114-134 (2022). MSC: 68Q85 68Q10 PDF BibTeX XML Cite \textit{Y. Fu}, Theor. Comput. Sci. 897, 114--134 (2022; Zbl 07437215) Full Text: DOI OpenURL
Gorrieri, Roberto A study on team bisimulation and H-team bisimulation for BPP nets. (English) Zbl 07437214 Theor. Comput. Sci. 897, 83-113 (2022). MSC: 68Q85 03B45 PDF BibTeX XML Cite \textit{R. Gorrieri}, Theor. Comput. Sci. 897, 83--113 (2022; Zbl 07437214) Full Text: DOI OpenURL
Zhang, Yan; Zhu, Zhaohui; Zhang, Jinjin Encoding safety in \(\mathrm{CLL}_R\). (English) Zbl 1489.68173 Theor. Comput. Sci. 897, 64-82 (2022). Reviewer: Martin Lange (Kassel) MSC: 68Q85 03B44 68Q60 PDF BibTeX XML Cite \textit{Y. Zhang} et al., Theor. Comput. Sci. 897, 64--82 (2022; Zbl 1489.68173) Full Text: DOI OpenURL
Yang, Qizhe; Fu, Yuxi Counting nondeterministic computations. (English) Zbl 1491.68125 Theor. Comput. Sci. 897, 49-63 (2022). Reviewer: Damas Gruska (Bratislava) MSC: 68Q85 68Q10 68R10 PDF BibTeX XML Cite \textit{Q. Yang} and \textit{Y. Fu}, Theor. Comput. Sci. 897, 49--63 (2022; Zbl 1491.68125) Full Text: DOI OpenURL
Casal, Filipe; Mordido, Andreia; Vasconcelos, Vasco T. Mixed sessions. (English) Zbl 1498.68181 Theor. Comput. Sci. 897, 23-48 (2022). Reviewer: Antti Valmari (Jyväskylä) MSC: 68Q85 PDF BibTeX XML Cite \textit{F. Casal} et al., Theor. Comput. Sci. 897, 23--48 (2022; Zbl 1498.68181) Full Text: DOI OpenURL
Gommerstadt, Hannah; Jia, Limin; Pfenning, Frank Session-typed concurrent contracts. (English) Zbl 1487.68165 J. Log. Algebr. Methods Program. 124, Article ID 100731, 24 p. (2022). Reviewer: Antti Valmari (Jyväskylä) MSC: 68Q85 68N18 68Q60 PDF BibTeX XML Cite \textit{H. Gommerstadt} et al., J. Log. Algebr. Methods Program. 124, Article ID 100731, 24 p. (2022; Zbl 1487.68165) Full Text: DOI OpenURL
Alpuente, M.; Ballis, D.; Escobar, S.; Sapiña, J. Optimization of rewrite theories by equational partial evaluation. (English) Zbl 1477.68136 J. Log. Algebr. Methods Program. 124, Article ID 100729, 29 p. (2022). MSC: 68Q42 68N19 68Q85 PDF BibTeX XML Cite \textit{M. Alpuente} et al., J. Log. Algebr. Methods Program. 124, Article ID 100729, 29 p. (2022; Zbl 1477.68136) Full Text: DOI OpenURL
Graversen, Eva; Phillips, Iain; Yoshida, Nobuko Event structures for the reversible early internal \(\pi\)-calculus. (English) Zbl 1482.68152 J. Log. Algebr. Methods Program. 124, Article ID 100720, 46 p. (2022). Reviewer: T. C. Mohan (Chennai) MSC: 68Q85 68Q09 68Q55 PDF BibTeX XML Cite \textit{E. Graversen} et al., J. Log. Algebr. Methods Program. 124, Article ID 100720, 46 p. (2022; Zbl 1482.68152) Full Text: DOI OpenURL
Philippou, Anna; Psara, Kyriaki Reversible computation in nets with bonds. (English) Zbl 07432498 J. Log. Algebr. Methods Program. 124, Article ID 100718, 30 p. (2022). Reviewer: T. C. Mohan (Chennai) MSC: 68Q85 PDF BibTeX XML Cite \textit{A. Philippou} and \textit{K. Psara}, J. Log. Algebr. Methods Program. 124, Article ID 100718, 30 p. (2022; Zbl 07432498) 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
Czaja, Ludwik Computing in cause-effect structures. (English) Zbl 1476.68002 Lecture Notes in Networks and Systems 331. Cham: Springer (ISBN 978-3-030-88812-1/hbk; 978-3-030-88815-2/pbk; 978-3-030-88813-8/ebook). xv, 172 p. (2022). MSC: 68-02 68Q09 68Q10 68Q85 68T01 PDF BibTeX XML Cite \textit{L. Czaja}, Computing in cause-effect structures. Cham: Springer (2022; Zbl 1476.68002) Full Text: DOI OpenURL
Blondin, Michael; Englert, Matthias; Finkel, Alain; Göller, Stefan; Haase, Christoph; Lazić, Ranko; Mckenzie, Pierre; Totzke, Patrick The reachability problem for two-dimensional vector addition systems with states. (English) Zbl 1499.68219 J. ACM 68, No. 5, Paper No. 34, 43 p. (2021). MSC: 68Q85 68Q17 PDF BibTeX XML Cite \textit{M. Blondin} et al., J. ACM 68, No. 5, Paper No. 34, 43 p. (2021; Zbl 1499.68219) Full Text: DOI OpenURL
Czerwiński, Wojciech; Lasota, Sławomir; Lazić, Ranko; Leroux, JÉrôme; Mazowiecki, Filip The reachability problem for Petri nets is not elementary. (English) Zbl 1499.68222 J. ACM 68, No. 1, Paper No. 7, 28 p. (2021). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{W. Czerwiński} et al., J. ACM 68, No. 1, Paper No. 7, 28 p. (2021; Zbl 1499.68222) Full Text: DOI OpenURL
Gomes, Leandro; Madeira, Alexandre; Barbosa, Luís Soares A semantics and a logic for Fuzzy Arden Syntax. (English) Zbl 1499.03023 Soft Comput. 25, No. 9, 6789-6805 (2021). MSC: 03B70 03B52 68Q60 68Q85 68N18 PDF BibTeX XML Cite \textit{L. Gomes} et al., Soft Comput. 25, No. 9, 6789--6805 (2021; Zbl 1499.03023) Full Text: DOI OpenURL
De Tommasi, Gianmaria; Motta, Carlo; Petrillo, Alberto; Santini, Stefania Optimization-based assessment of initial-state opacity in Petri nets. (English) Zbl 1497.90228 Masone, Adriano (ed.) et al., Optimization and data science: trends and applications. 5th AIROYoung workshop and AIRO PhD school 2021 joint event, February 8–12, 2021. Cham: Springer. AIRO Springer Ser. 6, 127-138 (2021). MSC: 90C90 68Q85 PDF BibTeX XML Cite \textit{G. De Tommasi} et al., AIRO Springer Ser. 6, 127--138 (2021; Zbl 1497.90228) Full Text: DOI OpenURL
Abba, Abdulrazaq; Cavalcanti, Ana; Jacob, Jeremy Temporal reasoning through automatic translation of tock-CSP into timed automata. (English) Zbl 1498.68147 Campos, Sérgio (ed.) et al., Formal methods: foundations and applications. 24th Brazilian symposium, SBMF 2021, virtual event, December 6–10, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13130, 70-86 (2021). MSC: 68Q60 68Q45 68Q85 PDF BibTeX XML Cite \textit{A. Abba} et al., Lect. Notes Comput. Sci. 13130, 70--86 (2021; Zbl 1498.68147) Full Text: DOI arXiv OpenURL
Bruni, Alessandro; Carbone, Marco; Giustolisi, Rosario; Mödersheim, Sebastian; Schürmann, Carsten Security protocols as choreographies. (English) Zbl 1499.94036 Dougherty, Daniel (ed.) et al., Protocols, strands, and logic. Essays dedicated to Joshua Guttman on the occasion of his 66.66th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13066, 98-111 (2021). MSC: 94A60 68Q85 PDF BibTeX XML Cite \textit{A. Bruni} et al., Lect. Notes Comput. Sci. 13066, 98--111 (2021; Zbl 1499.94036) Full Text: DOI Link OpenURL
Aparicio-Sánchez, Damián; Escobar, Santiago; Meadows, Catherine; Meseguer, José; Sapiña, Julia Protocol analysis with time and space. (English) Zbl 1498.94052 Dougherty, Daniel (ed.) et al., Protocols, strands, and logic. Essays dedicated to Joshua Guttman on the occasion of his 66.66th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13066, 22-49 (2021). MSC: 94A60 68Q85 PDF BibTeX XML Cite \textit{D. Aparicio-Sánchez} et al., Lect. Notes Comput. Sci. 13066, 22--49 (2021; Zbl 1498.94052) Full Text: DOI OpenURL
Kourtis, G.; Dixon, C.; Fisher, M.; Lisitsa, A. Parameterized verification of leader/follower systems via first-order temporal logic. (English) Zbl 1492.68087 Form. Methods Syst. Des. 58, No. 3, 440-468 (2021). MSC: 68Q60 03B44 68Q85 PDF BibTeX XML Cite \textit{G. Kourtis} et al., Form. Methods Syst. Des. 58, No. 3, 440--468 (2021; Zbl 1492.68087) Full Text: DOI 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
Finkbeiner, Bernd; Passing, Noemi Compositional synthesis of modular systems. (English) Zbl 1497.68300 Hou, Zhe (ed.) et al., Automated technology for verification and analysis. 19th international symposium, ATVA 2021, Gold Coast, QLD, Australia, October 18–22, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12971, 303-319 (2021). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{B. Finkbeiner} and \textit{N. Passing}, Lect. Notes Comput. Sci. 12971, 303--319 (2021; Zbl 1497.68300) Full Text: DOI arXiv OpenURL
Lange, Julien (ed.); Mavridou, Anastasia (ed.); Safina, Larisa (ed.); Scalas, Alceste (ed.) Proceedings of the 14th interaction and concurrency experience workshop, ICE, online, June 18, 2021. (English) Zbl 1489.68025 Electronic Proceedings in Theoretical Computer Science (EPTCS) 347. Waterloo: Open Publishing Association (OPA). 95 p., electronic only, open access (2021). MSC: 68-06 68Q85 00B25 PDF BibTeX XML Cite \textit{J. Lange} (ed.) et al., Proceedings of the 14th interaction and concurrency experience workshop, ICE, online, June 18, 2021. Waterloo: Open Publishing Association (OPA) (2021; Zbl 1489.68025) Full Text: DOI Link OpenURL
Kwiatkowska, Marta; Norman, Gethin; Parker, David; Santos, Gabriel Automatic verification of concurrent stochastic systems. (English) Zbl 07544945 Form. Methods Syst. Des. 58, No. 1-2, 188-250 (2021). MSC: 68Q60 68Q85 68Q87 91A15 PDF BibTeX XML Cite \textit{M. Kwiatkowska} et al., Form. Methods Syst. Des. 58, No. 1--2, 188--250 (2021; Zbl 07544945) Full Text: DOI arXiv OpenURL
Dardha, Ornela (ed.); Castiglioni, Valentina (ed.) Proceedings of the combined 28th international workshop on expressiveness in concurrency and the 18th workshop on structural operational semantics, EXPRESS/SOS, Paris, France, online event, August 23, 2021. (English) Zbl 1489.68010 Electronic Proceedings in Theoretical Computer Science (EPTCS) 339. Waterloo: Open Publishing Association (OPA). 92 p., electronic only, open access (2021). MSC: 68-06 68Q55 68Q85 00B25 PDF BibTeX XML Cite \textit{O. Dardha} (ed.) and \textit{V. Castiglioni} (ed.), Proceedings of the combined 28th international workshop on expressiveness in concurrency and the 18th workshop on structural operational semantics, EXPRESS/SOS, Paris, France, online event, August 23, 2021. Waterloo: Open Publishing Association (OPA) (2021; Zbl 1489.68010) Full Text: DOI Link OpenURL
Wesley, Scott; Christakis, Maria; Navas, Jorge A.; Trefler, Richard; Wüstholz, Valentin; Gurfinkel, Arie Compositional verification of smart contracts through communication abstraction. (English) Zbl 1497.68321 Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 429-452 (2021). MSC: 68Q60 68Q85 94A60 PDF BibTeX XML Cite \textit{S. Wesley} et al., Lect. Notes Comput. Sci. 12913, 429--452 (2021; Zbl 1497.68321) Full Text: DOI arXiv OpenURL
Sharma, Divyanjali; Sharma, Subodh Thread-modular analysis of release-acquire concurrency. (English) Zbl 1497.68123 Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 384-404 (2021). MSC: 68N30 68N19 68Q55 68Q85 PDF BibTeX XML Cite \textit{D. Sharma} and \textit{S. Sharma}, Lect. Notes Comput. Sci. 12913, 384--404 (2021; Zbl 1497.68123) Full Text: DOI arXiv OpenURL
Schwarz, Michael; Saan, Simmo; Seidl, Helmut; Apinis, Kalmer; Erhard, Julian; Vojdani, Vesal Improving thread-modular abstract interpretation. (English) Zbl 1497.68122 Drăgoi, Cezara (ed.) et al., Static analysis. 28th international symposium, SAS 2021, Chicago, IL, USA, October 17–19, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12913, 359-383 (2021). MSC: 68N30 68N19 68Q55 68Q85 PDF BibTeX XML Cite \textit{M. Schwarz} et al., Lect. Notes Comput. Sci. 12913, 359--383 (2021; Zbl 1497.68122) Full Text: DOI arXiv OpenURL
Soltanieh, Amin; Siegle, Markus Solving systems of bilinear equations for transition rate reconstruction. (English) Zbl 1496.68248 Hojjat, Hossein (ed.) et al., Fundamentals of software engineering. 9th international conference, FSEN 2021, virtual event, May 19–21, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12818, 157-172 (2021). MSC: 68Q85 68Q87 PDF BibTeX XML Cite \textit{A. Soltanieh} and \textit{M. Siegle}, Lect. Notes Comput. Sci. 12818, 157--172 (2021; Zbl 1496.68248) Full Text: DOI OpenURL
Dokter, Kasper; Arbab, Farhad Protocol scheduling. (English) Zbl 1496.68097 Hojjat, Hossein (ed.) et al., Fundamentals of software engineering. 9th international conference, FSEN 2021, virtual event, May 19–21, 2021. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12818, 3-17 (2021). MSC: 68N19 68M20 68Q45 68Q85 91A80 PDF BibTeX XML Cite \textit{K. Dokter} and \textit{F. Arbab}, Lect. Notes Comput. Sci. 12818, 3--17 (2021; Zbl 1496.68097) Full Text: DOI OpenURL
Souid, Nour Elhouda; Klai, Kais A novel approach for supervisor synthesis to enforce opacity of discrete event systems. (English) Zbl 1496.68195 Gao, Debin (ed.) et al., Information and communications security. 23rd international conference, ICICS 2021, Chongqing, China, November 19–21, 2021. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12919, 210-227 (2021). MSC: 68Q60 68M25 68Q85 93C65 PDF BibTeX XML Cite \textit{N. E. Souid} and \textit{K. Klai}, Lect. Notes Comput. Sci. 12919, 210--227 (2021; Zbl 1496.68195) Full Text: DOI OpenURL
Yoshida, Nobuko; Zhou, Fangyi; Ferreira, Francisco Communicating finite state machines and an extensible toolchain for multiparty session types. (English) Zbl 1487.68168 Bampis, Evripidis (ed.) et al., Fundamentals of computation theory. 23rd international symposium, FCT 2021, Athens, Greece, September 12–15, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12867, 18-35 (2021). MSC: 68Q85 68N19 68Q45 PDF BibTeX XML Cite \textit{N. Yoshida} et al., Lect. Notes Comput. Sci. 12867, 18--35 (2021; Zbl 1487.68168) Full Text: DOI 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
Bodini, Olivier; Dien, Matthieu; Genitrini, Antoine; Peschanski, Frédéric Quantitative and algorithmic aspects of barrier synchronization in concurrency. (English) Zbl 07524075 Discrete Math. Theor. Comput. Sci. 22, No. 3, Paper No. 1, 36 p. (2021). MSC: 68Q85 PDF BibTeX XML Cite \textit{O. Bodini} et al., Discrete Math. Theor. Comput. Sci. 22, No. 3, Paper No. 1, 36 p. (2021; Zbl 07524075) Full Text: Link OpenURL
Lefebvre, Dimitri; Basile, Francesco An approach based on timed Petri nets and tree encoding to implement search algorithms for a class of scheduling problems. (English) Zbl 1484.90038 Inf. Sci. 559, 314-335 (2021). MSC: 90B35 68Q85 90B30 90B40 PDF BibTeX XML Cite \textit{D. Lefebvre} and \textit{F. Basile}, Inf. Sci. 559, 314--335 (2021; Zbl 1484.90038) Full Text: DOI OpenURL
Baumeister, Jan; Coenen, Norine; Bonakdarpour, Borzoo; Finkbeiner, Bernd; Sánchez, César A temporal logic for asynchronous hyperproperties. (English) Zbl 1493.68205 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 694-717 (2021). MSC: 68Q60 03B44 68Q85 PDF BibTeX XML Cite \textit{J. Baumeister} et al., Lect. Notes Comput. Sci. 12759, 694--717 (2021; Zbl 1493.68205) Full Text: DOI arXiv OpenURL
André, Étienne IMITATOR 3: synthesis of timing parameters beyond decidability. (English) Zbl 1493.68202 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 552-565 (2021). MSC: 68Q60 68Q45 68Q85 PDF BibTeX XML Cite \textit{É. André}, Lect. Notes Comput. Sci. 12759, 552--565 (2021; Zbl 1493.68202) Full Text: DOI OpenURL
Beneš, Nikola; Brim, Luboš; Pastva, Samuel; Šafránek, David Computing bottom SCCs symbolically using transition guided reduction. (English) Zbl 1493.68240 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 505-528 (2021). MSC: 68Q85 68R10 PDF BibTeX XML Cite \textit{N. Beneš} et al., Lect. Notes Comput. Sci. 12759, 505--528 (2021; Zbl 1493.68240) Full Text: DOI OpenURL
Johnson, Andrew; Wahl, Thomas Delay-bounded scheduling without delay! (English) Zbl 1493.68113 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 380-402 (2021). MSC: 68N30 68N19 68Q85 PDF BibTeX XML Cite \textit{A. Johnson} and \textit{T. Wahl}, Lect. Notes Comput. Sci. 12759, 380--402 (2021; Zbl 1493.68113) Full Text: DOI arXiv OpenURL
Agarwal, Pratyush; Chatterjee, Krishnendu; Pathak, Shreya; Pavlogiannis, Andreas; Toman, Viktor Stateless model checking under a reads-value-from equivalence. (English) Zbl 1493.68200 Silva, Alexandra (ed.) et al., Computer aided verification. 33rd international conference, CAV 2021, virtual event, July 20–23, 2021. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12759, 341-366 (2021). MSC: 68Q60 68N30 68Q85 PDF BibTeX XML Cite \textit{P. Agarwal} et al., Lect. Notes Comput. Sci. 12759, 341--366 (2021; Zbl 1493.68200) Full Text: DOI arXiv OpenURL
Kaalen, Stefan; Nyberg, Mattias; Mattsson, Olle Transient analysis of hierarchical semi-Markov process models with tool support in Stateflow. (English) Zbl 1491.68124 Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 105-126 (2021). MSC: 68Q85 68Q87 PDF BibTeX XML Cite \textit{S. Kaalen} et al., Lect. Notes Comput. Sci. 12846, 105--126 (2021; Zbl 1491.68124) Full Text: DOI OpenURL
Carnevali, Laura; Paolieri, Marco; Reali, Riccardo; Vicario, Enrico Compositional safe approximation of response time distribution of complex workflows. (English) Zbl 1491.68119 Abate, Alessandro (ed.) et al., Quantitative evaluation of systems. 18th international conference, QEST 2021, Paris, France, August 23–27, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12846, 83-104 (2021). MSC: 68Q85 68Q87 PDF BibTeX XML Cite \textit{L. Carnevali} et al., Lect. Notes Comput. Sci. 12846, 83--104 (2021; Zbl 1491.68119) Full Text: DOI OpenURL