Zhang, Kuize Detectability of labeled weighted automata over monoids. (English) Zbl 07600210 Discrete Event Dyn. Syst. 32, No. 3, 435-494 (2022). MSC: 68Q45 93B07 93C65 PDF BibTeX XML Cite \textit{K. Zhang}, Discrete Event Dyn. Syst. 32, No. 3, 435--494 (2022; Zbl 07600210) Full Text: DOI arXiv OpenURL
Fu, Peng; Kishida, Kohei; Selinger, Peter Linear dependent type theory for quantum programming languages. (English) Zbl 1503.68039 Log. Methods Comput. Sci. 18, No. 3, Paper No. 28, 44 p. (2022). MSC: 68N19 03B38 18M05 68N15 68Q12 81P68 PDF BibTeX XML Cite \textit{P. Fu} et al., Log. Methods Comput. Sci. 18, No. 3, Paper No. 28, 44 p. (2022; Zbl 1503.68039) Full Text: DOI arXiv 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
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
Kavanagh, Ryan Fairness and communication-based semantics for session-typed languages. (English) Zbl 1504.68030 Inf. Comput. 285, Part B, Article ID 104892, 77 p. (2022). MSC: 68N15 68N18 68N19 68N30 68Q42 PDF BibTeX XML Cite \textit{R. Kavanagh}, Inf. Comput. 285, Part B, Article ID 104892, 77 p. (2022; Zbl 1504.68030) Full Text: DOI arXiv 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
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
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
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
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
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
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
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
Parrot, Rémi; Briday, Mikaël; Roux, Olivier H. Timed Petri nets with reset for pipelined synchronous circuit design. (English) Zbl 1489.68166 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, 55-75 (2021). MSC: 68Q85 68Q06 68Q45 68Q60 PDF BibTeX XML Cite \textit{R. Parrot} et al., Lect. Notes Comput. Sci. 12734, 55--75 (2021; Zbl 1489.68166) Full Text: DOI HAL OpenURL
May, David CSP, occam, and Inmos. (English) Zbl 1507.68010 Jones, Cliff B. (ed.) et al., Theories of programming. The life and works of Tony Hoare. New York, NY: Association for Computing Machinery (ACM). ACM Books 39, 271-284 (2021). MSC: 68-03 68M07 68N15 68Q85 PDF BibTeX XML Cite \textit{D. May}, ACM Books 39, 271--284 (2021; Zbl 1507.68010) Full Text: DOI OpenURL
Zhang, Kuize A unified method to decentralized state detection and fault diagnosis/prediction of discrete-event systems. (English) Zbl 07413824 Fundam. Inform. 181, No. 4, 339-371 (2021). MSC: 68Q45 68Q17 PDF BibTeX XML Cite \textit{K. Zhang}, Fundam. Inform. 181, No. 4, 339--371 (2021; Zbl 07413824) Full Text: DOI arXiv OpenURL
Paquet, Hugo Bayesian strategies: probabilistic programs as generalised graphical models. (English) Zbl 1473.68054 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 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. 12648, 519-547 (2021). MSC: 68N30 62H22 68N15 68N19 68Q55 91A80 PDF BibTeX XML Cite \textit{H. Paquet}, Lect. Notes Comput. Sci. 12648, 519--547 (2021; Zbl 1473.68054) Full Text: DOI OpenURL
Lundén, Daniel; Borgström, Johannes; Broman, David Correctness of sequential Monte Carlo inference for probabilistic programming languages. (English) Zbl 1473.68038 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 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. 12648, 404-431 (2021). MSC: 68N15 68N18 68N19 68Q55 68Q87 68T37 PDF BibTeX XML Cite \textit{D. Lundén} et al., Lect. Notes Comput. Sci. 12648, 404--431 (2021; Zbl 1473.68038) Full Text: DOI arXiv OpenURL
Raussen, Martin Strictifying and taming directed paths in higher dimensional automata. (English) Zbl 1474.68204 Math. Struct. Comput. Sci. 31, No. 2, 193-213 (2021). MSC: 68Q85 55U10 68Q70 PDF BibTeX XML Cite \textit{M. Raussen}, Math. Struct. Comput. Sci. 31, No. 2, 193--213 (2021; Zbl 1474.68204) Full Text: DOI arXiv OpenURL
Majumdar, Rupak; Thinniyam, Ramanathan S.; Zetzsche, Georg General decidability results for asynchronous shared-memory programs: higher-order and beyond. (English) Zbl 1467.68040 Groote, Jan Friso (ed.) et al., Tools and algorithms for the construction and analysis of systems. 27th international conference, TACAS 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. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12651, 449-467 (2021). MSC: 68N30 68Q45 68Q60 68Q85 PDF BibTeX XML Cite \textit{R. Majumdar} et al., Lect. Notes Comput. Sci. 12651, 449--467 (2021; Zbl 1467.68040) Full Text: DOI arXiv OpenURL
Zetzsche, Georg The emptiness problem for valence automata over graph monoids. (English) Zbl 1475.68170 Inf. Comput. 277, Article ID 104583, 18 p. (2021). MSC: 68Q45 68Q85 PDF BibTeX XML Cite \textit{G. Zetzsche}, Inf. Comput. 277, Article ID 104583, 18 p. (2021; Zbl 1475.68170) Full Text: DOI arXiv OpenURL
Bérard, B.; Haddad, S.; Picaronny, C.; Safey El Din, M.; Sassolas, M. Polynomial interrupt timed automata: verification and expressiveness. (English) Zbl 1475.68145 Inf. Comput. 277, Article ID 104580, 15 p. (2021). MSC: 68Q45 03B70 68Q25 68Q60 68Q85 PDF BibTeX XML Cite \textit{B. Bérard} et al., Inf. Comput. 277, Article ID 104580, 15 p. (2021; Zbl 1475.68145) Full Text: DOI OpenURL
Luttik, Bas; Yang, Fei The \(\pi\)-calculus is behaviourally complete and orbit-finitely executable. (English) Zbl 07327947 Log. Methods Comput. Sci. 17, No. 1, Paper No. 14, 26 p. (2021). MSC: 68Q85 68Q04 68Q45 PDF BibTeX XML Cite \textit{B. Luttik} and \textit{F. Yang}, Log. Methods Comput. Sci. 17, No. 1, Paper No. 14, 26 p. (2021; Zbl 07327947) Full Text: arXiv Link OpenURL
Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim G.; Mardare, Radu; Tang, Qiyi; van Breugel, Franck Computing probabilistic bisimilarity distances for probabilistic automata. (English) Zbl 07327942 Log. Methods Comput. Sci. 17, No. 1, Paper No. 9, 36 p. (2021). MSC: 68Q85 03B44 68Q45 68Q87 91A15 PDF BibTeX XML Cite \textit{G. Bacci} et al., Log. Methods Comput. Sci. 17, No. 1, Paper No. 9, 36 p. (2021; Zbl 07327942) Full Text: arXiv Link OpenURL
Englert, Matthias; Hofman, Piotr; Lasota, Sławomir; Lazić, Ranko; Leroux, Jérôme; Straszyński, Juliusz A lower bound for the coverability problem in acyclic pushdown VAS. (English) Zbl 07319588 Inf. Process. Lett. 167, Article ID 106079, 6 p. (2021). MSC: 68Q17 68Q42 68Q45 68Q85 PDF BibTeX XML Cite \textit{M. Englert} et al., Inf. Process. Lett. 167, Article ID 106079, 6 p. (2021; Zbl 07319588) Full Text: DOI Link OpenURL
Gutierrez, Julian; Perelli, Giuseppe; Wooldridge, Michael Multi-player games with LDL goals over finite traces. (English) Zbl 1497.68305 Inf. Comput. 276, Article ID 104555, 17 p. (2021). MSC: 68Q60 03B70 68Q45 68Q85 68T42 91A80 PDF BibTeX XML Cite \textit{J. Gutierrez} et al., Inf. Comput. 276, Article ID 104555, 17 p. (2021; Zbl 1497.68305) Full Text: DOI arXiv OpenURL
Jančar, Petr Equivalence of pushdown automata via first-order grammars. (English) Zbl 1477.68153 J. Comput. Syst. Sci. 115, 86-112 (2021). Reviewer: Peter Kostolányi (Bratislava) MSC: 68Q45 68Q42 68Q85 PDF BibTeX XML Cite \textit{P. Jančar}, J. Comput. Syst. Sci. 115, 86--112 (2021; Zbl 1477.68153) Full Text: DOI arXiv OpenURL
Bollig, Benedikt; Fortin, Marie; Gastin, Paul Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic. (English) Zbl 1464.68150 J. Comput. Syst. Sci. 115, 22-53 (2021). MSC: 68Q45 03B70 03D05 68Q85 PDF BibTeX XML Cite \textit{B. Bollig} et al., J. Comput. Syst. Sci. 115, 22--53 (2021; Zbl 1464.68150) Full Text: DOI OpenURL
Vinarskii, E. M.; Zakharov, V. A. On the modeling of sequential reactive systems by means of real time automata. (Russian. English summary) Zbl 07643310 Model. Anal. Inf. Sist. 27, No. 4, 396-411 (2020). MSC: 68Q60 68Q45 68Q85 PDF BibTeX XML Cite \textit{E. M. Vinarskii} and \textit{V. A. Zakharov}, Model. Anal. Inf. Sist. 27, No. 4, 396--411 (2020; Zbl 07643310) Full Text: DOI MNR OpenURL
Feo-Arenis, Sergio; Vujinović, Milan; Westphal, Bernd On implementable timed automata. (English) Zbl 07601087 Gotsman, Alexey (ed.) et al., Formal techniques for distributed objects, components, and systems. 40th IFIP WG 6.1 international conference, FORTE 2020, held as part of the 15th international federated conference on distributed computing techniques, DisCoTec 2020, Valletta, Malta, June 15–19, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12136, 78-95 (2020). MSC: 68M14 68N30 68Q45 68Q85 PDF BibTeX XML Cite \textit{S. Feo-Arenis} et al., Lect. Notes Comput. Sci. 12136, 78--95 (2020; Zbl 07601087) 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
Bozga, Marius; Esparza, Javier; Iosif, Radu; Sifakis, Joseph; Welzel, Christoph Structural invariants for the verification of systems with parameterized architectures. (English) Zbl 1507.68179 Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part I. Cham: Springer. Lect. Notes Comput. Sci. 12078, 228-246 (2020). MSC: 68Q60 68Q45 68Q85 PDF BibTeX XML Cite \textit{M. Bozga} et al., Lect. Notes Comput. Sci. 12078, 228--246 (2020; Zbl 1507.68179) Full Text: DOI arXiv OpenURL
Finkel, Olivier On the high complexity of Petri nets \(\omega \)-languages. (English) Zbl 1503.68172 Janicki, Ryszard (ed.) et al., Application and theory of Petri nets and concurrency. 41st international conference, PETRI NETS 2020, Paris, France, June 24–25, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12152, 69-88 (2020). MSC: 68Q45 03D05 03E15 68Q85 PDF BibTeX XML Cite \textit{O. Finkel}, Lect. Notes Comput. Sci. 12152, 69--88 (2020; Zbl 1503.68172) Full Text: DOI OpenURL
Bouvier, Pierre; Garavel, Hubert; Ponce-de-León, Hernán Automatic decomposition of Petri nets into automata networks – a synthetic account. (English) Zbl 1503.68190 Janicki, Ryszard (ed.) et al., Application and theory of Petri nets and concurrency. 41st international conference, PETRI NETS 2020, Paris, France, June 24–25, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12152, 3-23 (2020). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{P. Bouvier} et al., Lect. Notes Comput. Sci. 12152, 3--23 (2020; Zbl 1503.68190) Full Text: DOI OpenURL
Bell, Paul C.; Semukhin, Pavel Decidability of cutpoint isolation for probabilistic finite automata on letter-bounded inputs. (English) Zbl 07559478 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 22, 16 p. (2020). MSC: 68Q85 PDF BibTeX XML Cite \textit{P. C. Bell} and \textit{P. Semukhin}, LIPIcs -- Leibniz Int. Proc. Inform. 171, Article 22, 16 p. (2020; Zbl 07559478) Full Text: DOI arXiv OpenURL
Trindade, André; Mota, João; Ravara, António Typestates to automata and back: a tool. (English) Zbl 1477.68073 Lange, Julien (ed.) et al., Proceedings of the 13th interaction and concurrency experience workshop, ICE’20, online, June 19, 2020. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 25-42 (2020). MSC: 68N18 68-04 68N19 68Q45 PDF BibTeX XML Cite \textit{A. Trindade} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 324, 25--42 (2020; Zbl 1477.68073) Full Text: arXiv Link OpenURL
Markgraf, Oliver; Hong, Chih-Duo; Lin, Anthony W.; Najib, Muhammad; Neider, Daniel Parameterized synthesis with safety properties. (English) Zbl 1476.68154 Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 273-292 (2020). MSC: 68Q60 68Q32 68Q45 68Q85 68T40 91A80 PDF BibTeX XML Cite \textit{O. Markgraf} et al., Lect. Notes Comput. Sci. 12470, 273--292 (2020; Zbl 1476.68154) Full Text: DOI arXiv OpenURL
Mackay, Julian; Potanin, Alex; Aldrich, Jonathan; Groves, Lindsay Syntactically restricting bounded polymorphism for decidable subtyping. (English) Zbl 1476.68041 Oliveira, Bruno C. d. S. (ed.), Programming languages and systems. 18th Asian symposium, APLAS 2020, Fukuoka, Japan, November 30 – December 2, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12470, 125-144 (2020). MSC: 68N15 68N18 68N19 PDF BibTeX XML Cite \textit{J. Mackay} et al., Lect. Notes Comput. Sci. 12470, 125--144 (2020; Zbl 1476.68041) Full Text: DOI OpenURL
Saeedloei, Neda; Kluźniak, Feliks Optimization of timed scenarios. (English) Zbl 1475.68193 Carvalho, Gustavo (ed.) et al., Formal methods: foundations and applications. 23rd Brazilian symposium, SBMF 2020, Ouro Preto, Brazil, November 25–27, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12475, 119-136 (2020). MSC: 68Q60 68Q45 68Q85 PDF BibTeX XML Cite \textit{N. Saeedloei} and \textit{F. Kluźniak}, Lect. Notes Comput. Sci. 12475, 119--136 (2020; Zbl 1475.68193) Full Text: DOI OpenURL
Kalyani, T.; Sasikala, K.; Thomas, D. G.; Robinson, Thamburaj; Nagar, Atulya K.; Paramasivan, Meenakshi 3D-array token Petri nets generating tetrahedral picture languages. (English) Zbl 1482.68154 Lukić, Tibor (ed.) et al., Combinatorial image analysis. 20th international workshop, IWCIA 2020, Novi Sad, Serbia, July 16–18, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12148, 88-105 (2020). MSC: 68Q85 68Q07 68Q45 68U05 PDF BibTeX XML Cite \textit{T. Kalyani} et al., Lect. Notes Comput. Sci. 12148, 88--105 (2020; Zbl 1482.68154) Full Text: DOI OpenURL
Janicki, Ryszard; Mikulski, Łukasz Algebraic structure of step traces and interval traces. (English) Zbl 1497.68345 Fundam. Inform. 175, No. 1-4, 253-280 (2020). MSC: 68Q85 20M35 68Q45 PDF BibTeX XML Cite \textit{R. Janicki} and \textit{Ł. Mikulski}, Fundam. Inform. 175, No. 1--4, 253--280 (2020; Zbl 1497.68345) Full Text: DOI OpenURL
Amir-Mohammadian, Sepehr; Kari, Chadi Correct audit logging in concurrent systems. (English) Zbl 07313968 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, 115-141 (2020). MSC: 68-XX PDF BibTeX XML Cite \textit{S. Amir-Mohammadian} and \textit{C. Kari}, Electron. Notes Theor. Comput. Sci. 351, 115--141 (2020; Zbl 07313968) Full Text: DOI OpenURL
Grabmayer, Clemens; Fokkink, Wan A complete proof system for 1-free regular expressions modulo bisimilarity. (English) Zbl 1502.68192 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 465-478 (2020). MSC: 68Q85 03B70 68Q45 PDF BibTeX XML Cite \textit{C. Grabmayer} and \textit{W. Fokkink}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 465--478 (2020; Zbl 1502.68192) Full Text: DOI arXiv Link OpenURL
Fu, Peng; Kishida, Kohei; Selinger, Peter Linear dependent type theory for quantum programming languages: extended abstract. (English) Zbl 1502.68076 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 440-453 (2020). MSC: 68N19 03B38 18M05 68N15 68Q12 81P68 PDF BibTeX XML Cite \textit{P. Fu} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 440--453 (2020; Zbl 1502.68076) Full Text: DOI arXiv OpenURL
Zhuo, Xilong; Zhang, Chenyi TFA: an efficient and precise virtual method call resolution for Java. (English) Zbl 1458.68036 Formal Asp. Comput. 32, No. 4-6, 395-416 (2020). MSC: 68N15 68N19 PDF BibTeX XML Cite \textit{X. Zhuo} and \textit{C. Zhang}, Formal Asp. Comput. 32, No. 4--6, 395--416 (2020; Zbl 1458.68036) Full Text: DOI OpenURL
La Torre, Salvatore; Napoli, Margherita; Parlato, Gennaro Reachability of scope-bounded multistack pushdown systems. (English) Zbl 1496.68235 Inf. Comput. 275, Article ID 104588, 26 p. (2020). MSC: 68Q85 68Q45 68Q60 PDF BibTeX XML Cite \textit{S. La Torre} et al., Inf. Comput. 275, Article ID 104588, 26 p. (2020; Zbl 1496.68235) Full Text: DOI OpenURL
Baez, John C.; Master, Jade Open Petri nets. (English) Zbl 1457.68177 Math. Struct. Comput. Sci. 30, No. 3, 314-341 (2020). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 68Q85 18C50 18M05 18N10 68Q55 PDF BibTeX XML Cite \textit{J. C. Baez} and \textit{J. Master}, Math. Struct. Comput. Sci. 30, No. 3, 314--341 (2020; Zbl 1457.68177) Full Text: DOI arXiv OpenURL
Fahrenberg, Uli; Legay, Axel; Quaas, Karin Computing branching distances with quantitative games. (English) Zbl 1464.68239 Theor. Comput. Sci. 847, 134-146 (2020). MSC: 68Q85 68Q45 68Q60 91A80 PDF BibTeX XML Cite \textit{U. Fahrenberg} et al., Theor. Comput. Sci. 847, 134--146 (2020; Zbl 1464.68239) Full Text: DOI OpenURL
Belle, Vaishak; De Raedt, Luc Semiring programming: a semantic framework for generalized sum product problems. (English) Zbl 1490.68176 Int. J. Approx. Reasoning 126, 181-201 (2020). MSC: 68T01 68N19 68T27 PDF BibTeX XML Cite \textit{V. Belle} and \textit{L. De Raedt}, Int. J. Approx. Reasoning 126, 181--201 (2020; Zbl 1490.68176) Full Text: DOI arXiv Link OpenURL
Kuusisto, Antti; Reiter, Fabian Emptiness problems for distributed automata. (English) Zbl 1443.68091 Inf. Comput. 272, Article ID 104503, 16 p. (2020). MSC: 68Q45 68Q85 PDF BibTeX XML Cite \textit{A. Kuusisto} and \textit{F. Reiter}, Inf. Comput. 272, Article ID 104503, 16 p. (2020; Zbl 1443.68091) Full Text: DOI arXiv OpenURL
Qin, Xudong; Bliudze, Simon; Madelaine, Eric; Hou, Zechen; Deng, Yuxin; Zhang, Min SMT-based generation of symbolic automata. (English) Zbl 1443.68114 Acta Inf. 57, No. 3-5, 627-656 (2020). MSC: 68Q85 68Q45 68Q55 68T20 PDF BibTeX XML Cite \textit{X. Qin} et al., Acta Inf. 57, No. 3--5, 627--656 (2020; Zbl 1443.68114) Full Text: DOI OpenURL
Vogler, Walter; Lüttgen, Gerald A linear-time branching-time perspective on interface automata. (English) Zbl 1443.68099 Acta Inf. 57, No. 3-5, 513-550 (2020). MSC: 68Q45 68Q55 68Q85 PDF BibTeX XML Cite \textit{W. Vogler} and \textit{G. Lüttgen}, Acta Inf. 57, No. 3--5, 513--550 (2020; Zbl 1443.68099) Full Text: DOI OpenURL
Dylus, Sandra; Christiansen, Jan; Teegen, Finn Implementing a library for probabilistic programming using non-strict non-determinism. (English) Zbl 1434.68062 Theory Pract. Log. Program. 20, No. 1, 147-175 (2020). MSC: 68N15 68N17 68N18 68N19 PDF BibTeX XML Cite \textit{S. Dylus} et al., Theory Pract. Log. Program. 20, No. 1, 147--175 (2020; Zbl 1434.68062) Full Text: DOI arXiv OpenURL
Lambers, Leen (ed.); Weber, Jens (ed.) Preface to the special issue on the 11th international conference on graph transformation. (English) Zbl 1433.68022 J. Log. Algebr. Methods Program. 112, Article ID 100525, 2 p. (2020). MSC: 68-06 68Q42 68Q45 00B25 PDF BibTeX XML Cite \textit{L. Lambers} (ed.) and \textit{J. Weber} (ed.), J. Log. Algebr. Methods Program. 112, Article ID 100525, 2 p. (2020; Zbl 1433.68022) Full Text: DOI OpenURL
Juma, Nahid; Dietl, Werner; Tripunitara, Mahesh A computational complexity analysis of tunable type inference for Generic Universe Types. (English) Zbl 1435.68059 Theor. Comput. Sci. 814, 189-209 (2020). MSC: 68N15 68N19 68Q17 68Q25 68R07 PDF BibTeX XML Cite \textit{N. Juma} et al., Theor. Comput. Sci. 814, 189--209 (2020; Zbl 1435.68059) Full Text: DOI OpenURL
Erofeev, Evgeny; Barylska, Kamila; Mikulski, Łukasz; Piątkowski, Marcin Generating all minimal Petri net unsolvable binary words. (English) Zbl 1434.68244 Discrete Appl. Math. 274, 35-53 (2020). MSC: 68Q45 68Q85 68R15 PDF BibTeX XML Cite \textit{E. Erofeev} et al., Discrete Appl. Math. 274, 35--53 (2020; Zbl 1434.68244) Full Text: DOI OpenURL
Wißmann, Thorsten; Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz Efficient and modular coalgebraic partition refinement. (English) Zbl 1442.68113 Log. Methods Comput. Sci. 16, No. 1, Paper No. 8, 63 p. (2020). MSC: 68Q65 60J22 68Q45 68Q85 68Q87 68W40 PDF BibTeX XML Cite \textit{T. Wißmann} et al., Log. Methods Comput. Sci. 16, No. 1, Paper No. 8, 63 p. (2020; Zbl 1442.68113) Full Text: arXiv OpenURL
Aceto, Luca; Achilleos, Antonis; Francalanza, Adrian; Ingólfsdóttir, Anna; Kjartansson, Sævar Örn Determinizing monitors for HML with recursion. (English) Zbl 1494.68155 J. Log. Algebr. Methods Program. 111, Article ID 100515, 38 p. (2020). MSC: 68Q60 03B70 68Q45 68Q85 PDF BibTeX XML Cite \textit{L. Aceto} et al., J. Log. Algebr. Methods Program. 111, Article ID 100515, 38 p. (2020; Zbl 1494.68155) Full Text: DOI arXiv OpenURL
Masopust, Tomáš Critical observability for automata and Petri nets. (English) Zbl 1483.93041 IEEE Trans. Autom. Control 65, No. 1, 341-346 (2020). MSC: 93B07 68Q45 68Q85 93C65 PDF BibTeX XML Cite \textit{T. Masopust}, IEEE Trans. Autom. Control 65, No. 1, 341--346 (2020; Zbl 1483.93041) Full Text: DOI arXiv 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
André, Étienne; Lime, Didier; Markey, Nicolas Language preservation problems in parametric timed automata. (English) Zbl 1429.68098 Log. Methods Comput. Sci. 16, No. 1, Paper No. 5, 31 p. (2020). MSC: 68Q45 68Q85 PDF BibTeX XML Cite \textit{É. André} et al., Log. Methods Comput. Sci. 16, No. 1, Paper No. 5, 31 p. (2020; Zbl 1429.68098) Full Text: arXiv OpenURL
Wang, Jiacun; Tepfenhart, William Formal methods in computer science. (English) Zbl 1436.68002 Textbooks in Mathematics. Boca Raton, FL: CRC Press (ISBN 978-0-367-22570-4/hbk; 978-1-4987-7532-8/pbk; 978-0-429-18418-5/ebook). xvii, 294 p. (2020). Reviewer: Roger Villemaire (Montréal) MSC: 68-01 03B44 03B70 68Q45 68Q60 68Q85 PDF BibTeX XML Cite \textit{J. Wang} and \textit{W. Tepfenhart}, Formal methods in computer science. Boca Raton, FL: CRC Press (2020; Zbl 1436.68002) Full Text: DOI OpenURL
Maarand, Hendrik; Uustalu, Tarmo Reordering derivatives of trace closures of regular languages. (English) Zbl 07649948 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 40, 16 p. (2019). MSC: 68Q85 PDF BibTeX XML Cite \textit{H. Maarand} and \textit{T. Uustalu}, LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 40, 16 p. (2019; Zbl 07649948) Full Text: DOI OpenURL
Phawade, Ramchandra Kleene theorems for free choice automata over distributed alphabets. (English) Zbl 1464.68258 Koutny, Maciej (ed.) et al., Transactions on Petri Nets and other Models of Concurrency XIV. Berlin: Springer. Lect. Notes Comput. Sci. 11790, 146-171 (2019). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{R. Phawade}, Lect. Notes Comput. Sci. 11790, 146--171 (2019; Zbl 1464.68258) Full Text: DOI arXiv OpenURL
Fahrenberg, Uli; Legay, Axel; Quaas, Karin Computing branching distances using quantitative games. (English) Zbl 1464.68238 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, 59-75 (2019). MSC: 68Q85 68Q45 68Q60 91A80 PDF BibTeX XML Cite \textit{U. Fahrenberg} et al., Lect. Notes Comput. Sci. 11884, 59--75 (2019; Zbl 1464.68238) 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
Barbanera, Franco; de’Liguoro, Ugo; Hennicker, Rolf Connecting open systems of communicating finite state machines. (English) Zbl 1435.68211 J. Log. Algebr. Methods Program. 109, Article ID 100476, 34 p. (2019). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{F. Barbanera} et al., J. Log. Algebr. Methods Program. 109, Article ID 100476, 34 p. (2019; Zbl 1435.68211) Full Text: DOI OpenURL
Guanciale, Roberto; Tuosto, Emilio Realisability of pomsets. (English) Zbl 1435.68213 J. Log. Algebr. Methods Program. 108, 69-89 (2019). MSC: 68Q85 68Q45 68Q60 PDF BibTeX XML Cite \textit{R. Guanciale} and \textit{E. Tuosto}, J. Log. Algebr. Methods Program. 108, 69--89 (2019; Zbl 1435.68213) Full Text: DOI Link OpenURL
Clemente, Lorenzo; Lasota, Sławomir; Lazić, Ranko; Mazowiecki, Filip Binary reachability of timed-register pushdown automata and branching vector addition systems. (English) Zbl 1433.68194 ACM Trans. Comput. Log. 20, No. 3, Article No. 14, 31 p. (2019). MSC: 68Q45 68Q85 PDF BibTeX XML Cite \textit{L. Clemente} et al., ACM Trans. Comput. Log. 20, No. 3, Article No. 14, 31 p. (2019; Zbl 1433.68194) Full Text: DOI Link OpenURL
Johansen, Christian; Owe, Olaf Dynamic structural operational semantics. (English) Zbl 1431.68061 J. Log. Algebr. Methods Program. 107, 79-107 (2019). MSC: 68Q55 68N15 PDF BibTeX XML Cite \textit{C. Johansen} and \textit{O. Owe}, J. Log. Algebr. Methods Program. 107, 79--107 (2019; Zbl 1431.68061) Full Text: DOI arXiv OpenURL
Kahl, Thomas Higher-dimensional automata modeling shared-variable systems. (English) Zbl 1426.68184 Log. Methods Comput. Sci. 15, No. 3, Paper No. 28, 21 p. (2019). Reviewer: Philippe Gaucher (Paris) MSC: 68Q85 68Q70 PDF BibTeX XML Cite \textit{T. Kahl}, Log. Methods Comput. Sci. 15, No. 3, Paper No. 28, 21 p. (2019; Zbl 1426.68184) Full Text: arXiv OpenURL
Kozhevnikov, V. V. Fundamentals of mathematical modeling of cognitive digital automata. (English) Zbl 1463.68054 JNAIAM, J. Numer. Anal. Ind. Appl. Math. 13, No. 1-2, 15-27 (2019). MSC: 68T05 68Q45 68Q85 PDF BibTeX XML Cite \textit{V. V. Kozhevnikov}, JNAIAM, J. Numer. Anal. Ind. Appl. Math. 13, No. 1--2, 15--27 (2019; Zbl 1463.68054) Full Text: Link OpenURL
Kissinger, Aleks; Uijlen, Sander A categorical semantics for causal structure. (English) Zbl 1442.68146 Log. Methods Comput. Sci. 15, No. 3, Paper No. 15, 48 p. (2019). MSC: 68Q85 03G30 18C50 81P16 PDF BibTeX XML Cite \textit{A. Kissinger} and \textit{S. Uijlen}, Log. Methods Comput. Sci. 15, No. 3, Paper No. 15, 48 p. (2019; Zbl 1442.68146) Full Text: arXiv OpenURL
Bertrand, Nathalie; Dewaskar, Miheer; Genest, Blaise; Gimbert, Hugo; Godbole, Adwait Amit Controlling a population. (English) Zbl 1437.68176 Log. Methods Comput. Sci. 15, No. 3, Paper No. 7, 30 p. (2019). MSC: 68T42 68Q17 68Q45 68Q60 68Q85 91A80 93A16 PDF BibTeX XML Cite \textit{N. Bertrand} et al., Log. Methods Comput. Sci. 15, No. 3, Paper No. 7, 30 p. (2019; Zbl 1437.68176) Full Text: arXiv OpenURL
Czerwiński, Wojciech; Lasota, Sławomir Regular separability of one counter automata. (English) Zbl 1440.68154 Log. Methods Comput. Sci. 15, No. 2, Paper No. 20, 27 p. (2019). MSC: 68Q45 68Q17 68Q85 PDF BibTeX XML Cite \textit{W. Czerwiński} and \textit{S. Lasota}, Log. Methods Comput. Sci. 15, No. 2, Paper No. 20, 27 p. (2019; Zbl 1440.68154) Full Text: arXiv OpenURL
Tabareau, Nicolas; Tanter, Éric Chemical foundations of distributed aspects. (English) Zbl 1451.68068 Distrib. Comput. 32, No. 3, 193-216 (2019). MSC: 68N19 68N15 68Q07 68Q10 PDF BibTeX XML Cite \textit{N. Tabareau} and \textit{É. Tanter}, Distrib. Comput. 32, No. 3, 193--216 (2019; Zbl 1451.68068) Full Text: DOI Link OpenURL
Tian, Cong; Duan, Zhenhua Model checking open systems with alternating projection temporal logic. (English) Zbl 1423.68293 Theor. Comput. Sci. 774, 65-81 (2019). MSC: 68Q60 03B44 68Q45 68Q85 PDF BibTeX XML Cite \textit{C. Tian} and \textit{Z. Duan}, Theor. Comput. Sci. 774, 65--81 (2019; Zbl 1423.68293) Full Text: DOI OpenURL
Toro, Mauricio A general overview of formal languages for individual-based modelling of ecosystems. (English) Zbl 1423.68318 J. Log. Algebr. Methods Program. 104, 117-126 (2019). MSC: 68Q85 92D40 PDF BibTeX XML Cite \textit{M. Toro}, J. Log. Algebr. Methods Program. 104, 117--126 (2019; Zbl 1423.68318) Full Text: DOI arXiv OpenURL
Eberhart, Clovis; Hirschowitz, Tom Fibred pseudo double categories for game semantics. (English) Zbl 1412.18006 Theory Appl. Categ. 34, 514-572 (2019). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 18C50 03B70 68Q55 PDF BibTeX XML Cite \textit{C. Eberhart} and \textit{T. Hirschowitz}, Theory Appl. Categ. 34, 514--572 (2019; Zbl 1412.18006) Full Text: Link OpenURL
Fendrich, Sascha; Lüttgen, Gerald A generalised theory of interface automata, component compatibility and error. (English) Zbl 1421.68093 Acta Inf. 56, No. 4, 287-319 (2019). MSC: 68Q45 68Q85 PDF BibTeX XML Cite \textit{S. Fendrich} and \textit{G. Lüttgen}, Acta Inf. 56, No. 4, 287--319 (2019; Zbl 1421.68093) 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
Haucourt, Emmanuel; Ninin, Nicolas Unique decomposition of homogeneous languages and application to isothetic regions. (English) Zbl 1418.68129 Math. Struct. Comput. Sci. 29, No. 5, 681-730 (2019). MSC: 68Q70 68N30 68Q85 68R10 PDF BibTeX XML Cite \textit{E. Haucourt} and \textit{N. Ninin}, Math. Struct. Comput. Sci. 29, No. 5, 681--730 (2019; Zbl 1418.68129) Full Text: DOI OpenURL
Brengos, Tomasz; Peressotti, Marco Behavioural equivalences for timed systems. (English) Zbl 1407.68331 Log. Methods Comput. Sci. 15, No. 1, Paper No. 17, 41 p. (2019). MSC: 68Q85 18B20 68Q45 PDF BibTeX XML Cite \textit{T. Brengos} and \textit{M. Peressotti}, Log. Methods Comput. Sci. 15, No. 1, Paper No. 17, 41 p. (2019; Zbl 1407.68331) Full Text: arXiv OpenURL
Giannini, Paola; Servetto, Marco; Zucca, Elena; Cone, James Flexible recovery of uniqueness and immutability. (English) Zbl 1417.68032 Theor. Comput. Sci. 764, 145-172 (2019). MSC: 68N30 68N15 68N19 PDF BibTeX XML Cite \textit{P. Giannini} et al., Theor. Comput. Sci. 764, 145--172 (2019; Zbl 1417.68032) Full Text: DOI arXiv Link OpenURL
Czerwiński, Wojciech; Lasota, Slawomir; Meyer, Roland; Muskalla, Sebastian; Narayan, Kumar K.; Saivasan, Prakash Regular separability of well-structured transition systems. (English) Zbl 07378579 Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 35, 18 p. (2018). MSC: 68Q85 PDF BibTeX XML Cite \textit{W. Czerwiński} et al., LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 35, 18 p. (2018; Zbl 07378579) Full Text: DOI arXiv OpenURL
Brengos, Tomasz A coalgebraic take on regular and \(\omega\)-regular behaviour for systems with internal moves. (English) Zbl 07378569 Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 25, 18 p. (2018). MSC: 68Q85 PDF BibTeX XML Cite \textit{T. Brengos}, LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 25, 18 p. (2018; Zbl 07378569) Full Text: DOI OpenURL
Doumane, Amina; Pous, Damien Completeness for identity-free Kleene lattices. (English) Zbl 07378562 Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 18, 17 p. (2018). MSC: 68Q85 PDF BibTeX XML Cite \textit{A. Doumane} and \textit{D. Pous}, LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 18, 17 p. (2018; Zbl 07378562) Full Text: DOI OpenURL
Bollig, Benedikt; Fortin, Marie; Gastin, Paul It is easy to be wise after the event: communicating finite-state machines capture first-order logic with “happened before”. (English) Zbl 1487.68163 Schewe, Sven (ed.) et al., 29th international conference on concurrency theory. CONCUR 2018, Beijing, China, September 4–7, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 118, Article 7, 17 p. (2018). MSC: 68Q85 03B70 68Q45 PDF BibTeX XML Cite \textit{B. Bollig} et al., LIPIcs -- Leibniz Int. Proc. Inform. 118, Article 7, 17 p. (2018; Zbl 1487.68163) Full Text: DOI arXiv OpenURL
Czerwinski, Wojciech; Hofman, Piotr; Zetzsche, Georg Unboundedness problems for languages of vector addition systems. (English) Zbl 1499.68170 Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 119, 15 p. (2018). MSC: 68Q45 68Q85 PDF BibTeX XML Cite \textit{W. Czerwinski} et al., LIPIcs -- Leibniz Int. Proc. Inform. 107, Article 119, 15 p. (2018; Zbl 1499.68170) Full Text: DOI arXiv OpenURL
Aguirre, Alejandro; Barthe, Gilles; Hsu, Justin; Silva, Alexandra Almost sure productivity. (English) Zbl 1499.68198 Chatzigiannakis, Ioannis (ed.) et al., 45th international colloquium on automata, languages, and programming. ICALP 2018, Prague, Czech Republic, July 9–13, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 107, Article 113, 15 p. (2018). MSC: 68Q55 68N19 68Q10 68Q45 68Q60 PDF BibTeX XML Cite \textit{A. Aguirre} et al., LIPIcs -- Leibniz Int. Proc. Inform. 107, Article 113, 15 p. (2018; Zbl 1499.68198) Full Text: DOI arXiv OpenURL
Sirjani, Marjan; Ghassemi, Fatemeh; Pourvatan, Bahman Reo connectors and components as tagged signal models. (English) Zbl 1462.68113 de Boer, Frank (ed.) et al., It’s all about coordination. Essays to celebrate the lifelong scientific achievements of Farhad Arbab. Cham: Springer. Lect. Notes Comput. Sci. 10865, 160-173 (2018). MSC: 68Q55 68N15 68Q85 PDF BibTeX XML Cite \textit{M. Sirjani} et al., Lect. Notes Comput. Sci. 10865, 160--173 (2018; Zbl 1462.68113) Full Text: DOI OpenURL
van Heerdt, Gerco; Jacobs, Bart; Kappé, Tobias; Silva, Alexandra Learning to coordinate. (English) Zbl 1462.68111 de Boer, Frank (ed.) et al., It’s all about coordination. Essays to celebrate the lifelong scientific achievements of Farhad Arbab. Cham: Springer. Lect. Notes Comput. Sci. 10865, 139-159 (2018). MSC: 68Q45 68N15 68Q32 68Q85 PDF BibTeX XML Cite \textit{G. van Heerdt} et al., Lect. Notes Comput. Sci. 10865, 139--159 (2018; Zbl 1462.68111) Full Text: DOI OpenURL
Jongmans, Sung-Shik Formalizing propagation of priorities in Reo, using eight colors. (English) Zbl 1462.68124 de Boer, Frank (ed.) et al., It’s all about coordination. Essays to celebrate the lifelong scientific achievements of Farhad Arbab. Cham: Springer. Lect. Notes Comput. Sci. 10865, 122-138 (2018). MSC: 68Q85 68N15 PDF BibTeX XML Cite \textit{S.-S. Jongmans}, Lect. Notes Comput. Sci. 10865, 122--138 (2018; Zbl 1462.68124) Full Text: DOI Link OpenURL
Figueiredo, Daniel; Martins, Manuel A.; Barbosa, Luís S. A note on reactive transitions and Reo connectors. (English) Zbl 1462.68123 de Boer, Frank (ed.) et al., It’s all about coordination. Essays to celebrate the lifelong scientific achievements of Farhad Arbab. Cham: Springer. Lect. Notes Comput. Sci. 10865, 57-67 (2018). MSC: 68Q85 03B70 68N15 PDF BibTeX XML Cite \textit{D. Figueiredo} et al., Lect. Notes Comput. Sci. 10865, 57--67 (2018; Zbl 1462.68123) Full Text: DOI Link OpenURL
Gimbert, Hugo On the control of asynchronous automata. (English) Zbl 1491.68123 Lokam, Satya (ed.) et al., 37th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2017, IIT Kanpur, India, December 12–14, 2017. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 93, Article 30, 15 p. (2018). MSC: 68Q85 68Q45 93B50 PDF BibTeX XML Cite \textit{H. Gimbert}, LIPIcs -- Leibniz Int. Proc. Inform. 93, Article 30, 15 p. (2018; Zbl 1491.68123) Full Text: DOI arXiv OpenURL
Bollig, Benedikt; Fortin, Marie; Gastin, Paul Communicating finite-state machines and two-variable logic. (English) Zbl 1487.68140 Niedermeier, Rolf (ed.) et al., 35th symposium on theoretical aspects of computer science, STACS 2018, Caen, France, February 28 – March 3, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 96, Article 17, 14 p. (2018). MSC: 68Q45 03B70 03D05 68Q85 PDF BibTeX XML Cite \textit{B. Bollig} et al., LIPIcs -- Leibniz Int. Proc. Inform. 96, Article 17, 14 p. (2018; Zbl 1487.68140) Full Text: DOI arXiv OpenURL
Bertrand, Clément; Klaudel, Hanna; Latapy, Matthieu; Peschanski, Frédéric Pattern matching in link streams: a token-based approach. (English) Zbl 1427.68182 Khomenko, Victor (ed.) et al., Application and theory of Petri nets and concurrency. 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10877, 227-247 (2018). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{C. Bertrand} et al., Lect. Notes Comput. Sci. 10877, 227--247 (2018; Zbl 1427.68182) Full Text: DOI HAL OpenURL
Enitha Dorothy, G.; Beulah, Immanuel Graph-token Petri nets. (English) Zbl 1423.68305 South East Asian J. Math. Math. Sci. 14, No. 3, 133-142 (2018). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{G. Enitha Dorothy} and \textit{I. Beulah}, South East Asian J. Math. Math. Sci. 14, No. 3, 133--142 (2018; Zbl 1423.68305) OpenURL
Hausmann, Daniel; Schröder, Lutz; Deifel, Hans-Peter Permutation games for the weakly aconjunctive \(\mu \)-calculus. (English) Zbl 1423.68307 Beyer, Dirk (ed.) et al., Tools and algorithms for the construction and analysis of systems. 24th international conference, TACAS 2018, held as part of the European joint conferences on theory and practice of software, ETAPS 2018, Thessaloniki, Greece, April 14–20, 2018. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10806, 361-378 (2018). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{D. Hausmann} et al., Lect. Notes Comput. Sci. 10806, 361--378 (2018; Zbl 1423.68307) Full Text: DOI arXiv OpenURL
Gommerstadt, Hannah; Jia, Limin; Pfenning, Frank Session-typed concurrent contracts. (English) Zbl 1418.68025 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, 771-798 (2018). MSC: 68N15 68N19 PDF BibTeX XML Cite \textit{H. Gommerstadt} et al., Lect. Notes Comput. Sci. 10801, 771--798 (2018; Zbl 1418.68025) Full Text: DOI OpenURL