Wen, Tangliu; Peng, Jie; Xue, Jinyun; You, Zhen; Song, Lan Strict linearizability and abstract atomicity. (English) Zbl 07334845 Int. J. Found. Comput. Sci. 32, No. 1, 1-35 (2021). MSC: 68Q85 PDF BibTeX XML Cite \textit{T. Wen} et al., Int. J. Found. Comput. Sci. 32, No. 1, 1--35 (2021; Zbl 07334845) Full Text: DOI
Li, Rui; Zhang, Qi; Chu, Tianguang Reduction and analysis of Boolean control networks by bisimulation. (English) Zbl 07332065 SIAM J. Control Optim. 59, No. 2, 1033-1056 (2021). MSC: 06E30 93C55 93A15 93B99 PDF BibTeX XML Cite \textit{R. Li} et al., SIAM J. Control Optim. 59, No. 2, 1033--1056 (2021; Zbl 07332065) Full Text: DOI
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
Prokić, Ivan; Vieira, Hugo Torres The \(C_\pi\)-calculus: a model for confidential name passing. (English) Zbl 1455.68128 J. Log. Algebr. Methods Program. 119, Article ID 100622, 32 p. (2021). MSC: 68Q85 68M25 PDF BibTeX XML Cite \textit{I. Prokić} and \textit{H. T. Vieira}, J. Log. Algebr. Methods Program. 119, Article ID 100622, 32 p. (2021; Zbl 1455.68128) Full Text: DOI
Bozga, Marius; Iosif, Radu; Sifakis, Joseph Checking deadlock-freedom of parametric component-based systems. (English) Zbl 1455.68102 J. Log. Algebr. Methods Program. 119, Article ID 100621, 23 p. (2021). MSC: 68Q60 03B70 68Q85 PDF BibTeX XML Cite \textit{M. Bozga} et al., J. Log. Algebr. Methods Program. 119, Article ID 100621, 23 p. (2021; Zbl 1455.68102) Full Text: DOI
Barbanera, Franco; Dezani-Ciancaglini, Mariangiola; Lanese, Ivan; Tuosto, Emilio Composition and decomposition of multiparty sessions. (English) Zbl 07316060 J. Log. Algebr. Methods Program. 119, Article ID 100620, 35 p. (2021). MSC: 68Q85 PDF BibTeX XML Cite \textit{F. Barbanera} et al., J. Log. Algebr. Methods Program. 119, Article ID 100620, 35 p. (2021; Zbl 07316060) Full Text: DOI
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
Sharma, Arpit The linear time-branching time spectrum of equivalences for stochastic systems with non-determinism. (English) Zbl 07286333 Theor. Comput. Sci. 850, 148-167 (2021). MSC: 68Q PDF BibTeX XML Cite \textit{A. Sharma}, Theor. Comput. Sci. 850, 148--167 (2021; Zbl 07286333) Full Text: DOI
Jančar, Petr Equivalence of pushdown automata via first-order grammars. (English) Zbl 07265470 J. Comput. Syst. Sci. 115, 86-112 (2021). MSC: 68 PDF BibTeX XML Cite \textit{P. Jančar}, J. Comput. Syst. Sci. 115, 86--112 (2021; Zbl 07265470) Full Text: DOI
Alexandrov, A.; Andreev, R.; Ilchev, S.; Boneva, A.; Ivanov, S.; Doshev, J. Modeling and simulation of low power wireless sensor networks based on generalized nets. (English) Zbl 1440.68025 Dimov, Ivan (ed.) et al., Advances in high performance computing. Results of the international conference on high performance computing, Borovets, Bulgaria, September 2–6, 2019. Cham: Springer. Stud. Comput. Intell. 902, 3-14 (2021). MSC: 68M18 68Q85 PDF BibTeX XML Cite \textit{A. Alexandrov} et al., Stud. Comput. Intell. 902, 3--14 (2021; Zbl 1440.68025) Full Text: DOI
Huang, Bo; Zhou, MengChu Supervisory control and scheduling of resource allocation systems. Reachability graph perspective. (English) Zbl 1456.93001 IEEE Press Series on Systems Science and Engineering. Piscataway, NJ: IEEE Press; Hoboken, NJ: John Wiley & Sons (ISBN 978-1-119-61968-0/hbk; 978-1-119-61972-7/ebook). xxv, 256 p. (2020). MSC: 93-02 93B03 91B32 90B35 68Q85 PDF BibTeX XML Cite \textit{B. Huang} and \textit{M. Zhou}, Supervisory control and scheduling of resource allocation systems. Reachability graph perspective. Piscataway, NJ: IEEE Press; Hoboken, NJ: John Wiley \& Sons (2020; Zbl 1456.93001) Full Text: DOI
Tavassoli, Shaghayegh; Khosravi, Ramtin; Khamespanah, Ehsan Finite interval-time transition system for real-time actors. (English) Zbl 07316485 Barbosa, Luís Soares (ed.) et al., Topics in theoretical computer science. Third IFIP WG 1.8 international conference, TTCS 2020, Tehran, Iran, July 1–2, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-57851-0/pbk; 978-3-030-57852-7/ebook). Lecture Notes in Computer Science 12281, 85-100 (2020). MSC: 68Qxx 68R10 68U05 PDF BibTeX XML Cite \textit{S. Tavassoli} et al., Lect. Notes Comput. Sci. 12281, 85--100 (2020; Zbl 07316485) Full Text: DOI
König, Barbara; Mika-Michalski, Christina; Schröder, Lutz Explaining non-bisimilarity in a coalgebraic approach: games and distinguishing formulas. (English) Zbl 07314152 Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-57200-6/pbk; 978-3-030-57201-3/ebook). Lecture Notes in Computer Science 12094, 133-154 (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{B. König} et al., Lect. Notes Comput. Sci. 12094, 133--154 (2020; Zbl 07314152) Full Text: DOI
Gainer, Paul; Linker, Sven; Dixon, Clare; Hustadt, Ullrich; Fisher, Michael Multi-scale verification of distributed synchronisation. (English) Zbl 07307311 Form. Methods Syst. Des. 55, No. 3, 171-221 (2020). MSC: 68 PDF BibTeX XML Cite \textit{P. Gainer} et al., Form. Methods Syst. Des. 55, No. 3, 171--221 (2020; Zbl 07307311) Full Text: DOI
Göller, Stefan; Parys, Paweł Bisimulation finiteness of pushdown systems is elementary. (English) Zbl 07299493 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) (ISBN 978-1-4503-7104-9). 521-534 (2020). MSC: 68 PDF BibTeX XML Cite \textit{S. Göller} and \textit{P. Parys}, 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). 521--534 (2020; Zbl 07299493) Full Text: DOI
Belardinelli, Francesco; Dima, Catalin; Malvone, Vadim; Tiplea, Ferucio A Hennessy-Milner theorem for ATL with imperfect information. (English) Zbl 07299468 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) (ISBN 978-1-4503-7104-9). 181-194 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{F. Belardinelli} 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). 181--194 (2020; Zbl 07299468) Full Text: DOI
Leroux, Jérôme When reachability meets Grzegorczyk. (English) Zbl 07299453 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) (ISBN 978-1-4503-7104-9). 1-6 (2020). MSC: 68Q85 PDF BibTeX XML Cite \textit{J. Leroux}, 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). 1--6 (2020; Zbl 07299453) Full Text: DOI
Yang, Chao; Li, Yongming Approximate bisimulations and state reduction of fuzzy automata under fuzzy similarity measures. (English) Zbl 1452.68111 Fuzzy Sets Syst. 391, 72-95 (2020). MSC: 68Q45 PDF BibTeX XML Cite \textit{C. Yang} and \textit{Y. Li}, Fuzzy Sets Syst. 391, 72--95 (2020; Zbl 1452.68111) Full Text: DOI
Nguyen, Linh Anh; Ha, Quang-Thuy; Nguyen, Ngoc-Thanh; Nguyen, Thi Hong Khanh; Tran, Thanh-Luong Bisimulation and bisimilarity for fuzzy description logics under the Gödel semantics. (English) Zbl 1452.68187 Fuzzy Sets Syst. 388, 146-178 (2020). MSC: 68T27 03B52 68T30 68T37 PDF BibTeX XML Cite \textit{L. A. Nguyen} et al., Fuzzy Sets Syst. 388, 146--178 (2020; Zbl 1452.68187) Full Text: DOI
Badia, Guillermo; Olkhovikov, Grigory A Lindström theorem in many-valued modal logic over a finite MTL-chain. (English) Zbl 1452.03066 Fuzzy Sets Syst. 388, 26-37 (2020). MSC: 03B50 03B45 PDF BibTeX XML Cite \textit{G. Badia} and \textit{G. Olkhovikov}, Fuzzy Sets Syst. 388, 26--37 (2020; Zbl 1452.03066) Full Text: DOI
Jain, Manisha; Madeira, Alexandre; Martins, Manuel A. A fuzzy modal logic for fuzzy transition systems. (English) Zbl 1452.68126 Felty, Amy (ed.) et al., 14th international workshop on logical and semantic frameworks, with applications, LSFA 2019, Natal, Brazil, in August 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 348, 85-103 (2020). MSC: 68Q85 03B45 03B52 PDF BibTeX XML Cite \textit{M. Jain} et al., Electron. Notes Theor. Comput. Sci. 348, 85--103 (2020; Zbl 1452.68126) Full Text: DOI
Tan, Jinhao; Li, Guoqiang Bounded model checking liveness on basic parallel processes. (Chinese. English summary) Zbl 07295746 J. Softw. 31, No. 8, 2388-2403 (2020). MSC: 68Q60 03B44 68Q85 68R07 PDF BibTeX XML Cite \textit{J. Tan} and \textit{G. Li}, J. Softw. 31, No. 8, 2388--2403 (2020; Zbl 07295746) Full Text: DOI
Bozhenkova, E. N.; Virbitskaite, I. B. Testing equivalences of time Petri nets. (English. Russian original) Zbl 1455.68118 Program. Comput. Softw. 46, No. 4, 251-260 (2020); translation from Programmirovanie 46, No. 4, 3-13 (2020). MSC: 68Q85 68Q55 PDF BibTeX XML Cite \textit{E. N. Bozhenkova} and \textit{I. B. Virbitskaite}, Program. Comput. Softw. 46, No. 4, 251--260 (2020; Zbl 1455.68118); translation from Programmirovanie 46, No. 4, 3--13 (2020) Full Text: DOI
Åman Pohjola, Johannes Psi-calculi revisited: connectivity and compositionality. (English) Zbl 07288621 Log. Methods Comput. Sci. 16, No. 4, Paper No. 16, 28 p. (2020). MSC: 03B70 68 PDF BibTeX XML Cite \textit{J. Åman Pohjola}, Log. Methods Comput. Sci. 16, No. 4, Paper No. 16, 28 p. (2020; Zbl 07288621) Full Text: Link arXiv
Bezhanishvili, Nick; Henke, Tim A model-theoretic approach to descriptive general frames: the van Benthem characterization theorem. (English) Zbl 07285872 J. Log. Comput. 30, No. 7, 1331-1355 (2020). MSC: 03 68 PDF BibTeX XML Cite \textit{N. Bezhanishvili} and \textit{T. Henke}, J. Log. Comput. 30, No. 7, 1331--1355 (2020; Zbl 07285872) Full Text: DOI
Gorrieri, Roberto Team equivalences for finite-state machines with silent moves. (English) Zbl 07285760 Inf. Comput. 275, Article ID 104603, 47 p. (2020). MSC: 68Q PDF BibTeX XML Cite \textit{R. Gorrieri}, Inf. Comput. 275, Article ID 104603, 47 p. (2020; Zbl 07285760) Full Text: DOI
Baez, John C.; Master, Jade Open Petri nets. (English) Zbl 07283037 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 07283037) Full Text: DOI
Tarasyuk, Igor Valerievich Discrete time stochastic and deterministic Petri box calculus dtsdPBC. (English) Zbl 1448.68352 Sib. Èlektron. Mat. Izv. 17, 1598-1679 (2020). MSC: 68Q85 68Q55 68Q87 PDF BibTeX XML Cite \textit{I. V. Tarasyuk}, Sib. Èlektron. Mat. Izv. 17, 1598--1679 (2020; Zbl 1448.68352) Full Text: DOI
Gutierrez, Julian; Najib, Muhammad; Perelli, Giuseppe; Wooldridge, Michael Automated temporal equilibrium analysis: verification and synthesis of multi-player games. (English) Zbl 07274584 Artif. Intell. 287, Article ID 103353, 26 p. (2020). MSC: 68T PDF BibTeX XML Cite \textit{J. Gutierrez} et al., Artif. Intell. 287, Article ID 103353, 26 p. (2020; Zbl 07274584) Full Text: DOI
Diaconescu, Denisa Modal equivalence and bisimilarity in many-valued modal logics with many-valued accessibility relations. (English) Zbl 07274552 Fundam. Inform. 173, No. 2-3, 177-189 (2020). MSC: 68 PDF BibTeX XML Cite \textit{D. Diaconescu}, Fundam. Inform. 173, No. 2--3, 177--189 (2020; Zbl 07274552) Full Text: DOI
Hüls, Jannik Model checking hybrid Petri nets with multiple general transition firings. (English) Zbl 1446.68001 Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.). 216 p. (2020). MSC: 68-02 68Q60 68Q85 PDF BibTeX XML Cite \textit{J. Hüls}, Model checking hybrid Petri nets with multiple general transition firings. Münster: Univ. Münster, Mathematisch-Naturwissenschaftliche Fakultät, Fachbereich Mathematik und Informatik (Diss.) (2020; Zbl 1446.68001)
Zhang, Heng; Cui, Qiang; Hou, Pengpeng; Wu, Yanjun; Zhao, Chen Accelerating core decomposition in complex network on GPUs. (Chinese. English summary) Zbl 07267120 J. Softw. 31, No. 4, 1225-1239 (2020). MSC: 05C82 68Q85 PDF BibTeX XML Cite \textit{H. Zhang} et al., J. Softw. 31, No. 4, 1225--1239 (2020; Zbl 07267120) Full Text: DOI
Schewe, Klaus-Dieter; Aït-Ameur, Yamine; Benyagoub, Sarah Realisability of choreographies. (English) Zbl 07266057 Herzig, Andreas (ed.) et al., Foundations of information and knowledge systems. 11th international symposium, FoIKS 2020, Dortmund, Germany, February 17–21, 2020. Proceedings. Cham: Springer (ISBN 978-3-030-39950-4/pbk; 978-3-030-39951-1/ebook). Lecture Notes in Computer Science 12012, 263-280 (2020). MSC: 68Q85 PDF BibTeX XML Cite \textit{K.-D. Schewe} et al., Lect. Notes Comput. Sci. 12012, 263--280 (2020; Zbl 07266057) Full Text: DOI
Xu, Xiangru; Ozay, Necmiye; Gupta, Vijay Passivity-based analysis of sampled and quantized control implementations. (English) Zbl 1451.93283 Automatica 119, Article ID 109064, 13 p. (2020). MSC: 93D05 93C62 93B52 PDF BibTeX XML Cite \textit{X. Xu} et al., Automatica 119, Article ID 109064, 13 p. (2020; Zbl 1451.93283) Full Text: DOI
Zorin, A. V.; Tretyakov, N. P. Calculation of transition probabilities in quantum mechanics with a nonnegative distribution function in the Maple computer algebra system. (English. Russian original) Zbl 1450.81069 Comput. Math. Math. Phys. 60, No. 1, 82-89 (2020); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 1, 88-95 (2020). MSC: 81V45 81S30 81S20 81P15 81P05 81V80 65L60 68Q85 81-08 PDF BibTeX XML Cite \textit{A. V. Zorin} and \textit{N. P. Tretyakov}, Comput. Math. Math. Phys. 60, No. 1, 82--89 (2020; Zbl 1450.81069); translation from Zh. Vychisl. Mat. Mat. Fiz. 60, No. 1, 88--95 (2020) Full Text: DOI
Johnson, Robert F.; Winfree, Erik Verifying polymer reaction networks using bisimulation. (English) Zbl 07260167 Theor. Comput. Sci. 843, 84-114 (2020). MSC: 68Q PDF BibTeX XML Cite \textit{R. F. Johnson} and \textit{E. Winfree}, Theor. Comput. Sci. 843, 84--114 (2020; Zbl 07260167) Full Text: DOI
Konnov, Igor (ed.); Kovács, Laura (ed.) 31st international conference on concurrency theory. CONCUR 2020, September 1–4, 2020, Vienna, Austria, virtual conference. Proceedings. (English) Zbl 1445.68020 LIPIcs – Leibniz International Proceedings in Informatics 171. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-160-3). xvi, 50 articles, not consecutively paged, electronic only, open access (2020). MSC: 68-06 68Q85 00B25 PDF BibTeX XML Cite \textit{I. Konnov} (ed.) and \textit{L. Kovács} (ed.), 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 (2020; Zbl 1445.68020) Full Text: DOI Link
Zuleger, Florian The polynomial complexity of vector addition systems with states. (English) Zbl 1442.68154 Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 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. 12077, 622-641 (2020). MSC: 68Q85 68Q25 PDF BibTeX XML Cite \textit{F. Zuleger}, Lect. Notes Comput. Sci. 12077, 622--641 (2020; Zbl 1442.68154) Full Text: DOI
Akshay, S.; Genest, Blaise; Hélouët, Loïc; Mital, Sharvik Timed negotiations. (English) Zbl 07250931 Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 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 (ISBN 978-3-030-45230-8/pbk; 978-3-030-45231-5/ebook). Lecture Notes in Computer Science 12077, 37-56 (2020). MSC: 68Q85 PDF BibTeX XML Cite \textit{S. Akshay} et al., Lect. Notes Comput. Sci. 12077, 37--56 (2020; Zbl 07250931) Full Text: DOI
Salamanca Téllez, Julián Lattices do not distribute over powerset. (English) Zbl 07250031 Algebra Univers. 81, No. 4, Paper No. 49, 11 p. (2020). MSC: 06B25 06A12 18A23 18C15 68Q85 68Q65 PDF BibTeX XML Cite \textit{J. Salamanca Téllez}, Algebra Univers. 81, No. 4, Paper No. 49, 11 p. (2020; Zbl 07250031) Full Text: DOI
Ko, Jeremy The amortized analysis of a non-blocking chromatic tree. (English) Zbl 07248836 Theor. Comput. Sci. 840, 59-121 (2020). MSC: 68P05 68Q85 PDF BibTeX XML Cite \textit{J. Ko}, Theor. Comput. Sci. 840, 59--121 (2020; Zbl 07248836) Full Text: DOI
Cavalcanti, Ana; Hierons, Robert M.; Nogueira, Sidney Inputs and outputs in CSP. A model and a testing theory. (English) Zbl 1446.68103 ACM Trans. Comput. Log. 21, No. 3, Article No. 24, 53 p. (2020). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{A. Cavalcanti} et al., ACM Trans. Comput. Log. 21, No. 3, Article No. 24, 53 p. (2020; Zbl 1446.68103) Full Text: DOI
Carreiro, Facundo; Facchini, Alessandro; Venema, Yde; Zanasi, Fabio The power of the weak. (English) Zbl 1446.68089 ACM Trans. Comput. Log. 21, No. 2, Article No. 15, 47 p. (2020). MSC: 68Q60 03B16 03B45 68Q45 PDF BibTeX XML Cite \textit{F. Carreiro} et al., ACM Trans. Comput. Log. 21, No. 2, Article No. 15, 47 p. (2020; Zbl 1446.68089) Full Text: DOI
Belton, Robin; Brooks, Robyn; Ebli, Stefania; Fajstrup, Lisbeth; Fasy, Brittany Terese; Ray, Catherine; Sanderson, Nicole; Vidaurre, Elizabeth Towards directed collapsibility (research). (English) Zbl 1440.55013 Acu, Bahar (ed.) et al., Advances in mathematical sciences. AWM research symposium, Houston, TX, USA, April 6–7, 2019. Cham: Springer. Assoc. Women Math. Ser. 21, 255-271 (2020). MSC: 55P99 68Q85 68N30 55P10 57Q05 57Q10 PDF BibTeX XML Cite \textit{R. Belton} et al., Assoc. Women Math. Ser. 21, 255--271 (2020; Zbl 1440.55013) Full Text: DOI
Lin, Huijia; Pass, Rafael; Soni, Pratik Two-round and non-interactive concurrent non-malleable commitments from time-lock puzzles. (English) Zbl 07239252 SIAM J. Comput. 49, No. 4, FOCS17-196-FOCS17-279 (2020). MSC: 94A60 68Q25 68Q85 PDF BibTeX XML Cite \textit{H. Lin} et al., SIAM J. Comput. 49, No. 4, FOCS17--196-FOCS17--279 (2020; Zbl 07239252) Full Text: DOI
Aceto, Luca; Anastasiadi, Elli; Castiglioni, Valentina; Ingólfsdóttir, Anna; Luttik, Bas; Pedersen, Mathias Ruggaard On the axiomatisability of priority. III: Priority strikes again. (English) Zbl 1452.68124 Theor. Comput. Sci. 837, 223-246 (2020). MSC: 68Q85 03B70 PDF BibTeX XML Cite \textit{L. Aceto} et al., Theor. Comput. Sci. 837, 223--246 (2020; Zbl 1452.68124) Full Text: DOI
Cristescu, Ioana; Given-Wilson, Thomas; Legay, Axel Expressiveness of concurrent intensionality. (English) Zbl 07239090 Theor. Comput. Sci. 837, 54-83 (2020). MSC: 68Q85 PDF BibTeX XML Cite \textit{I. Cristescu} et al., Theor. Comput. Sci. 837, 54--83 (2020; Zbl 07239090) Full Text: DOI
Gaucher, Philippe Flows revisited: the model category structure and its left determinedness. (English. French summary) Zbl 1452.18010 Cah. Topol. Géom. Différ. Catég. 61, No. 2, 208-226 (2020). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 18C35 55U35 68Q85 PDF BibTeX XML Cite \textit{P. Gaucher}, Cah. Topol. Géom. Différ. Catég. 61, No. 2, 208--226 (2020; Zbl 1452.18010) Full Text: Link
Jaber, Mohamad; Falcone, Yliès; Attie, Paul; Khalil, Al-Abbass; Hallal, Rayan; El-Hokayem, Antoine From global choreographies to verifiable efficient distributed implementations. (English) Zbl 1452.68125 J. Log. Algebr. Methods Program. 115, Article ID 100577, 23 p. (2020). MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{M. Jaber} et al., J. Log. Algebr. Methods Program. 115, Article ID 100577, 23 p. (2020; Zbl 1452.68125) Full Text: DOI
Castiglioni, Valentina; Tini, Simone Raiders of the lost equivalence: probabilistic branching bisimilarity. (English) Zbl 1441.68145 Inf. Process. Lett. 159-160, Article ID 105947, 9 p. (2020). MSC: 68Q85 68Q87 PDF BibTeX XML Cite \textit{V. Castiglioni} and \textit{S. Tini}, Inf. Process. Lett. 159--160, Article ID 105947, 9 p. (2020; Zbl 1441.68145) Full Text: DOI
Labbé, Sébastien (ed.); Penelle, Vincent (ed.) Mathematical informatics. A photography in 2018. (Informatique mathématique. Une photographie en 2020.) (French) Zbl 1444.68012 CNRS Alpha. Paris: CNRS Éditions (ISBN 978-2-271-13413-4/pbk). 214 p. (2020). MSC: 68-06 14Qxx 68Q85 68R05 68R10 00B15 PDF BibTeX XML Cite \textit{S. Labbé} (ed.) and \textit{V. Penelle} (ed.), Informatique mathématique. Une photographie en 2020. Paris: CNRS Éditions (2020; Zbl 1444.68012)
Behr, Nicolas; Sobociński, Paweł Rule algebras for adhesive categories. (English) Zbl 1444.68083 Log. Methods Comput. Sci. 16, No. 3, Paper No. 2, 38 p. (2020). MSC: 68Q42 18A30 68Q85 PDF BibTeX XML Cite \textit{N. Behr} and \textit{P. Sobociński}, Log. Methods Comput. Sci. 16, No. 3, Paper No. 2, 38 p. (2020; Zbl 1444.68083) Full Text: Link arXiv
Smith, Graeme; Winter, Kirsten; Colvin, Robert J. Linearizability on hardware weak memory models. (English) Zbl 1451.68030 Formal Asp. Comput. 32, No. 1, 1-32 (2020). MSC: 68M07 68Q85 PDF BibTeX XML Cite \textit{G. Smith} et al., Formal Asp. Comput. 32, No. 1, 1--32 (2020; Zbl 1451.68030) Full Text: DOI
Aman, Bogdan; Ciobanu, Gabriel Employing costs in multiagent systems with timed migration and timed communication. (English) Zbl 1440.68306 Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 441-453 (2020). MSC: 68T42 68Q55 68Q60 68Q85 PDF BibTeX XML Cite \textit{B. Aman} and \textit{G. Ciobanu}, Lect. Notes Comput. Sci. 12011, 441--453 (2020; Zbl 1440.68306) Full Text: DOI
Erkens, Rick; Rot, Jurriaan; Luttik, Bas Up-to techniques for branching bisimilarity. (English) Zbl 1440.68176 Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 285-297 (2020). MSC: 68Q85 PDF BibTeX XML Cite \textit{R. Erkens} et al., Lect. Notes Comput. Sci. 12011, 285--297 (2020; Zbl 1440.68176) Full Text: DOI
Tredup, Ronny Parameterized complexity of synthesizing \(b\)-bounded \((m,n)\)-T-systems. (English) Zbl 1440.68179 Chatzigeorgiou, Alexander (ed.) et al., SOFSEM 2020: theory and practice of computer science. 46th international conference on current trends in theory and practice of informatics, SOFSEM 2020, Limassol, Cyprus, January 20–24, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12011, 223-235 (2020). MSC: 68Q85 68Q27 PDF BibTeX XML Cite \textit{R. Tredup}, Lect. Notes Comput. Sci. 12011, 223--235 (2020; Zbl 1440.68179) Full Text: DOI
Bădică, Amelia; Bădică, Costin; Logofătu, Doina; Buligiu, Ion; Ciora, Liviu Modeling block structured project scheduling with resource constraints. (English) Zbl 1437.68162 Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 12th international conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11958, 484-492 (2020). MSC: 68T20 68N17 68Q85 90B35 PDF BibTeX XML Cite \textit{A. Bădică} et al., Lect. Notes Comput. Sci. 11958, 484--492 (2020; Zbl 1437.68162) Full Text: DOI
Alexandrov, Alexander; Monov, Vladimir; Tashev, Tasho Generalized nets model of data parallel processing in large scale wireless sensor networks. (English) Zbl 1437.68027 Lirkov, Ivan (ed.) et al., Large-scale scientific computing. 12th international conference, LSSC 2019, Sozopol, Bulgaria, June 10–14, 2019. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11958, 475-483 (2020). MSC: 68M18 68Q85 PDF BibTeX XML Cite \textit{A. Alexandrov} et al., Lect. Notes Comput. Sci. 11958, 475--483 (2020; Zbl 1437.68027) Full Text: DOI
Kurahashi, Taishi Uniform Lyndon interpolation property in propositional modal logics. (English) Zbl 07222137 Arch. Math. Logic 59, No. 5-6, 659-678 (2020). MSC: 03B45 03F45 PDF BibTeX XML Cite \textit{T. Kurahashi}, Arch. Math. Logic 59, No. 5--6, 659--678 (2020; Zbl 07222137) Full Text: DOI
Kapus-Kolar, Monika Realizable causal-consistent reversible choreographies for systems with first-in-first-out communication channels. (English) Zbl 1451.68191 J. Log. Algebr. Methods Program. 114, Article ID 100560, 21 p. (2020). MSC: 68Q85 68Q55 PDF BibTeX XML Cite \textit{M. Kapus-Kolar}, J. Log. Algebr. Methods Program. 114, Article ID 100560, 21 p. (2020; Zbl 1451.68191) Full Text: DOI
Simone, Pernice; Laura, Follia; Gianfranco, Balbo; Luciano, Milanesi; Giulia, Sartini; Niccoló, Totis; Pietro, Lió; Ivan, Merelli; Francesca, Cordero; Marco, Beccuti Integrating Petri nets and flux balance methods in computational biology models: a methodological and computational practice. (English) Zbl 1444.92035 Fundam. Inform. 171, No. 1-4, 367-392 (2020). MSC: 92C42 68Q85 92-08 PDF BibTeX XML Cite \textit{P. Simone} et al., Fundam. Inform. 171, No. 1--4, 367--392 (2020; Zbl 1444.92035) Full Text: DOI
Bernardinello, Luca; Ferigato, Carlo; Pomello, Lucia Logic and algebra in unfolded Petri nets: on a duality between concurrency and causal dependence. (English) Zbl 07213612 Fundam. Inform. 171, No. 1-4, 39-56 (2020). MSC: 68Q85 03B70 PDF BibTeX XML Cite \textit{L. Bernardinello} et al., Fundam. Inform. 171, No. 1--4, 39--56 (2020; Zbl 07213612) Full Text: DOI
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
Chalopin, Jérémie; Chepoi, Victor A counterexample to Thiagarajan’s conjecture on regular event structures. (English) Zbl 1442.68131 J. Comput. Syst. Sci. 113, 76-100 (2020). MSC: 68Q85 05C12 18M99 52C23 68Q55 PDF BibTeX XML Cite \textit{J. Chalopin} and \textit{V. Chepoi}, J. Comput. Syst. Sci. 113, 76--100 (2020; Zbl 1442.68131) Full Text: DOI
Calk, Cameron; Goubault, Eric; Malbos, Philippe Time-reversal homotopical properties of concurrent systems. (English) Zbl 1440.18009 Homology Homotopy Appl. 22, No. 2, 31-57 (2020). MSC: 18C40 55U99 68Q85 PDF BibTeX XML Cite \textit{C. Calk} et al., Homology Homotopy Appl. 22, No. 2, 31--57 (2020; Zbl 1440.18009) Full Text: DOI
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
Jensen, Mathias Claus; Larsen, Kim Guldstrand A complete axiomatization of weighted branching bisimulation. (English) Zbl 1448.68343 Acta Inf. 57, No. 3-5, 689-725 (2020). MSC: 68Q85 PDF BibTeX XML Cite \textit{M. C. Jensen} and \textit{K. G. Larsen}, Acta Inf. 57, No. 3--5, 689--725 (2020; Zbl 1448.68343) Full Text: DOI
Jasper, Marc; Schlüter, Maximilian; Steffen, Bernhard Characteristic invariants in Hennessy-Milner logic. (English) Zbl 1443.68113 Acta Inf. 57, No. 3-5, 671-687 (2020). MSC: 68Q85 03B70 68Q60 PDF BibTeX XML Cite \textit{M. Jasper} et al., Acta Inf. 57, No. 3--5, 671--687 (2020; Zbl 1443.68113) Full Text: DOI
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
Gieseking, Manuel; Olderog, Ernst-Rüdiger; Würdemann, Nick Solving high-level Petri games. (English) Zbl 1443.68112 Acta Inf. 57, No. 3-5, 591-626 (2020). MSC: 68Q85 91A80 PDF BibTeX XML Cite \textit{M. Gieseking} et al., Acta Inf. 57, No. 3--5, 591--626 (2020; Zbl 1443.68112) Full Text: DOI
Bouwman, Mark; Luttik, Bas; Willemse, Tim Off-the-shelf automated analysis of liveness properties for just paths. (English) Zbl 1443.68109 Acta Inf. 57, No. 3-5, 551-590 (2020). MSC: 68Q85 68Q55 68Q60 PDF BibTeX XML Cite \textit{M. Bouwman} et al., Acta Inf. 57, No. 3--5, 551--590 (2020; Zbl 1443.68109) Full Text: DOI
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
Baier, Christel; D’Argenio, Pedro R.; Hermanns, Holger On the probabilistic bisimulation spectrum with silent moves. (English) Zbl 1443.68108 Acta Inf. 57, No. 3-5, 465-512 (2020). MSC: 68Q85 68Q87 PDF BibTeX XML Cite \textit{C. Baier} et al., Acta Inf. 57, No. 3--5, 465--512 (2020; Zbl 1443.68108) Full Text: DOI
Bisping, Benjamin; Nestmann, Uwe; Peters, Kirstin Coupled similarity: the first 32 years. (English) Zbl 07203616 Acta Inf. 57, No. 3-5, 439-463 (2020). MSC: 68Q85 PDF BibTeX XML Cite \textit{B. Bisping} et al., Acta Inf. 57, No. 3--5, 439--463 (2020; Zbl 07203616) Full Text: DOI
Mestel, David; Roscoe, A. W. Translating between models of concurrency. (English) Zbl 07203615 Acta Inf. 57, No. 3-5, 403-438 (2020). MSC: 68Q85 PDF BibTeX XML Cite \textit{D. Mestel} and \textit{A. W. Roscoe}, Acta Inf. 57, No. 3--5, 403--438 (2020; Zbl 07203615) Full Text: DOI
Valmari, Antti All congruences below stability-preserving fair testing or CFFD. (English) Zbl 1452.68128 Acta Inf. 57, No. 3-5, 353-383 (2020). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 68Q85 68Q60 PDF BibTeX XML Cite \textit{A. Valmari}, Acta Inf. 57, No. 3--5, 353--383 (2020; Zbl 1452.68128) Full Text: DOI
Gazda, Maciej; Fokkink, Wan; Massaro, Vittorio Congruence from the operator’s point of view. Syntactic requirements on modal characterizations. (English) Zbl 1443.68111 Acta Inf. 57, No. 3-5, 329-351 (2020). MSC: 68Q85 03B70 68Q55 PDF BibTeX XML Cite \textit{M. Gazda} et al., Acta Inf. 57, No. 3--5, 329--351 (2020; Zbl 1443.68111) Full Text: DOI
Goltz, Ursula; Schicke-Uffmann, Jens-W. Synchronous and asynchronous communication(s) between three parties. (English) Zbl 1443.68009 Acta Inf. 57, No. 3-5, 313-320 (2020). MSC: 68-03 01A70 68Q85 PDF BibTeX XML Cite \textit{U. Goltz} and \textit{J.-W. Schicke-Uffmann}, Acta Inf. 57, No. 3--5, 313--320 (2020; Zbl 1443.68009) Full Text: DOI
Blumensath, Achim; Wolf, Felix Bisimulation invariant monadic-second order logic in the finite. (English) Zbl 07203030 Theor. Comput. Sci. 823, 26-43 (2020). MSC: 03B70 PDF BibTeX XML Cite \textit{A. Blumensath} and \textit{F. Wolf}, Theor. Comput. Sci. 823, 26--43 (2020; Zbl 07203030) Full Text: DOI
Vázquez, C. Renato; Gómez-Gutiérrez, David; Ramírez-Teviño, Antonio Observer design for linear hybrid systems with unknown inputs and Petri-net discrete dynamics. (English) Zbl 1441.93099 Nonlinear Anal., Hybrid Syst. 36, Article ID 100876, 22 p. (2020). MSC: 93B53 93B07 93C30 93C05 68Q85 PDF BibTeX XML Cite \textit{C. R. Vázquez} et al., Nonlinear Anal., Hybrid Syst. 36, Article ID 100876, 22 p. (2020; Zbl 1441.93099) Full Text: DOI
Kloetzer, Marius; Mahulea, Cristian Path planning for robotic teams based on LTL specifications and Petri net models. (English) Zbl 1441.93194 Discrete Event Dyn. Syst. 30, No. 1, 55-79 (2020). MSC: 93C85 68Q85 03B44 90C11 PDF BibTeX XML Cite \textit{M. Kloetzer} and \textit{C. Mahulea}, Discrete Event Dyn. Syst. 30, No. 1, 55--79 (2020; Zbl 1441.93194) Full Text: DOI
Dai, Fei; Chen, Hao; Qiang, Zhenping; Liang, Zhihong; Huang, Bi; Wang, Leiguang Automatic analysis of complex interactions in microservice systems. (English) Zbl 1435.68192 Complexity 2020, Article ID 2128793, 12 p. (2020). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{F. Dai} et al., Complexity 2020, Article ID 2128793, 12 p. (2020; Zbl 1435.68192) Full Text: DOI
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
Castiglioni, Valentina; Loreti, Michele; Tini, Simone The metric linear-time branching-time spectrum on nondeterministic probabilistic processes. (English) Zbl 1433.68242 Theor. Comput. Sci. 813, 20-69 (2020). MSC: 68Q85 68Q87 PDF BibTeX XML Cite \textit{V. Castiglioni} et al., Theor. Comput. Sci. 813, 20--69 (2020; Zbl 1433.68242) Full Text: DOI
Bravetti, Mario; Zavattaro, Gianluigi Process calculi as a tool for studying coordination, contracts and session types. (English) Zbl 07189660 J. Log. Algebr. Methods Program. 112, Article ID 100527, 31 p. (2020). MSC: 68Q85 PDF BibTeX XML Cite \textit{M. Bravetti} and \textit{G. Zavattaro}, J. Log. Algebr. Methods Program. 112, Article ID 100527, 31 p. (2020; Zbl 07189660) Full Text: DOI
Pinna, G. Michele; Fabre, Eric Spreading nets: a uniform approach to unfoldings. (English) Zbl 1433.68258 J. Log. Algebr. Methods Program. 112, Article ID 100526, 33 p. (2020). MSC: 68Q85 PDF BibTeX XML Cite \textit{G. M. Pinna} and \textit{E. Fabre}, J. Log. Algebr. Methods Program. 112, Article ID 100526, 33 p. (2020; Zbl 1433.68258) Full Text: DOI
Saadaoui, Ikram; Li, Zhiwu; Wu, Naiqi Current-state opacity modelling and verification in partially observed Petri nets. (English) Zbl 1440.93024 Automatica 116, Article ID 108907, 10 p. (2020). MSC: 93B03 93C65 93-10 68Q85 90C10 PDF BibTeX XML Cite \textit{I. Saadaoui} et al., Automatica 116, Article ID 108907, 10 p. (2020; Zbl 1440.93024) Full Text: DOI
Mantsivoda, Andreĭ Valer’evich; Ponomaryov, Denis Konstantinovich On termination of transactions over semantic document models. (English) Zbl 1432.68114 Izv. Irkutsk. Gos. Univ., Ser. Mat. 31, 111-131 (2020). MSC: 68P15 68N30 68Q85 PDF BibTeX XML Cite \textit{A. V. Mantsivoda} and \textit{D. K. Ponomaryov}, Izv. Irkutsk. Gos. Univ., Ser. Mat. 31, 111--131 (2020; Zbl 1432.68114) Full Text: DOI Link
Rosenke, Christian; Tredup, Ronny The complexity of synthesizing elementary net systems relative to natural parameters. (English) Zbl 1435.68214 J. Comput. Syst. Sci. 110, 37-54 (2020). MSC: 68Q85 68Q17 68Q27 PDF BibTeX XML Cite \textit{C. Rosenke} and \textit{R. Tredup}, J. Comput. Syst. Sci. 110, 37--54 (2020; Zbl 1435.68214) Full Text: DOI
Beneš, Nikola; Fahrenberg, Uli; Křetínský, Jan; Legay, Axel; Traonouez, Louis-Marie Logical vs. behavioural specifications. (English) Zbl 1435.68189 Inf. Comput. 271, Article ID 104487, 24 p. (2020). MSC: 68Q60 03B70 68Q85 PDF BibTeX XML Cite \textit{N. Beneš} et al., Inf. Comput. 271, Article ID 104487, 24 p. (2020; Zbl 1435.68189) Full Text: DOI
Wimmel, Harro Presynthesis of bounded choice-free or fork-attribution nets. (English) Zbl 1455.68130 Inf. Comput. 271, Article ID 104482, 20 p. (2020). Reviewer: Jörg Desel (Hagen) MSC: 68Q85 PDF BibTeX XML Cite \textit{H. Wimmel}, Inf. Comput. 271, Article ID 104482, 20 p. (2020; Zbl 1455.68130) Full Text: DOI
Raussen, Martin Pair component categories for directed spaces. (English) Zbl 1455.18002 J. Appl. Comput. Topol. 4, No. 1, 101-139 (2020). Reviewer: Timothy Porter (Llandegfan) MSC: 18B35 55P60 55U40 68Q85 PDF BibTeX XML Cite \textit{M. Raussen}, J. Appl. Comput. Topol. 4, No. 1, 101--139 (2020; Zbl 1455.18002) Full Text: DOI
Ziemiański, Krzysztof Spaces of directed paths on pre-cubical sets II. (English) Zbl 1436.55014 J. Appl. Comput. Topol. 4, No. 1, 45-78 (2020). Reviewer: Philippe Gaucher (Paris) MSC: 55P15 55P35 68N30 68Q85 PDF BibTeX XML Cite \textit{K. Ziemiański}, J. Appl. Comput. Topol. 4, No. 1, 45--78 (2020; Zbl 1436.55014) Full Text: DOI
Finkbeiner, Bernd; Hahn, Christopher; Lukert, Philip; Stenger, Marvin; Tentrup, Leander Synthesis from hyperproperties. (English) Zbl 1435.68194 Acta Inf. 57, No. 1-2, 137-163 (2020). MSC: 68Q60 03B44 68Q85 PDF BibTeX XML Cite \textit{B. Finkbeiner} et al., Acta Inf. 57, No. 1--2, 137--163 (2020; Zbl 1435.68194) Full Text: DOI
Jančar, Petr Deciding semantic finiteness of pushdown processes and first-order grammars w.r.t. bisimulation equivalence. (English) Zbl 1435.68169 J. Comput. Syst. Sci. 109, 22-44 (2020). MSC: 68Q45 68Q42 PDF BibTeX XML Cite \textit{P. Jančar}, J. Comput. Syst. Sci. 109, 22--44 (2020; Zbl 1435.68169) Full Text: DOI
Balbiani, Philippe; Boudou, Joseph; Diéguez, Martín; Fernández-Duque, David Intuitionistic linear temporal logics. (English) Zbl 1433.03047 ACM Trans. Comput. Log. 21, No. 2, Article No. 14, 32 p. (2020). MSC: 03B44 03B20 03B47 03B25 PDF BibTeX XML Cite \textit{P. Balbiani} et al., ACM Trans. Comput. Log. 21, No. 2, Article No. 14, 32 p. (2020; Zbl 1433.03047) Full Text: DOI
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
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
Furber, Robert; Mardare, Radu; Mio, Matteo Probabilistic logics based on Riesz spaces. (English) Zbl 1442.03010 Log. Methods Comput. Sci. 16, No. 1, Paper No. 6, 45 p. (2020). MSC: 03B45 03B48 03B70 06F20 68Q85 PDF BibTeX XML Cite \textit{R. Furber} et al., Log. Methods Comput. Sci. 16, No. 1, Paper No. 6, 45 p. (2020; Zbl 1442.03010) Full Text: arXiv
Fahrenberg, Uli; Legay, Axel A linear-time-branching-time spectrum for behavioral specification theories. (English) Zbl 1433.68214 J. Log. Algebr. Methods Program. 110, Article ID 100499, 16 p. (2020). MSC: 68Q60 03B44 68Q85 PDF BibTeX XML Cite \textit{U. Fahrenberg} and \textit{A. Legay}, J. Log. Algebr. Methods Program. 110, Article ID 100499, 16 p. (2020; Zbl 1433.68214) Full Text: DOI