Kreowski, Hans-Jörg; Kuske, Sabine; Lye, Aaron Transformation of variants of Petri nets into context-dependent fusion grammars. (English) Zbl 07540269 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 07540269) 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
Yoshida, Nobuko; Zhou, Fangyi; Ferreira, Francisco Communicating finite state machines and an extensible toolchain for multiparty session types. (English) Zbl 07530222 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 07530222) 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
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
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
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: 03B70 68Q55 68T27 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
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
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
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
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
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 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 07378551 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 07378551) 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 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
Bollig, Benedikt; Fortin, Marie; Gastin, Paul Communicating finite-state machines and two-variable logic. (English) Zbl 07228408 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 07228408) 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
Kahl, Thomas Labeled homology of higher-dimensional automata. (English) Zbl 1423.55006 J. Appl. Comput. Topol. 2, No. 3-4, 271-300 (2018). MSC: 55N35 55U15 68Q85 68Q45 68Q60 PDF BibTeX XML Cite \textit{T. Kahl}, J. Appl. Comput. Topol. 2, No. 3--4, 271--300 (2018; Zbl 1423.55006) Full Text: DOI arXiv OpenURL
López-Fraguas, Francisco J.; Montenegro, Manuel; Suárez-García, Gorka Polymorphic success types for Erlang. (English) Zbl 1415.68056 Barthe, Gilles (ed.) et al., LPAR-22. 22nd international conference on logic for programming, artificial intelligence and reasoning, Awassa, Ethiopia, November 17–21, 2018. Selected papers. Manchester: EasyChair. EPiC Ser. Comput. 57, 515-533 (2018). MSC: 68N15 68N18 68N19 PDF BibTeX XML Cite \textit{F. J. López-Fraguas} et al., EPiC Ser. Comput. 57, 515--533 (2018; Zbl 1415.68056) Full Text: DOI OpenURL
Venema, Yde Book review of: B. Jacobs, Introduction to coalgebra. Towards mathematics of states and observation. (Dutch) Zbl 1409.00055 Nieuw Arch. Wiskd. (5) 19, No. 4, 302-303 (2018). MSC: 00A17 68-01 68Q65 03B45 68Q85 18C15 18C20 18C50 PDF BibTeX XML Cite \textit{Y. Venema}, Nieuw Arch. Wiskd. (5) 19, No. 4, 302--303 (2018; Zbl 1409.00055) OpenURL
Bertrand, Clément; Peschanski, Frédéric; Klaudel, Hanna; Latapy, Matthieu Pattern matching in link streams: timed-automata with finite memory. (English) Zbl 1424.68083 Sci. Ann. Comput. Sci. 28, No. 2, 161-198 (2018). MSC: 68Q45 68Q85 68T10 68W32 PDF BibTeX XML Cite \textit{C. Bertrand} et al., Sci. Ann. Comput. Sci. 28, No. 2, 161--198 (2018; Zbl 1424.68083) Full Text: DOI OpenURL
Sokolova, Ana; Woracek, Harald Termination in convex sets of distributions. (English) Zbl 1400.68146 Log. Methods Comput. Sci. 14, No. 4, Paper No. 17, 28 p. (2018). MSC: 68Q87 18B20 18C20 68Q45 68Q85 PDF BibTeX XML Cite \textit{A. Sokolova} and \textit{H. Woracek}, Log. Methods Comput. Sci. 14, No. 4, Paper No. 17, 28 p. (2018; Zbl 1400.68146) Full Text: DOI arXiv OpenURL
Forejt, Vojtěch; Jančar, Petr; Kiefer, Stefan; Worrell, James Game characterization of probabilistic bisimilarity, and applications to pushdown automata. (English) Zbl 1407.68252 Log. Methods Comput. Sci. 14, No. 4, Paper No. 13, 25 p. (2018). MSC: 68Q45 68Q25 68Q85 PDF BibTeX XML Cite \textit{V. Forejt} et al., Log. Methods Comput. Sci. 14, No. 4, Paper No. 13, 25 p. (2018; Zbl 1407.68252) Full Text: DOI arXiv OpenURL
Bollig, Benedikt; Grindei, Manuela-Lidia; Habermehl, Peter Realizability of concurrent recursive programs. (English) Zbl 1425.68062 Form. Methods Syst. Des. 53, No. 3, 339-362 (2018). MSC: 68N30 68Q45 68Q60 68Q85 PDF BibTeX XML Cite \textit{B. Bollig} et al., Form. Methods Syst. Des. 53, No. 3, 339--362 (2018; Zbl 1425.68062) Full Text: DOI Link OpenURL
Baldan, Paolo; Bruni, Roberto; Corradini, Andrea; Gadducci, Fabio; Melgratti, Hernan; Montanari, Ugo Event structures for Petri nets with persistence. (English) Zbl 1417.68113 Log. Methods Comput. Sci. 14, No. 3, Paper No. 25, 30 p. (2018). Reviewer: Clément Aubert (Augusta) MSC: 68Q85 18C50 PDF BibTeX XML Cite \textit{P. Baldan} et al., Log. Methods Comput. Sci. 14, No. 3, Paper No. 25, 30 p. (2018; Zbl 1417.68113) Full Text: DOI arXiv OpenURL
Skrzypczak, Michał Büchi VASS recognise \(\mathbf{\Sigma}^{1}_{1}\)-complete \({\omega}\)-languages. (English) Zbl 1475.68214 Potapov, Igor (ed.) et al., Reachability problems. 12th international conference, RP 2018, Marseille, France, September 24–26, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11123, 133-145 (2018). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{M. Skrzypczak}, Lect. Notes Comput. Sci. 11123, 133--145 (2018; Zbl 1475.68214) Full Text: DOI OpenURL
Fahrenberg, Uli; Křetínský, Jan; Legay, Axel; Traonouez, Louis-Marie Compositionality for quantitative specifications. (English) Zbl 1398.68339 Soft Comput. 22, No. 4, 1139-1158 (2018). MSC: 68Q60 68Q45 68Q85 PDF BibTeX XML Cite \textit{U. Fahrenberg} et al., Soft Comput. 22, No. 4, 1139--1158 (2018; Zbl 1398.68339) Full Text: DOI arXiv OpenURL
Lanese, Ivan; Nishida, Naoki; Palacios, Adrián; Vidal, Germán A theory of reversibility for Erlang. (English) Zbl 1400.68046 J. Log. Algebr. Methods Program. 100, 71-97 (2018). MSC: 68N15 68N18 68N19 PDF BibTeX XML Cite \textit{I. Lanese} et al., J. Log. Algebr. Methods Program. 100, 71--97 (2018; Zbl 1400.68046) Full Text: DOI arXiv Link OpenURL
Eisentraut, Christian; Hermanns, Holger; Schuster, Johann; Turrini, Andrea; Zhang, Lijun The quest for minimal quotients for probabilistic and Markov automata. (English) Zbl 1400.68132 Inf. Comput. 262, Part 1, 162-186 (2018). MSC: 68Q85 68Q45 68Q60 68Q87 PDF BibTeX XML Cite \textit{C. Eisentraut} et al., Inf. Comput. 262, Part 1, 162--186 (2018; Zbl 1400.68132) Full Text: DOI OpenURL
Neves, Renato; Barbosa, Luís S. Languages and models for hybrid automata: a coalgebraic perspective. (English) Zbl 1400.68112 Theor. Comput. Sci. 744, 113-142 (2018). MSC: 68Q45 18B20 68Q70 68Q85 PDF BibTeX XML Cite \textit{R. Neves} and \textit{L. S. Barbosa}, Theor. Comput. Sci. 744, 113--142 (2018; Zbl 1400.68112) Full Text: DOI Link OpenURL
Zhang, Lijun; Yang, Pengfei; Song, Lei; Hermanns, Holger; Eisentraut, Christian; Jansen, David N.; Godskesen, Jens Chr. Probabilistic bisimulation for realistic schedulers. (English) Zbl 1398.68374 Acta Inf. 55, No. 6, 461-488 (2018). MSC: 68Q85 68Q45 68Q87 PDF BibTeX XML Cite \textit{L. Zhang} et al., Acta Inf. 55, No. 6, 461--488 (2018; Zbl 1398.68374) Full Text: DOI OpenURL
Bettini, Lorenzo; Bono, Viviana; Dezani-Ciancaglini, Mariangiola; Giannini, Paola; Venneri, Betti Java & lambda: a featherweight story. (English) Zbl 1398.68079 Log. Methods Comput. Sci. 14, No. 3, Paper No. 17, 24 p. (2018). MSC: 68N15 68N18 68N19 PDF BibTeX XML Cite \textit{L. Bettini} et al., Log. Methods Comput. Sci. 14, No. 3, Paper No. 17, 24 p. (2018; Zbl 1398.68079) Full Text: DOI arXiv OpenURL
Atkinson, Timothy; Plump, Detlef; Stepney, Susan Probabilistic graph programs for randomised and evolutionary algorithms. (English) Zbl 1394.68050 Lambers, Leen (ed.) et al., Graph transformation. 11th international conference, ICGT 2018, held as part of STAF 2018, Toulouse, France, June 25–26, 2018. Proceedings. Cham: Springer (ISBN 978-3-319-92990-3/pbk; 978-3-319-92991-0/ebook). Lecture Notes in Computer Science 10887, 63-78 (2018). MSC: 68N15 68N19 68T20 68W20 PDF BibTeX XML Cite \textit{T. Atkinson} et al., Lect. Notes Comput. Sci. 10887, 63--78 (2018; Zbl 1394.68050) Full Text: DOI Link OpenURL
Fares, Elie; Bodeveix, Jean-Paul; Filali, Mamoun Event algebra for transition systems composition application to timed automata. (English) Zbl 1398.68340 Acta Inf. 55, No. 5, 363-400 (2018). MSC: 68Q60 68Q45 68Q85 PDF BibTeX XML Cite \textit{E. Fares} et al., Acta Inf. 55, No. 5, 363--400 (2018; Zbl 1398.68340) Full Text: DOI Link OpenURL
Kennedy, Andrew J.; Russo, Claudio V. Transposing G to \(\text{C}^{\sharp}\): expressivity of generalized algebraic data types in an object-oriented language. (English) Zbl 1397.68025 Theor. Comput. Sci. 741, 3-18 (2018). MSC: 68N15 68N19 68Q65 PDF BibTeX XML Cite \textit{A. J. Kennedy} and \textit{C. V. Russo}, Theor. Comput. Sci. 741, 3--18 (2018; Zbl 1397.68025) Full Text: DOI OpenURL
Bertrand, Nathalie; Bouyer, Patricia; Brihaye, Thomas; Carlier, Pierre When are stochastic transition systems tameable? (English) Zbl 1394.68243 J. Log. Algebr. Methods Program. 99, 41-96 (2018). MSC: 68Q85 60J20 68Q45 68Q60 68Q87 PDF BibTeX XML Cite \textit{N. Bertrand} et al., J. Log. Algebr. Methods Program. 99, 41--96 (2018; Zbl 1394.68243) Full Text: DOI arXiv OpenURL
Hofman, Piotr; Totzke, Patrick Trace inclusion for one-counter nets revisited. (English) Zbl 1393.68118 Theor. Comput. Sci. 735, 50-63 (2018). MSC: 68Q85 68Q17 68Q45 PDF BibTeX XML Cite \textit{P. Hofman} and \textit{P. Totzke}, Theor. Comput. Sci. 735, 50--63 (2018; Zbl 1393.68118) Full Text: DOI arXiv OpenURL
Aminof, Benjamin; Kotek, Tomer; Rubin, Sasha; Spegni, Francesco; Veith, Helmut Parameterized model checking of rendezvous systems. (English) Zbl 1451.68165 Distrib. Comput. 31, No. 3, 187-222 (2018). MSC: 68Q60 68Q45 68Q85 PDF BibTeX XML Cite \textit{B. Aminof} et al., Distrib. Comput. 31, No. 3, 187--222 (2018; Zbl 1451.68165) Full Text: DOI OpenURL
Fiadeiro, José; Lopes, Antónia; Delahaye, Benoît; Legay, Axel Dynamic networks of heterogeneous timed machines. (English) Zbl 1390.68448 Math. Struct. Comput. Sci. 28, No. 6, 800-855 (2018). MSC: 68Q70 68Q85 PDF BibTeX XML Cite \textit{J. Fiadeiro} et al., Math. Struct. Comput. Sci. 28, No. 6, 800--855 (2018; Zbl 1390.68448) Full Text: DOI OpenURL
Chen, Taolue; Han, Tingting; Cao, Yongzhi Polynomial-time algorithms for computing distances of fuzzy transition systems. (English) Zbl 1390.68464 Theor. Comput. Sci. 727, 24-36 (2018). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{T. Chen} et al., Theor. Comput. Sci. 727, 24--36 (2018; Zbl 1390.68464) Full Text: DOI arXiv Link OpenURL
Tian, Cong (ed.); Nagoya, Fumiko (ed.); Liu, Shaoying (ed.); Duan, Zhenhua (ed.) Structured object-oriented formal language and method. 7th international workshop, SOFL+MSVL 2017, Xi’an, China, November 16, 2017. Revised selected papers. (English) Zbl 1384.68007 Lecture Notes in Computer Science 10795. Cham: Springer (ISBN 978-3-319-90103-9/pbk; 978-3-319-90104-6/ebook). x, 219 p. (2018). MSC: 68-06 68N15 68N19 00B25 PDF BibTeX XML Cite \textit{C. Tian} (ed.) et al., Structured object-oriented formal language and method. 7th international workshop, SOFL+MSVL 2017, Xi'an, China, November 16, 2017. Revised selected papers. Cham: Springer (2018; Zbl 1384.68007) Full Text: DOI OpenURL
Tax, Niek; Lu, Xixi; Sidorova, Natalia; Fahland, Dirk; van der Aalst, Wil M. P. The imprecisions of precision measures in process mining. (English) Zbl 1476.68184 Inf. Process. Lett. 135, 1-8 (2018). MSC: 68Q85 68Q45 PDF BibTeX XML Cite \textit{N. Tax} et al., Inf. Process. Lett. 135, 1--8 (2018; Zbl 1476.68184) Full Text: DOI arXiv OpenURL
Carbone, Marco; Montesi, Fabrizio; Schürmann, Carsten Choreographies, logically. (English) Zbl 1423.68304 Distrib. Comput. 31, No. 1, 51-67 (2018). MSC: 68Q85 03F52 68N19 PDF BibTeX XML Cite \textit{M. Carbone} et al., Distrib. Comput. 31, No. 1, 51--67 (2018; Zbl 1423.68304) Full Text: DOI Link OpenURL
Wu, Yi-Chin; Raman, Vasumathi; Rawlings, Blake C.; Lafortune, Stéphane; Seshia, Sanjit A. Synthesis of obfuscation policies to ensure privacy and utility. (English) Zbl 1426.68085 J. Autom. Reasoning 60, No. 1, 107-131 (2018). MSC: 68P27 68Q45 68Q85 91A80 PDF BibTeX XML Cite \textit{Y.-C. Wu} et al., J. Autom. Reasoning 60, No. 1, 107--131 (2018; Zbl 1426.68085) Full Text: DOI OpenURL
Weston, Toby Scala for Java developers. A practical primer. (English) Zbl 1382.68005 New York, NY: Springer/Apress (ISBN 978-1-4842-3107-4/pbk; 978-1-4842-3108-1/ebook). xxi, 245 p. (2018). Reviewer: Irina Ioana Mohorianu (Norwich) MSC: 68-01 68N15 68N18 68N19 PDF BibTeX XML Cite \textit{T. Weston}, Scala for Java developers. A practical primer. New York, NY: Springer/Apress (2018; Zbl 1382.68005) Full Text: DOI OpenURL
Kučera, Antonín; Mayr, Richard A generic framework for checking semantic equivalences between pushdown automata and finite-state automata. (English) Zbl 1378.68106 J. Comput. Syst. Sci. 91, 82-103 (2018). MSC: 68Q45 68Q60 68Q85 PDF BibTeX XML Cite \textit{A. Kučera} and \textit{R. Mayr}, J. Comput. Syst. Sci. 91, 82--103 (2018; Zbl 1378.68106) Full Text: DOI Link OpenURL
Willsey, Max; Prabhu, Rokhini; Pfenning, Frank Design and implementation of concurrent C0. (English) Zbl 1483.68069 Cervesato, Iliano (ed.) et al., Proceedings of the fourth international workshop on linearity, LINEARITY 2016, Porto, Portugal, June 25, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 238, 73-82 (2017). MSC: 68N19 68N15 68Q85 PDF BibTeX XML Cite \textit{M. Willsey} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 238, 73--82 (2017; Zbl 1483.68069) Full Text: arXiv Link OpenURL
Silva, Miguel; Florido, Mário; Pfenning, Frank Non-blocking concurrent imperative programming with session types. (English) Zbl 1483.68068 Cervesato, Iliano (ed.) et al., Proceedings of the fourth international workshop on linearity, LINEARITY 2016, Porto, Portugal, June 25, 2016. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 238, 64-72 (2017). MSC: 68N19 68N15 68Q55 68Q85 PDF BibTeX XML Cite \textit{M. Silva} et al., Electron. Proc. Theor. Comput. Sci. (EPTCS) 238, 64--72 (2017; Zbl 1483.68068) Full Text: arXiv Link OpenURL
Shu, Xinfeng; Li, Chao; Liu, Chang A visual modeling language for MSVL. (English) Zbl 1461.68120 Liu, Shaoying (ed.) et al., Structured object-oriented formal language and method. 6th international workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10189, 220-237 (2017). MSC: 68Q60 68N15 68N17 68Q85 PDF BibTeX XML Cite \textit{X. Shu} et al., Lect. Notes Comput. Sci. 10189, 220--237 (2017; Zbl 1461.68120) Full Text: DOI OpenURL
Xu, Qingguo; Miao, Huaikou; de Simone, Robert; DeAntoni, Julien Instant-based and state-based analysis of infinite logical clock. (English) Zbl 1461.68123 Liu, Shaoying (ed.) et al., Structured object-oriented formal language and method. 6th international workshop, SOFL+MSVL 2016, Tokyo, Japan, November 15, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10189, 32-51 (2017). MSC: 68Q60 68N15 68N19 PDF BibTeX XML Cite \textit{Q. Xu} et al., Lect. Notes Comput. Sci. 10189, 32--51 (2017; Zbl 1461.68123) Full Text: DOI OpenURL