Gazda, Maciej; Hierons, Robert M. Removing redundant refusals: minimal complete test suites for failure trace semantics. (English) Zbl 1506.68059 Inf. Comput. 291, Article ID 105009, 26 p. (2023). MSC: 68Q85 03B45 68Q55 PDFBibTeX XMLCite \textit{M. Gazda} and \textit{R. M. Hierons}, Inf. Comput. 291, Article ID 105009, 26 p. (2023; Zbl 1506.68059) Full Text: DOI
Wang, Longchun; Li, Qingguo Bounded complete domains and their logical form. (English) Zbl 07629149 Inf. Comput. 289, Part A, Article ID 104958, 29 p. (2022). MSC: 68Qxx PDFBibTeX XMLCite \textit{L. Wang} and \textit{Q. Li}, Inf. Comput. 289, Part A, Article ID 104958, 29 p. (2022; Zbl 07629149) Full Text: DOI
Fernández-Duque, David; Hermo-Reyes, Eduardo Deducibility and independence in Beklemishev’s autonomous provability calculus. (English) Zbl 07540280 Inf. Comput. 287, Article ID 104758, 14 p. (2022). MSC: 03F45 PDFBibTeX XMLCite \textit{D. Fernández-Duque} and \textit{E. Hermo-Reyes}, Inf. Comput. 287, Article ID 104758, 14 p. (2022; Zbl 07540280) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{H.-J. Kreowski} et al., Inf. Comput. 286, Article ID 104780, 15 p. (2022; Zbl 1487.68139) Full Text: DOI
Fahrenberg, Uli; Johansen, Christian; Struth, Georg; Ziemiański, Krzysztof Posets with interfaces as a model for concurrency. (English) Zbl 1515.68204 Inf. Comput. 285, Part B, Article ID 104914, 20 p. (2022). Reviewer: Wolfgang Reisig (Berlin) MSC: 68Q85 06A06 18B35 PDFBibTeX XMLCite \textit{U. Fahrenberg} et al., Inf. Comput. 285, Part B, Article ID 104914, 20 p. (2022; Zbl 1515.68204) Full Text: DOI arXiv
Baldan, Paolo; Gorla, Daniele; Padoan, Tommaso; Salvo, Ivano Characterising spectra of equivalences for event structures, logically. (English) Zbl 1504.68138 Inf. Comput. 285, Part B, Article ID 104887, 25 p. (2022). MSC: 68Q85 03B45 PDFBibTeX XMLCite \textit{P. Baldan} et al., Inf. Comput. 285, Part B, Article ID 104887, 25 p. (2022; Zbl 1504.68138) Full Text: DOI
Mathur, Shaan; Ostrovsky, Rafail A combinatorial characterization of self-stabilizing population protocols. (English) Zbl 1487.68048 Inf. Comput. 285, Part B, Article ID 104829, 14 p. (2022). MSC: 68M14 68M12 68Q10 68R10 68Q85 PDFBibTeX XMLCite \textit{S. Mathur} and \textit{R. Ostrovsky}, Inf. Comput. 285, Part B, Article ID 104829, 14 p. (2022; Zbl 1487.68048) Full Text: DOI arXiv
Heunen, Chris; Kissinger, Aleks The CBH characterisation theorem beyond algebraic quantum theory. (English) Zbl 1497.81061 Inf. Comput. 285, Part B, Article ID 104828, 20 p. (2022). MSC: 81R10 46L05 81P45 46L60 PDFBibTeX XMLCite \textit{C. Heunen} and \textit{A. Kissinger}, Inf. Comput. 285, Part B, Article ID 104828, 20 p. (2022; Zbl 1497.81061) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{B. Aman} and \textit{G. Ciobanu}, Inf. Comput. 282, Article ID 104653, 22 p. (2022; Zbl 1483.68220) Full Text: DOI
Franceschetti, Marco; Eder, Johann Determining temporal agreements in cross-organizational business processes. (English) Zbl 1518.68232 Inf. Comput. 281, Article ID 104792, 15 p. (2021). MSC: 68Q85 90B70 PDFBibTeX XMLCite \textit{M. Franceschetti} and \textit{J. Eder}, Inf. Comput. 281, Article ID 104792, 15 p. (2021; Zbl 1518.68232) Full Text: DOI
Baldan, Paolo; Corradini, Andrea; Gadducci, Fabio Concurrent semantics for fusions: weak prime domains and connected event structures. (English) Zbl 1518.68227 Inf. Comput. 281, Article ID 104770, 32 p. (2021). MSC: 68Q85 68Q42 68Q55 PDFBibTeX XMLCite \textit{P. Baldan} et al., Inf. Comput. 281, Article ID 104770, 32 p. (2021; Zbl 1518.68227) Full Text: DOI
Bonchi, Filippo; Piedeleu, Robin; Sobociński, Paweł; Zanasi, Fabio Bialgebraic foundations for the operational semantics of string diagrams. (English) Zbl 1518.68197 Inf. Comput. 281, Article ID 104767, 22 p. (2021). MSC: 68Q55 18C15 18M30 68Q85 93B70 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Inf. Comput. 281, Article ID 104767, 22 p. (2021; Zbl 1518.68197) Full Text: DOI
van Glabbeek, Rob; Goltz, Ursula; Schicke-Uffmann, Jens-Wolfhard Abstract processes and conflicts in place/transition systems. (English) Zbl 1518.68239 Inf. Comput. 281, Article ID 104706, 13 p. (2021). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. van Glabbeek} et al., Inf. Comput. 281, Article ID 104706, 13 p. (2021; Zbl 1518.68239) Full Text: DOI arXiv
Francalanza, Adrian A theory of monitors. (English) Zbl 1475.68206 Inf. Comput. 281, Article ID 104704, 29 p. (2021). MSC: 68Q85 68Q60 PDFBibTeX XMLCite \textit{A. Francalanza}, Inf. Comput. 281, Article ID 104704, 29 p. (2021; Zbl 1475.68206) Full Text: DOI
Lanotte, Ruggero; Merro, Massimo; Tini, Simone A probabilistic calculus of cyber-physical systems. (English) Zbl 1497.68346 Inf. Comput. 279, Article ID 104618, 30 p. (2021). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{R. Lanotte} et al., Inf. Comput. 279, Article ID 104618, 30 p. (2021; Zbl 1497.68346) Full Text: DOI arXiv
Goubault, Éric; Ledent, Jérémy; Rajsbaum, Sergio A simplicial complex model for dynamic epistemic logic to study distributed task computability. (English) Zbl 1497.03032 Inf. Comput. 278, Article ID 104597, 22 p. (2021). Reviewer: Philippe Gaucher (Paris) MSC: 03B42 55U35 18N40 68M14 68Q85 PDFBibTeX XMLCite \textit{É. Goubault} et al., Inf. Comput. 278, Article ID 104597, 22 p. (2021; Zbl 1497.03032) Full Text: DOI arXiv Link
Balasubramanian, A. R. Parameterized verification of coverability in infinite state broadcast networks. (English) Zbl 1497.68285 Inf. Comput. 278, Article ID 104592, 13 p. (2021). MSC: 68Q60 68M10 68Q85 PDFBibTeX XMLCite \textit{A. R. Balasubramanian}, Inf. Comput. 278, Article ID 104592, 13 p. (2021; Zbl 1497.68285) Full Text: DOI
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 PDFBibTeX XMLCite \textit{G. Zetzsche}, Inf. Comput. 277, Article ID 104583, 18 p. (2021; Zbl 1475.68170) Full Text: DOI arXiv
Lazić, Ranko; Schmitz, Sylvain The ideal view on Rackoff’s coverability technique. (English) Zbl 1475.68210 Inf. Comput. 277, Article ID 104582, 21 p. (2021). MSC: 68Q85 68R05 68W05 PDFBibTeX XMLCite \textit{R. Lazić} and \textit{S. Schmitz}, Inf. Comput. 277, Article ID 104582, 21 p. (2021; Zbl 1475.68210) Full Text: DOI Link
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 PDFBibTeX XMLCite \textit{B. Bérard} et al., Inf. Comput. 277, Article ID 104580, 15 p. (2021; Zbl 1475.68145) Full Text: DOI
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 PDFBibTeX XMLCite \textit{J. Gutierrez} et al., Inf. Comput. 276, Article ID 104555, 17 p. (2021; Zbl 1497.68305) Full Text: DOI arXiv
Medić, Doriana; Mezzina, Claudio Antares; Phillips, Iain; Yoshida, Nobuko A parametric framework for reversible \(\pi\)-calculi. (English) Zbl 1496.68241 Inf. Comput. 275, Article ID 104644, 58 p. (2020). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{D. Medić} et al., Inf. Comput. 275, Article ID 104644, 58 p. (2020; Zbl 1496.68241) Full Text: DOI arXiv Link
Peters, Kirstin; Nestmann, Uwe Distributability of mobile ambients. (English) Zbl 1496.68243 Inf. Comput. 275, Article ID 104608, 22 p. (2020). MSC: 68Q85 68M14 PDFBibTeX XMLCite \textit{K. Peters} and \textit{U. Nestmann}, Inf. Comput. 275, Article ID 104608, 22 p. (2020; Zbl 1496.68243) Full Text: DOI arXiv
Tian, Chun; Sangiorgi, Davide Unique solutions of contractions, CCS, and their HOL formalisation. (English) Zbl 1496.68250 Inf. Comput. 275, Article ID 104606, 33 p. (2020). MSC: 68Q85 68V15 68V20 PDFBibTeX XMLCite \textit{C. Tian} and \textit{D. Sangiorgi}, Inf. Comput. 275, Article ID 104606, 33 p. (2020; Zbl 1496.68250) Full Text: DOI arXiv
Gorrieri, Roberto Team equivalences for finite-state machines with silent moves. (English) Zbl 1498.68184 Inf. Comput. 275, Article ID 104603, 47 p. (2020). MSC: 68Q85 PDFBibTeX XMLCite \textit{R. Gorrieri}, Inf. Comput. 275, Article ID 104603, 47 p. (2020; Zbl 1498.68184) Full Text: DOI
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 PDFBibTeX XMLCite \textit{S. La Torre} et al., Inf. Comput. 275, Article ID 104588, 26 p. (2020; Zbl 1496.68235) Full Text: DOI
Bodei, Chiara; Brodo, Linda; Bruni, Roberto The link-calculus for open multiparty interactions. (English) Zbl 1496.68218 Inf. Comput. 275, Article ID 104587, 38 p. (2020). MSC: 68Q85 68Q10 PDFBibTeX XMLCite \textit{C. Bodei} et al., Inf. Comput. 275, Article ID 104587, 38 p. (2020; Zbl 1496.68218) Full Text: DOI
Lasota, Sławomir; Piórkowski, Radosław WQO dichotomy for 3-graphs. (English) Zbl 1496.68234 Inf. Comput. 275, Article ID 104541, 30 p. (2020). MSC: 68Q85 03C98 06A07 68R10 PDFBibTeX XMLCite \textit{S. Lasota} and \textit{R. Piórkowski}, Inf. Comput. 275, Article ID 104541, 30 p. (2020; Zbl 1496.68234) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{A. Kuusisto} and \textit{F. Reiter}, Inf. Comput. 272, Article ID 104503, 16 p. (2020; Zbl 1443.68091) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{N. Beneš} et al., Inf. Comput. 271, Article ID 104487, 24 p. (2020; Zbl 1435.68189) Full Text: DOI HAL
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 PDFBibTeX XMLCite \textit{H. Wimmel}, Inf. Comput. 271, Article ID 104482, 20 p. (2020; Zbl 1455.68130) Full Text: DOI
Kreowski, Hans-Jörg; Lye, Aaron Canonical mixed-polarity multi-target Toffoli circuits: shift and removal. (English) Zbl 1435.68091 Inf. Comput. 269, Article ID 104450, 19 p. (2019). MSC: 68Q06 68Q09 81P68 94C11 PDFBibTeX XMLCite \textit{H.-J. Kreowski} and \textit{A. Lye}, Inf. Comput. 269, Article ID 104450, 19 p. (2019; Zbl 1435.68091) Full Text: DOI
Bertrand, Nathalie; Haddad, Serge; Lefaucheux, Engel A tale of two diagnoses in probabilistic systems. (English) Zbl 1435.68212 Inf. Comput. 269, Article ID 104441, 33 p. (2019). MSC: 68Q85 60J20 68Q87 93C65 PDFBibTeX XMLCite \textit{N. Bertrand} et al., Inf. Comput. 269, Article ID 104441, 33 p. (2019; Zbl 1435.68212) Full Text: DOI HAL
Abd Alrahman, Yehia; De Nicola, Rocco; Loreti, Michele A calculus for collective-adaptive systems and its behavioural theory. (English) Zbl 1430.68158 Inf. Comput. 268, Article ID 104457, 31 p. (2019). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{Y. Abd Alrahman} et al., Inf. Comput. 268, Article ID 104457, 31 p. (2019; Zbl 1430.68158) Full Text: DOI
Bulatov, Andrei A. Constraint satisfaction problems over semilattice block Mal’tsev algebras. (English) Zbl 1434.68191 Inf. Comput. 268, Article ID 104437, 14 p. (2019). MSC: 68Q25 08B05 68R07 PDFBibTeX XMLCite \textit{A. A. Bulatov}, Inf. Comput. 268, Article ID 104437, 14 p. (2019; Zbl 1434.68191) Full Text: DOI arXiv
Fokkink, Wan; van Glabbeek, Rob; Luttik, Bas Divide and congruence. III: From decomposition of modal formulas to preservation of stability and divergence. (English) Zbl 1430.68162 Inf. Comput. 268, Article ID 104435, 31 p. (2019). MSC: 68Q85 03B45 68Q55 PDFBibTeX XMLCite \textit{W. Fokkink} et al., Inf. Comput. 268, Article ID 104435, 31 p. (2019; Zbl 1430.68162) Full Text: DOI arXiv Link
Kouzapas, Dimitrios; Pérez, Jorge A.; Yoshida, Nobuko On the relative expressiveness of higher-order session processes. (English) Zbl 1430.68163 Inf. Comput. 268, Article ID 104433, 54 p. (2019). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Kouzapas} et al., Inf. Comput. 268, Article ID 104433, 54 p. (2019; Zbl 1430.68163) Full Text: DOI Link
Castiglioni, Valentina; Tini, Simone Logical characterization of branching metrics for nondeterministic probabilistic transition systems. (English) Zbl 1430.68161 Inf. Comput. 268, Article ID 104432, 40 p. (2019). MSC: 68Q85 03B70 68Q60 PDFBibTeX XMLCite \textit{V. Castiglioni} and \textit{S. Tini}, Inf. Comput. 268, Article ID 104432, 40 p. (2019; Zbl 1430.68161) Full Text: DOI
Clerc, Florence; Fijalkow, Nathanaël; Klin, Bartek; Panangaden, Prakash Expressiveness of probabilistic modal logics: a gradual approach. (English) Zbl 1422.68167 Inf. Comput. 267, 145-163 (2019). MSC: 68Q85 03B45 03B48 03E15 68Q87 PDFBibTeX XMLCite \textit{F. Clerc} et al., Inf. Comput. 267, 145--163 (2019; Zbl 1422.68167) Full Text: DOI
Ying, Shenggang; Ying, Mingsheng Reachability analysis of quantum Markov decision processes. (English) Zbl 1407.68341 Inf. Comput. 263, 31-51 (2018). MSC: 68Q85 68Q12 68Q87 PDFBibTeX XMLCite \textit{S. Ying} and \textit{M. Ying}, Inf. Comput. 263, 31--51 (2018; Zbl 1407.68341) Full Text: DOI arXiv
Jacobs, Swen; Tentrup, Leander; Zimmermann, Martin Distributed synthesis for parameterized temporal logics. (English) Zbl 1400.68124 Inf. Comput. 262, Part 2, 311-328 (2018). MSC: 68Q60 03B44 68Q85 PDFBibTeX XMLCite \textit{S. Jacobs} et al., Inf. Comput. 262, Part 2, 311--328 (2018; Zbl 1400.68124) Full Text: DOI arXiv
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 PDFBibTeX XMLCite \textit{C. Eisentraut} et al., Inf. Comput. 262, Part 1, 162--186 (2018; Zbl 1400.68132) Full Text: DOI
Arvind, V.; Joglekar, Pushkar; Rattan, Gaurav On the complexity of noncommutative polynomial factorization. (English) Zbl 1400.68080 Inf. Comput. 262, Part 1, 22-39 (2018). MSC: 68Q25 16S10 68Q15 68W30 PDFBibTeX XMLCite \textit{V. Arvind} et al., Inf. Comput. 262, Part 1, 22--39 (2018; Zbl 1400.68080) Full Text: DOI arXiv
Staton, Sam; Uijlen, Sander Effect algebras, presheaves, non-locality and contextuality. (English) Zbl 1396.81013 Inf. Comput. 261, Part 2, 336-354 (2018). MSC: 81P10 81P40 81P13 18F20 PDFBibTeX XMLCite \textit{S. Staton} and \textit{S. Uijlen}, Inf. Comput. 261, Part 2, 336--354 (2018; Zbl 1396.81013) Full Text: DOI Link
Calvanese, Diego; De Giacomo, Giuseppe; Montali, Marco; Patrizi, Fabio First-order \(\mu\)-calculus over generic transition systems and applications to the situation calculus. (English) Zbl 1390.68462 Inf. Comput. 259, Part 3, 328-347 (2018). MSC: 68Q85 68Q60 68T27 PDFBibTeX XMLCite \textit{D. Calvanese} et al., Inf. Comput. 259, Part 3, 328--347 (2018; Zbl 1390.68462) Full Text: DOI
Lanotte, Ruggero; Merro, Massimo A semantic theory of the Internet of things. (English) Zbl 1388.68013 Inf. Comput. 259, Part 1, 72-101 (2018). MSC: 68M11 68Q55 68Q85 PDFBibTeX XMLCite \textit{R. Lanotte} and \textit{M. Merro}, Inf. Comput. 259, Part 1, 72--101 (2018; Zbl 1388.68013) Full Text: DOI arXiv
Koutavas, Vasileios; Gazda, Maciej; Hennessy, Matthew Distinguishing between communicating transactions. (English) Zbl 1388.68198 Inf. Comput. 259, Part 1, 1-30 (2018). MSC: 68Q85 03B70 PDFBibTeX XMLCite \textit{V. Koutavas} et al., Inf. Comput. 259, Part 1, 1--30 (2018; Zbl 1388.68198) Full Text: DOI arXiv
Blondin, Michael; Finkel, Alain; McKenzie, Pierre Handling infinitely branching well-structured transition systems. (English) Zbl 1383.68054 Inf. Comput. 258, 28-49 (2018). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Blondin} et al., Inf. Comput. 258, 28--49 (2018; Zbl 1383.68054) Full Text: DOI
Fokkink, Wan; van Glabbeek, Rob Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity. (English) Zbl 1380.68295 Inf. Comput. 257, 79-113 (2017). MSC: 68Q85 03B45 68Q55 PDFBibTeX XMLCite \textit{W. Fokkink} and \textit{R. van Glabbeek}, Inf. Comput. 257, 79--113 (2017; Zbl 1380.68295) Full Text: DOI arXiv
Deng, Yuxin; Feng, Yuan Probabilistic bisimilarity as testing equivalence. (English) Zbl 1380.68293 Inf. Comput. 257, 58-64 (2017). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{Y. Deng} and \textit{Y. Feng}, Inf. Comput. 257, 58--64 (2017; Zbl 1380.68293) Full Text: DOI
Dongol, Brijesh; Hierons, Robert M. Decidability and complexity for quiescent consistency and its variations. (English) Zbl 1380.68294 Inf. Comput. 257, 1-21 (2017). MSC: 68Q85 68Q17 68Q25 68Q60 PDFBibTeX XMLCite \textit{B. Dongol} and \textit{R. M. Hierons}, Inf. Comput. 257, 1--21 (2017; Zbl 1380.68294) Full Text: DOI
Bravetti, Mario; Carbone, Marco; Zavattaro, Gianluigi Undecidability of asynchronous session subtyping. (English) Zbl 1376.68098 Inf. Comput. 256, 300-320 (2017). MSC: 68Q85 PDFBibTeX XMLCite \textit{M. Bravetti} et al., Inf. Comput. 256, 300--320 (2017; Zbl 1376.68098) Full Text: DOI arXiv
Dardha, Ornela; Giachino, Elena; Sangiorgi, Davide Session types revisited. (English) Zbl 1376.68099 Inf. Comput. 256, 253-286 (2017). MSC: 68Q85 PDFBibTeX XMLCite \textit{O. Dardha} et al., Inf. Comput. 256, 253--286 (2017; Zbl 1376.68099) Full Text: DOI
Gogacz, Tomasz; Michalewski, Henryk; Mio, Matteo; Skrzypczak, Michał Measure properties of regular sets of trees. (English) Zbl 1376.68092 Inf. Comput. 256, 108-130 (2017). MSC: 68Q45 03E15 28A05 68Q85 PDFBibTeX XMLCite \textit{T. Gogacz} et al., Inf. Comput. 256, 108--130 (2017; Zbl 1376.68092) Full Text: DOI
Chaturvedi, Namit; Gelderie, Marcus Classifying recognizable infinitary trace languages using word automata. (English) Zbl 1376.68085 Inf. Comput. 256, 23-34 (2017). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{N. Chaturvedi} and \textit{M. Gelderie}, Inf. Comput. 256, 23--34 (2017; Zbl 1376.68085) Full Text: DOI
Viganò, Luca; Volpe, Marco; Zorzi, Margherita A branching distributed temporal logic for reasoning about entanglement-free quantum state transformations. (English) Zbl 1372.68191 Inf. Comput. 255, Part 2, 311-333 (2017). MSC: 68Q85 03B44 81P45 PDFBibTeX XMLCite \textit{L. Viganò} et al., Inf. Comput. 255, Part 2, 311--333 (2017; Zbl 1372.68191) Full Text: DOI Link
Cheval, Vincent; Comon-Lundh, Hubert; Delaune, Stéphanie A procedure for deciding symbolic equivalence between sets of constraint systems. (English) Zbl 1371.68189 Inf. Comput. 255, Part 1, 94-125 (2017). MSC: 68Q85 68Q60 94A60 PDFBibTeX XMLCite \textit{V. Cheval} et al., Inf. Comput. 255, Part 1, 94--125 (2017; Zbl 1371.68189) Full Text: DOI Link
Abbes, Samy Synchronization of Bernoulli sequences on shared letters. (English) Zbl 1371.68183 Inf. Comput. 255, Part 1, 1-26 (2017). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{S. Abbes}, Inf. Comput. 255, Part 1, 1--26 (2017; Zbl 1371.68183) Full Text: DOI arXiv
Rosa-Velardo, Fernando Ordinal recursive complexity of unordered data nets. (English) Zbl 1370.68219 Inf. Comput. 254, Part 1, 41-58 (2017). MSC: 68Q85 03D15 03D55 03D60 PDFBibTeX XMLCite \textit{F. Rosa-Velardo}, Inf. Comput. 254, Part 1, 41--58 (2017; Zbl 1370.68219) Full Text: DOI
Best, Eike; Devillers, Raymond Characterisation of the state spaces of marked graph Petri nets. (English) Zbl 1409.68183 Inf. Comput. 253, Part 3, 399-410 (2017). Reviewer: Jörg Desel (Hagen) MSC: 68Q85 68Q55 68R10 PDFBibTeX XMLCite \textit{E. Best} and \textit{R. Devillers}, Inf. Comput. 253, Part 3, 399--410 (2017; Zbl 1409.68183) Full Text: DOI
Finkbeiner, Bernd; Olderog, Ernst-Rüdiger Petri games: synthesis of distributed systems with causal memory. (English) Zbl 1362.68211 Inf. Comput. 253, Part 2, 181-203 (2017). MSC: 68Q85 68Q17 91A43 PDFBibTeX XMLCite \textit{B. Finkbeiner} and \textit{E.-R. Olderog}, Inf. Comput. 253, Part 2, 181--203 (2017; Zbl 1362.68211) Full Text: DOI arXiv
Janicki, Ryszard; Yin, Xiang Modeling concurrency with interval traces. (English) Zbl 1359.68224 Inf. Comput. 253, Part 1, 78-108 (2017). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{R. Janicki} and \textit{X. Yin}, Inf. Comput. 253, Part 1, 78--108 (2017; Zbl 1359.68224) Full Text: DOI Link
Urabe, Natsuki; Hasuo, Ichiro Quantitative simulations by matrices. (English) Zbl 1355.68197 Inf. Comput. 252, 110-137 (2017). MSC: 68Q85 18C20 68Q70 PDFBibTeX XMLCite \textit{N. Urabe} and \textit{I. Hasuo}, Inf. Comput. 252, 110--137 (2017; Zbl 1355.68197) Full Text: DOI arXiv
Kobayashi, Naoki; Laneve, Cosimo Deadlock analysis of unbounded process networks. (English) Zbl 1355.68193 Inf. Comput. 252, 48-70 (2017). MSC: 68Q85 PDFBibTeX XMLCite \textit{N. Kobayashi} and \textit{C. Laneve}, Inf. Comput. 252, 48--70 (2017; Zbl 1355.68193) Full Text: DOI
Kaiser, Alexander; Kroening, Daniel; Wahl, Thomas Lost in abstraction: monotonicity in multi-threaded programs. (English) Zbl 1355.68055 Inf. Comput. 252, 30-47 (2017). MSC: 68N30 68Q60 68Q85 PDFBibTeX XMLCite \textit{A. Kaiser} et al., Inf. Comput. 252, 30--47 (2017; Zbl 1355.68055) Full Text: DOI
Baldan, Paolo (ed.); Gorla, Daniele (ed.) Preface. (English) Zbl 1355.00034 Inf. Comput. 252, 1 (2017). MSC: 00B25 68-06 68Q85 PDFBibTeX XMLCite \textit{P. Baldan} (ed.) and \textit{D. Gorla} (ed.), Inf. Comput. 252, 1 (2017; Zbl 1355.00034) Full Text: DOI
Bonchi, Filippo; Sobociński, Paweł; Zanasi, Fabio The calculus of signal flow diagrams. I: Linear relations on streams. (English) Zbl 1355.68188 Inf. Comput. 252, 2-29 (2017). MSC: 68Q85 18D10 68Q42 PDFBibTeX XMLCite \textit{F. Bonchi} et al., Inf. Comput. 252, 2--29 (2017; Zbl 1355.68188) Full Text: DOI
Hirschkoff, Daniel; Madiot, Jean-Marie; Sangiorgi, Davide Name-passing calculi: from fusions to preorders and types. (English) Zbl 1353.68206 Inf. Comput. 251, 335-360 (2016). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Hirschkoff} et al., Inf. Comput. 251, 335--360 (2016; Zbl 1353.68206) Full Text: DOI
Zhang, Lijun; Jansen, David N. A space-efficient simulation algorithm on probabilistic automata. (English) Zbl 1345.68219 Inf. Comput. 249, 138-159 (2016). MSC: 68Q45 68Q25 68Q85 PDFBibTeX XMLCite \textit{L. Zhang} and \textit{D. N. Jansen}, Inf. Comput. 249, 138--159 (2016; Zbl 1345.68219) Full Text: DOI
D’Argenio, Pedro R.; Gebler, Daniel; Lee, Matias David A general SOS theory for the specification of probabilistic transition systems. (English) Zbl 1344.68163 Inf. Comput. 249, 76-109 (2016). MSC: 68Q85 68Q55 68Q60 PDFBibTeX XMLCite \textit{P. R. D'Argenio} et al., Inf. Comput. 249, 76--109 (2016; Zbl 1344.68163) Full Text: DOI
Attie, Paul C.; Lynch, Nancy A. Dynamic input/output automata: a formal and compositional model for dynamic systems. (English) Zbl 1344.68114 Inf. Comput. 249, 28-75 (2016). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{P. C. Attie} and \textit{N. A. Lynch}, Inf. Comput. 249, 28--75 (2016; Zbl 1344.68114) Full Text: DOI arXiv
Bortolussi, Luca Hybrid behaviour of Markov population models. (English) Zbl 1336.68177 Inf. Comput. 247, 37-86 (2016). MSC: 68Q85 60J25 60J28 68Q87 92D25 PDFBibTeX XMLCite \textit{L. Bortolussi}, Inf. Comput. 247, 37--86 (2016; Zbl 1336.68177) Full Text: DOI arXiv
Turrini, Andrea; Hermanns, Holger Polynomial time decision algorithms for probabilistic automata. (English) Zbl 1329.68168 Inf. Comput. 244, 134-171 (2015). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{A. Turrini} and \textit{H. Hermanns}, Inf. Comput. 244, 134--171 (2015; Zbl 1329.68168) Full Text: DOI
Siirtola, Antti; Kortelainen, Juha Multi-parameterised compositional verification of safety properties. (English) Zbl 1329.68173 Inf. Comput. 244, 23-48 (2015). MSC: 68Q60 68Q85 PDFBibTeX XMLCite \textit{A. Siirtola} and \textit{J. Kortelainen}, Inf. Comput. 244, 23--48 (2015; Zbl 1329.68173) Full Text: DOI
Bläser, Markus Noncommutativity makes determinants hard. (English) Zbl 1327.68124 Inf. Comput. 243, 133-144 (2015). MSC: 68Q25 15A15 68Q17 PDFBibTeX XMLCite \textit{M. Bläser}, Inf. Comput. 243, 133--144 (2015; Zbl 1327.68124) Full Text: DOI
Motallebi, Hassan; Azgomi, Mohammad Abdollahi Parametric multisingular hybrid Petri nets: formal definitions and analysis techniques. (English) Zbl 1309.68140 Inf. Comput. 241, 321-348 (2015). MSC: 68Q85 68Q45 PDFBibTeX XMLCite \textit{H. Motallebi} and \textit{M. A. Azgomi}, Inf. Comput. 241, 321--348 (2015; Zbl 1309.68140) Full Text: DOI
Mostrous, Dimitris; Yoshida, Nobuko Session typing and asynchronous subtyping for the higher-order \(\pi\)-calculus. (English) Zbl 1309.68139 Inf. Comput. 241, 227-263 (2015). MSC: 68Q85 PDFBibTeX XMLCite \textit{D. Mostrous} and \textit{N. Yoshida}, Inf. Comput. 241, 227--263 (2015; Zbl 1309.68139) Full Text: DOI
Pérez, Jorge A.; Caires, Luís; Pfenning, Frank; Toninho, Bernardo Linear logical relations and observational equivalences for session-based concurrency. (English) Zbl 1309.68141 Inf. Comput. 239, 254-302 (2014). MSC: 68Q85 03F52 PDFBibTeX XMLCite \textit{J. A. Pérez} et al., Inf. Comput. 239, 254--302 (2014; Zbl 1309.68141) Full Text: DOI
Ciobanu, Gabriel; Pinna, G. Michele Catalytic and communicating Petri nets are Turing complete. (English) Zbl 1309.68137 Inf. Comput. 239, 55-70 (2014). MSC: 68Q85 PDFBibTeX XMLCite \textit{G. Ciobanu} and \textit{G. M. Pinna}, Inf. Comput. 239, 55--70 (2014; Zbl 1309.68137) Full Text: DOI
Schuster, Johann; Siegle, Markus Markov automata: deciding weak bisimulation by means of non-naïvely vanishing states. (English) Zbl 1360.68571 Inf. Comput. 237, 151-173 (2014). MSC: 68Q45 68Q85 68Q87 PDFBibTeX XMLCite \textit{J. Schuster} and \textit{M. Siegle}, Inf. Comput. 237, 151--173 (2014; Zbl 1360.68571) Full Text: DOI arXiv
Galpin, Vashti Hybrid semantics for Bio-PEPA. (English) Zbl 1300.68035 Inf. Comput. 236, 122-145 (2014). MSC: 68Q85 92C42 PDFBibTeX XMLCite \textit{V. Galpin}, Inf. Comput. 236, 122--145 (2014; Zbl 1300.68035) Full Text: DOI
Banks, C. J.; Stark, I. A logic of behaviour in context. (English) Zbl 1311.68083 Inf. Comput. 236, 3-18 (2014). MSC: 68Q60 03B44 68Q85 92C40 PDFBibTeX XMLCite \textit{C. J. Banks} and \textit{I. Stark}, Inf. Comput. 236, 3--18 (2014; Zbl 1311.68083) Full Text: DOI
Goncharov, Sergey; Schröder, Lutz A coinductive calculus for asynchronous side-effecting processes. (English) Zbl 1358.68212 Inf. Comput. 231, 204-232 (2013). MSC: 68Q85 68Q65 PDFBibTeX XMLCite \textit{S. Goncharov} and \textit{L. Schröder}, Inf. Comput. 231, 204--232 (2013; Zbl 1358.68212) Full Text: DOI
Baeten, Jos C. M.; Luttik, Bas; van Tilburg, Paul Reactive Turing machines. (English) Zbl 1358.68097 Inf. Comput. 231, 143-166 (2013). MSC: 68Q05 68Q10 68Q85 PDFBibTeX XMLCite \textit{J. C. M. Baeten} et al., Inf. Comput. 231, 143--166 (2013; Zbl 1358.68097) Full Text: DOI
Merritt, Michael; Taubenfeld, Gadi Computing with infinitely many processes. (English) Zbl 1358.68218 Inf. Comput. 233, 12-31 (2013). MSC: 68Q85 68Q10 PDFBibTeX XMLCite \textit{M. Merritt} and \textit{G. Taubenfeld}, Inf. Comput. 233, 12--31 (2013; Zbl 1358.68218) Full Text: DOI
Klin, Bartek; Sassone, Vladimiro Structural operational semantics for stochastic and weighted transition systems. (English) Zbl 1358.68214 Inf. Comput. 227, 58-83 (2013). MSC: 68Q85 68Q10 68Q55 68Q87 PDFBibTeX XMLCite \textit{B. Klin} and \textit{V. Sassone}, Inf. Comput. 227, 58--83 (2013; Zbl 1358.68214) Full Text: DOI
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele A uniform framework for modeling nondeterministic, probabilistic, stochastic, or mixed processes and their behavioral equivalences. (English) Zbl 1358.68210 Inf. Comput. 225, 29-82 (2013). MSC: 68Q85 68Q87 PDFBibTeX XMLCite \textit{M. Bernardo} et al., Inf. Comput. 225, 29--82 (2013; Zbl 1358.68210) Full Text: DOI
Bonnet, Rémi; Finkel, Alain; Haddad, Serge; Rosa-Velardo, Fernando Ordinal theory for expressiveness of well-structured transition systems. (English) Zbl 1286.68343 Inf. Comput. 224, 1-22 (2013). MSC: 68Q85 03E10 PDFBibTeX XMLCite \textit{R. Bonnet} et al., Inf. Comput. 224, 1--22 (2013; Zbl 1286.68343) Full Text: DOI
Barylska, Kamila; Mikulski, Łukasz; Ochmanski, Edward On persistent reachability in Petri nets. (English) Zbl 1293.68200 Inf. Comput. 223, 67-77 (2013). Reviewer: Jörg Desel (Hagen) MSC: 68Q85 68Q05 PDFBibTeX XMLCite \textit{K. Barylska} et al., Inf. Comput. 223, 67--77 (2013; Zbl 1293.68200) Full Text: DOI
Katsumata, Shin-Ya Relating computational effects by \(\top \top \)-lifting. (English) Zbl 1267.68087 Inf. Comput. 222, 228-246 (2013). MSC: 68N18 03B40 18C15 18C50 68Q55 PDFBibTeX XMLCite \textit{S.-Y. Katsumata}, Inf. Comput. 222, 228--246 (2013; Zbl 1267.68087) Full Text: DOI
Deng, Yuxin; Hennessy, Matthew On the semantics of Markov automata. (English) Zbl 1286.68362 Inf. Comput. 222, 139-168 (2013). Reviewer: Joost-Pieter Katoen (Aachen) MSC: 68Q87 68Q85 68Q55 68Q45 PDFBibTeX XMLCite \textit{Y. Deng} and \textit{M. Hennessy}, Inf. Comput. 222, 139--168 (2013; Zbl 1286.68362) Full Text: DOI
Rosa-Velardo, Fernando; Martos-Salgado, María Multiset rewriting for the verification of depth-bounded processes with name binding. (English) Zbl 1277.68204 Inf. Comput. 215, 68-87 (2012). MSC: 68Q85 68Q42 68Q60 PDFBibTeX XMLCite \textit{F. Rosa-Velardo} and \textit{M. Martos-Salgado}, Inf. Comput. 215, 68--87 (2012; Zbl 1277.68204) Full Text: DOI
Fokkink, Wan; van Glabbeek, Rob; de Wind, Paulien Divide and congruence: from decomposition of modal formulas to preservation of branching and \(\eta \)-bisimilarity. (English) Zbl 1277.68182 Inf. Comput. 214, 59-85 (2012). MSC: 68Q85 03B45 68Q55 PDFBibTeX XMLCite \textit{W. Fokkink} et al., Inf. Comput. 214, 59--85 (2012; Zbl 1277.68182) Full Text: DOI
Leuschel, Michael; Llorens, Marisa; Oliver, Javier; Silva, Josep; Tamarit, Salvador Static slicing of explicitly synchronized languages. (English) Zbl 1253.68246 Inf. Comput. 214, 10-46 (2012). MSC: 68Q85 68N15 68N30 PDFBibTeX XMLCite \textit{M. Leuschel} et al., Inf. Comput. 214, 10--46 (2012; Zbl 1253.68246) Full Text: DOI
Acciai, Lucia; Boreale, Michele Deciding safety properties in infinite-state pi-calculus via behavioural types. (English) Zbl 1279.68192 Inf. Comput. 212, 92-117 (2012). MSC: 68Q60 03B70 68Q85 PDFBibTeX XMLCite \textit{L. Acciai} and \textit{M. Boreale}, Inf. Comput. 212, 92--117 (2012; Zbl 1279.68192) Full Text: DOI
Ravara, António; Resende, Pedro; Vasconcelos, Vasco T. An algebra of behavioural types. (English) Zbl 1260.68277 Inf. Comput. 212, 64-91 (2012). Reviewer: Maciej Koutny (Newcastle upon Tyne) MSC: 68Q85 68Q60 68Q55 68N30 PDFBibTeX XMLCite \textit{A. Ravara} et al., Inf. Comput. 212, 64--91 (2012; Zbl 1260.68277) Full Text: DOI
Asarin, Eugene; Mysore, Venkatesh P.; Pnueli, Amir; Schneider, Gerardo Low dimensional hybrid systems – decidable, undecidable, don’t know. (English) Zbl 1279.68127 Inf. Comput. 211, 138-159 (2012). MSC: 68Q45 68Q05 37B99 68Q85 PDFBibTeX XMLCite \textit{E. Asarin} et al., Inf. Comput. 211, 138--159 (2012; Zbl 1279.68127) Full Text: DOI
Brázdil, Tomáš; Esparza, Javier; Kiefer, Stefan; Luttenberger, Michael Space-efficient scheduling of stochastically generated tasks. (English) Zbl 1285.68020 Inf. Comput. 210, 87-110 (2012). MSC: 68M20 68Q85 PDFBibTeX XMLCite \textit{T. Brázdil} et al., Inf. Comput. 210, 87--110 (2012; Zbl 1285.68020) Full Text: DOI
Lenglet, Sergueï; Schmitt, Alan; Stefani, Jean-Bernard Characterizing contextual equivalence in calculi with passivation. (English) Zbl 1251.68160 Inf. Comput. 209, No. 11, 1390-1433 (2011). MSC: 68Q85 03B70 PDFBibTeX XMLCite \textit{S. Lenglet} et al., Inf. Comput. 209, No. 11, 1390--1433 (2011; Zbl 1251.68160) Full Text: DOI
Janicki, Ryszard; Lê, Dai Tri Man Modelling concurrency with comtraces and generalized comtraces. (English) Zbl 1244.68057 Inf. Comput. 209, No. 11, 1355-1389 (2011). Reviewer: Maciej Koutny (Newcastle upon Tyne) MSC: 68Q85 68Q10 68Q55 PDFBibTeX XMLCite \textit{R. Janicki} and \textit{D. T. M. Lê}, Inf. Comput. 209, No. 11, 1355--1389 (2011; Zbl 1244.68057) Full Text: DOI