Loreti, Michele; Quadrini, Michela A spatial logic for simplicial models. (English) Zbl 07731936 Log. Methods Comput. Sci. 19, No. 3, Paper No. 8, 25 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{M. Loreti} and \textit{M. Quadrini}, Log. Methods Comput. Sci. 19, No. 3, Paper No. 8, 25 p. (2023; Zbl 07731936) Full Text: DOI arXiv
Fisman, Dana; Frenkel, Hadar; Zilles, Sandra Inferring symbolic automata. (English) Zbl 07731916 Log. Methods Comput. Sci. 19, No. 2, Paper No. 5, 37 p. (2023). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{D. Fisman} et al., Log. Methods Comput. Sci. 19, No. 2, Paper No. 5, 37 p. (2023; Zbl 07731916) Full Text: DOI arXiv
Geuvers, Herman Apartness and distinguishing formulas in Hennessy-Milner logic. (English) Zbl 1524.68216 Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 266-282 (2022). MSC: 68Q85 03B70 PDFBibTeX XMLCite \textit{H. Geuvers}, Lect. Notes Comput. Sci. 13560, 266--282 (2022; Zbl 1524.68216) Full Text: DOI
Ciancia, Vincenzo; Latella, Diego; Massink, Mieke; de Vink, Erik P. Back-and-forth in space: on logics and bisimilarity in closure spaces. (English) Zbl 1524.68213 Jansen, Nils (ed.) et al., A journey from process algebra via timed automata to model learning. Essays dedicated to Frits Vaandrager on the occasion of his 60th birthday. Cham: Springer. Lect. Notes Comput. Sci. 13560, 98-115 (2022). MSC: 68Q85 03B70 54A05 PDFBibTeX XMLCite \textit{V. Ciancia} et al., Lect. Notes Comput. Sci. 13560, 98--115 (2022; Zbl 1524.68213) Full Text: DOI
Bezhanishvili, Nick; Ciancia, Vincenzo; Gabelaia, David; Grilletti, Gianluca; Latella, Diego; Massink, Mieke Geometric model checking of continuous space. (English) Zbl 07639915 Log. Methods Comput. Sci. 18, No. 4, Paper No. 7, 38 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{N. Bezhanishvili} et al., Log. Methods Comput. Sci. 18, No. 4, Paper No. 7, 38 p. (2022; Zbl 07639915) Full Text: DOI arXiv
Aceto, Luca; Castiglioni, Valentina; Fokkink, Wan; Ingólfsdóttir, Anna; Luttik, Bas Are two binary operators necessary to obtain a finite axiomatisation of parallel composition? (English) Zbl 1508.68239 ACM Trans. Comput. Log. 23, No. 4, Article No. 22, 56 p. (2022). MSC: 68Q85 03B70 68Q55 PDFBibTeX XMLCite \textit{L. Aceto} et al., ACM Trans. Comput. Log. 23, No. 4, Article No. 22, 56 p. (2022; Zbl 1508.68239) Full Text: DOI arXiv
Bendík, Jaroslav; Sencan, Ahmet; Aydin Gol, Ebru; Černá, Ivana Timed automata robustness analysis via model checking. (English) Zbl 07577576 Log. Methods Comput. Sci. 18, No. 3, Paper No. 12, 32 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{J. Bendík} et al., Log. Methods Comput. Sci. 18, No. 3, Paper No. 12, 32 p. (2022; Zbl 07577576) Full Text: arXiv Link
Bila, Eleni; Derrick, John; Doherty, Simon; Dongol, Brijesh; Schellhorn, Gerhard; Wehrheim, Heike Modularising verification of durable opacity. (English) Zbl 07577571 Log. Methods Comput. Sci. 18, No. 3, Paper No. 7, 36 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{E. Bila} et al., Log. Methods Comput. Sci. 18, No. 3, Paper No. 7, 36 p. (2022; Zbl 07577571) Full Text: arXiv Link
André, Étienne; Lime, Didier; Roux, Olivier H. Reachability and liveness in parametric timed automata. (English) Zbl 07566044 Log. Methods Comput. Sci. 18, No. 1, Paper No. 31, 41 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{É. André} et al., Log. Methods Comput. Sci. 18, No. 1, Paper No. 31, 41 p. (2022; Zbl 07566044) Full Text: arXiv Link
Borlido, Célia; McLean, Brett Difference-restriction algebras of partial functions: axiomatisations and representations. (English) Zbl 07556313 Algebra Univers. 83, No. 3, Paper No. 24, 27 p. (2022). MSC: 03G10 06A12 06E75 PDFBibTeX XMLCite \textit{C. Borlido} and \textit{B. McLean}, Algebra Univers. 83, No. 3, Paper No. 24, 27 p. (2022; Zbl 07556313) 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
Moerman, Joshua; Sammartino, Matteo Residuality and learning for nondeterministic nominal automata. (English) Zbl 07471718 Log. Methods Comput. Sci. 18, No. 1, Paper No. 29, 28 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{J. Moerman} and \textit{M. Sammartino}, Log. Methods Comput. Sci. 18, No. 1, Paper No. 29, 28 p. (2022; Zbl 07471718) Full Text: arXiv Link
Aceto, Luca; Castiglioni, Valentina; Ingólfsdóttir, Anna; Luttik, Bas; Pedersen, Mathias Ruggaard On the axiomatisability of parallel composition. (English) Zbl 07471704 Log. Methods Comput. Sci. 18, No. 1, Paper No. 15, 51 p. (2022). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{L. Aceto} et al., Log. Methods Comput. Sci. 18, No. 1, Paper No. 15, 51 p. (2022; Zbl 07471704) Full Text: arXiv Link
Gorrieri, Roberto A study on team bisimulation and H-team bisimulation for BPP nets. (English) Zbl 07437214 Theor. Comput. Sci. 897, 83-113 (2022). MSC: 68Q85 03B45 PDFBibTeX XMLCite \textit{R. Gorrieri}, Theor. Comput. Sci. 897, 83--113 (2022; Zbl 07437214) Full Text: DOI
Banach, Richard; Zhu, Huibiao Moded and continuous abstract state machines. (English) Zbl 07495052 Raschke, Alexander (ed.) et al., Logic, computation and rigorous methods. Essays dedicated to Egon Börger on the occasion of his 75th birthday. Cham: Springer. Lect. Notes Comput. Sci. 12750, 29-62 (2021). MSC: 68-XX 03-XX PDFBibTeX XMLCite \textit{R. Banach} and \textit{H. Zhu}, Lect. Notes Comput. Sci. 12750, 29--62 (2021; Zbl 07495052) Full Text: DOI
Mohajerani, Sahar; Malik, Robi; Wintenberg, Andrew; Lafortune, Stéphane; Ozay, Necmiye Divergent stutter bisimulation abstraction for controller synthesis with linear temporal logic specifications. (English) Zbl 1478.93187 Automatica 130, Article ID 109723, 10 p. (2021). MSC: 93B50 03B44 PDFBibTeX XMLCite \textit{S. Mohajerani} et al., Automatica 130, Article ID 109723, 10 p. (2021; Zbl 1478.93187) Full Text: DOI
Geuvers, Herman; Jacobs, Bart Relating apartness and bisimulation. (English) Zbl 1525.68083 Log. Methods Comput. Sci. 17, No. 3, Paper No. 15, 35 p. (2021). MSC: 68Q85 03B70 18B05 68Q65 PDFBibTeX XMLCite \textit{H. Geuvers} and \textit{B. Jacobs}, Log. Methods Comput. Sci. 17, No. 3, Paper No. 15, 35 p. (2021; Zbl 1525.68083) Full Text: arXiv Link
Gorrieri, Roberto Team bisimilarity, and its associated modal logic, for BPP nets. (English) Zbl 1497.68339 Acta Inf. 58, No. 5, 529-569 (2021). MSC: 68Q85 03B45 03B70 PDFBibTeX XMLCite \textit{R. Gorrieri}, Acta Inf. 58, No. 5, 529--569 (2021; Zbl 1497.68339) Full Text: DOI
André, Étienne; Lime, Didier; Ramparison, Mathias Parametric updates in parametric timed automata. (English) Zbl 07350779 Log. Methods Comput. Sci. 17, No. 2, Paper No. 13, 67 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{É. André} et al., Log. Methods Comput. Sci. 17, No. 2, Paper No. 13, 67 p. (2021; Zbl 07350779) Full Text: arXiv Link
van Glabbeek, Rob Failure trace semantics for a process algebra with time-outs. (English) Zbl 07350777 Log. Methods Comput. Sci. 17, No. 2, Paper No. 11, 40 p. (2021). MSC: 03B70 68-XX PDFBibTeX XMLCite \textit{R. van Glabbeek}, Log. Methods Comput. Sci. 17, No. 2, Paper No. 11, 40 p. (2021; Zbl 07350777) Full Text: arXiv Link
Jackson, Marcel; Stokes, Tim Override and update. (English) Zbl 1454.08004 J. Pure Appl. Algebra 225, No. 3, Article ID 106532, 17 p. (2021). MSC: 08A70 03B35 20M20 03B70 68V15 PDFBibTeX XMLCite \textit{M. Jackson} and \textit{T. Stokes}, J. Pure Appl. Algebra 225, No. 3, Article ID 106532, 17 p. (2021; Zbl 1454.08004) Full Text: DOI arXiv
Lang, Frédéric; Mateescu, Radu; Mazzanti, Franco Sharp congruences adequate with temporal logics combining weak and strong modalities. (English) Zbl 1483.68233 Biere, Armin (ed.) et al., Tools and algorithms for the construction and analysis of systems. 26th international conference, TACAS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 12079, 57-76 (2020). MSC: 68Q85 03B44 68Q60 PDFBibTeX XMLCite \textit{F. Lang} et al., Lect. Notes Comput. Sci. 12079, 57--76 (2020; Zbl 1483.68233) 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 PDFBibTeX XMLCite \textit{M. Gazda} et al., Acta Inf. 57, No. 3--5, 329--351 (2020; Zbl 1443.68111) Full Text: DOI
Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narciso Compositional specification in rewriting logic. (English) Zbl 1434.68301 Theory Pract. Log. Program. 20, No. 1, 44-98 (2020). MSC: 68Q60 03B70 68Q42 PDFBibTeX XMLCite \textit{Ó. Martín} et al., Theory Pract. Log. Program. 20, No. 1, 44--98 (2020; Zbl 1434.68301) Full Text: DOI 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 PDFBibTeX XMLCite \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 arXiv
Aceto, Luca; Fábregas, Ignacio; García-Pérez, Álvaro; Ingólfsdóttir, Anna; Ortega-Mallén, Yolanda Rule formats for nominal process calculi. (English) Zbl 1442.68119 Log. Methods Comput. Sci. 15, No. 4, Paper No. 2, 46 p. (2019). MSC: 68Q85 03B70 68Q55 68Q60 PDFBibTeX XMLCite \textit{L. Aceto} et al., Log. Methods Comput. Sci. 15, No. 4, Paper No. 2, 46 p. (2019; Zbl 1442.68119) Full Text: arXiv
Gutierrez, Julian; Harrenstein, Paul; Perelli, Giuseppe; Wooldridge, Michael Nash equilibrium and bisimulation invariance. (English) Zbl 1442.68142 Log. Methods Comput. Sci. 15, No. 3, Paper No. 32, 49 p. (2019). MSC: 68Q85 03B70 68T42 91A10 PDFBibTeX XMLCite \textit{J. Gutierrez} et al., Log. Methods Comput. Sci. 15, No. 3, Paper No. 32, 49 p. (2019; Zbl 1442.68142) Full Text: DOI arXiv
Horne, Ross; Tiu, Alwen Constructing weak simulations from linear implications for processes with private names. (English) Zbl 1447.68008 Math. Struct. Comput. Sci. 29, No. 8, 1275-1308 (2019). Reviewer: Martin Lange (Kassel) MSC: 68Q85 03B70 03F52 PDFBibTeX XMLCite \textit{R. Horne} and \textit{A. Tiu}, Math. Struct. Comput. Sci. 29, No. 8, 1275--1308 (2019; Zbl 1447.68008) Full Text: DOI
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
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
Aceto, Luca; Fábregas, Ignacio; Gregorio-Rodríguez, Carlos; Ingólfsdóttir, Anna Logical characterisations, rule formats and compositionality for input-output conformance simulation. (English) Zbl 1423.68091 J. Log. Algebr. Methods Program. 106, 78-106 (2019). MSC: 68N30 03B45 03B70 PDFBibTeX XMLCite \textit{L. Aceto} et al., J. Log. Algebr. Methods Program. 106, 78--106 (2019; Zbl 1423.68091) Full Text: DOI
Zhi, Yuan; Zhou, Xiangnan; Li, Qingguo Residuated skew lattices. (English) Zbl 1444.06005 Inf. Sci. 460-461, 190-201 (2018). MSC: 06B75 03G25 06D35 06D20 PDFBibTeX XMLCite \textit{Y. Zhi} et al., Inf. Sci. 460--461, 190--201 (2018; Zbl 1444.06005) Full Text: DOI
Micić, Ivana; Jančić, Zorana; Stanimirović, Stefan Computation of the greatest right and left invariant fuzzy quasi-orders and fuzzy equivalences. (English) Zbl 1397.68118 Fuzzy Sets Syst. 339, 99-118 (2018). MSC: 68Q45 03E72 06A75 PDFBibTeX XMLCite \textit{I. Micić} et al., Fuzzy Sets Syst. 339, 99--118 (2018; Zbl 1397.68118) Full Text: DOI
Guzmán, Michell; Perchy, Salim; Rueda, Camilo; Valencia, Frank D. Characterizing right inverses for spatial constraint systems with applications to modal logic. (English) Zbl 1400.68134 Theor. Comput. Sci. 744, 56-77 (2018). MSC: 68Q85 03B45 PDFBibTeX XMLCite \textit{M. Guzmán} et al., Theor. Comput. Sci. 744, 56--77 (2018; Zbl 1400.68134) Full Text: DOI HAL
Bezděk, Peter; Beneš, Nikola; Černá, Ivana; Barnat, Jiří On clock-aware LTL parameter synthesis of timed automata. (English) Zbl 1395.68164 J. Log. Algebr. Methods Program. 99, 114-142 (2018). MSC: 68Q45 03B44 68Q60 PDFBibTeX XMLCite \textit{P. Bezděk} et al., J. Log. Algebr. Methods Program. 99, 114--142 (2018; Zbl 1395.68164) Full Text: DOI
Du, Yibin; Zhu, Ping Fuzzy approximations of fuzzy relational structures. (English) Zbl 1446.03089 Int. J. Approx. Reasoning 98, 1-10 (2018). MSC: 03E72 03G25 68T37 PDFBibTeX XMLCite \textit{Y. Du} and \textit{P. Zhu}, Int. J. Approx. Reasoning 98, 1--10 (2018; Zbl 1446.03089) 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
Groote, Jan Friso; Jansen, David N.; Keiren, Jeroen J. A.; Wijs, Anton J. An \(\mathcal O(m\log n)\) algorithm for computing stuttering equivalence and branching bisimulation. (English) Zbl 1367.68211 ACM Trans. Comput. Log. 18, No. 2, Article No. 13, 34 p. (2017). MSC: 68Q85 03B70 68Q25 PDFBibTeX XMLCite \textit{J. F. Groote} et al., ACM Trans. Comput. Log. 18, No. 2, Article No. 13, 34 p. (2017; Zbl 1367.68211) Full Text: DOI
Fahrenberg, Uli; Legay, Axel A linear-time-branching-time spectrum of behavioral specification theories. (English) Zbl 1433.68213 Steffen, Bernhard (ed.) et al., SOFSEM 2017: theory and practice of computer science. 43rd international conference on current trends in theory and practice of computer science, Limerick, Ireland, January 16–20, 2017, Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10139, 49-61 (2017). MSC: 68Q60 03B44 68Q85 PDFBibTeX XMLCite \textit{U. Fahrenberg} and \textit{A. Legay}, Lect. Notes Comput. Sci. 10139, 49--61 (2017; Zbl 1433.68213) Full Text: DOI
Bezděk, Peter; Beneš, Nikola; Barnat, Jiří; Černá, Ivana LTL parameter synthesis of parametric timed automata. (English) Zbl 1390.68422 De Nicola, Rocco (ed.) et al., Software engineering and formal methods. 14th international conference, SEFM 2016, held as part of STAF 2016, Vienna, Austria, July 4–8, 2016. Proceedings. Cham: Springer (ISBN 978-3-319-41590-1/pbk; 978-3-319-41591-8/ebook). Lecture Notes in Computer Science 9763, 172-187 (2016). MSC: 68Q60 03B44 68Q45 PDFBibTeX XMLCite \textit{P. Bezděk} et al., Lect. Notes Comput. Sci. 9763, 172--187 (2016; Zbl 1390.68422) Full Text: DOI arXiv
Mao, Hua; Chen, Yingke; Jaeger, Manfred; Nielsen, Thomas D.; Larsen, Kim G.; Nielsen, Brian Learning deterministic probabilistic automata from a model checking perspective. (English) Zbl 1454.68061 Mach. Learn. 105, No. 2, 255-299 (2016). MSC: 68Q32 03B44 68Q45 68Q60 PDFBibTeX XMLCite \textit{H. Mao} et al., Mach. Learn. 105, No. 2, 255--299 (2016; Zbl 1454.68061) Full Text: DOI
Guzmán, Michell; Perchy, Salim; Rueda, Camilo; Valencia, Frank D. Deriving inverse operators for modal logic. (English) Zbl 1482.68153 Sampaio, Augusto (ed.) et al., Theoretical aspects of computing – ICTAC 2016. 13th international colloquium, Taipei, Taiwan, ROC, October 24–31, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 9965, 214-232 (2016). MSC: 68Q85 03B45 PDFBibTeX XMLCite \textit{M. Guzmán} et al., Lect. Notes Comput. Sci. 9965, 214--232 (2016; Zbl 1482.68153) Full Text: DOI HAL
Martín, Óscar; Verdejo, Alberto; Martí-Oliet, Narciso Egalitarian state-transition systems. (English) Zbl 1367.68198 Lucanu, Dorel (ed.), Rewriting logic and its applications. 11th international workshop, WRLA 2016, held as a satellite event of ETAPS, Eindhoven, The Netherlands, April 2–3, 2016. Revised selected papers. Cham: Springer (ISBN 978-3-319-44801-5/pbk; 978-3-319-44802-2/ebook). Lecture Notes in Computer Science 9942, 98-117 (2016). MSC: 68Q60 03B44 68Q42 PDFBibTeX XMLCite \textit{Ó. Martín} et al., Lect. Notes Comput. Sci. 9942, 98--117 (2016; Zbl 1367.68198) Full Text: DOI
ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints. (English) Zbl 1351.68170 J. Log. Algebr. Methods Program. 85, No. 2, 287-315 (2016). MSC: 68Q60 03B44 68Q85 PDFBibTeX XMLCite \textit{M. H. ter Beek} et al., J. Log. Algebr. Methods Program. 85, No. 2, 287--315 (2016; Zbl 1351.68170) Full Text: DOI
Hirsch, Robin; Jackson, Marcel; Mikulás, Szabolcs The algebra of functions with antidomain and range. (English) Zbl 1377.08001 J. Pure Appl. Algebra 220, No. 6, 2214-2239 (2016). MSC: 08B05 08A02 03G15 PDFBibTeX XMLCite \textit{R. Hirsch} et al., J. Pure Appl. Algebra 220, No. 6, 2214--2239 (2016; Zbl 1377.08001) Full Text: DOI arXiv Link
Bernardo, Marco; De Nicola, Rocco; Loreti, Michele Revisiting bisimilarity and its modal logic for nondeterministic and probabilistic processes. (English) Zbl 1331.68147 Acta Inf. 52, No. 1, 61-106 (2015). Reviewer: Damas Gruska (Bratislava) MSC: 68Q85 03B45 68Q87 PDFBibTeX XMLCite \textit{M. Bernardo} et al., Acta Inf. 52, No. 1, 61--106 (2015; Zbl 1331.68147) Full Text: DOI Link
Di Giampaolo, Barbara; La Torre, Salvatore; Napoli, Margherita Parametric metric interval temporal logic. (English) Zbl 1317.68112 Theor. Comput. Sci. 564, 131-148 (2015). MSC: 68Q60 03B25 03B44 03D05 68Q17 68Q25 PDFBibTeX XMLCite \textit{B. Di Giampaolo} et al., Theor. Comput. Sci. 564, 131--148 (2015; Zbl 1317.68112) Full Text: DOI
Dongol, Brijesh; Hayes, Ian J.; Robinson, Peter J. Reasoning about goal-directed real-time teleo-reactive programs. (English) Zbl 1342.68060 Formal Asp. Comput. 26, No. 3, 563-589 (2014). MSC: 68N19 03B70 68Q55 PDFBibTeX XMLCite \textit{B. Dongol} et al., Formal Asp. Comput. 26, No. 3, 563--589 (2014; Zbl 1342.68060) Full Text: DOI Link
Phillips, Iain; Ulidowski, Irek Event identifier logic. (English) Zbl 1342.68240 Math. Struct. Comput. Sci. 24, No. 2, Article ID e240204, 51 p. (2014). MSC: 68Q85 03B45 PDFBibTeX XMLCite \textit{I. Phillips} and \textit{I. Ulidowski}, Math. Struct. Comput. Sci. 24, No. 2, Article ID e240204, 51 p. (2014; Zbl 1342.68240) Full Text: DOI
Cvetko-Vah, Karin; Leech, Jonathan; Spinks, Matthew Skew lattices and binary operations on functions. (English) Zbl 1284.03279 J. Appl. Log. 11, No. 3, 253-265 (2013). MSC: 03G25 06B75 06E75 08A70 PDFBibTeX XMLCite \textit{K. Cvetko-Vah} et al., J. Appl. Log. 11, No. 3, 253--265 (2013; Zbl 1284.03279) Full Text: DOI
Deng, Yuxin; Tiu, Alwen Characterisations of testing preorders for a finite probabilistic \(\pi\)-calculus. (English) Zbl 1259.68143 Formal Asp. Comput. 24, No. 4-6, 701-726 (2012). MSC: 68Q85 03B45 03B70 68Q55 PDFBibTeX XMLCite \textit{Y. Deng} and \textit{A. Tiu}, Formal Asp. Comput. 24, No. 4--6, 701--726 (2012; Zbl 1259.68143) Full Text: DOI arXiv Link
Derrick, John; Smith, Graeme Temporal-logic property preservation under Z refinement. (English) Zbl 1259.68032 Formal Asp. Comput. 24, No. 3, 393-416 (2012). MSC: 68N30 03B44 PDFBibTeX XMLCite \textit{J. Derrick} and \textit{G. Smith}, Formal Asp. Comput. 24, No. 3, 393--416 (2012; Zbl 1259.68032) 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
Gazda, Maciej; Fokkink, Wan Modal logic and the approximation induction principle. (English) Zbl 1260.68266 Math. Struct. Comput. Sci. 22, No. 2, 175-201 (2012). Reviewer: Ernst-Erich Doberkat (Dortmund) MSC: 68Q85 03B45 PDFBibTeX XMLCite \textit{M. Gazda} and \textit{W. Fokkink}, Math. Struct. Comput. Sci. 22, No. 2, 175--201 (2012; Zbl 1260.68266) Full Text: DOI
Mabrouki, Mbarka; Aiguier, Marc; Comet, Jean-Paul; Le Gall, Pascale; Richard, Adrien Embedding of biological regulatory networks and property preservation. (English) Zbl 1270.92024 Math. Comput. Sci. 5, No. 3, 263-288 (2011). MSC: 92C42 92D10 68Q85 68Q60 03B80 PDFBibTeX XMLCite \textit{M. Mabrouki} et al., Math. Comput. Sci. 5, No. 3, 263--288 (2011; Zbl 1270.92024) Full Text: DOI
Bulychev, P. E. Game-theoretic simulation checking tool. (English. Russian original) Zbl 1242.68154 Program. Comput. Softw. 37, No. 4, 200-209 (2011); translation from Programmirovanie 37, No. 4 (2011). MSC: 68Q60 68Q85 03B44 91A80 68N30 PDFBibTeX XMLCite \textit{P. E. Bulychev}, Program. Comput. Softw. 37, No. 4, 200--209 (2011; Zbl 1242.68154); translation from Programmirovanie 37, No. 4 (2011) Full Text: DOI
Attie, Paul C. On the refinement of liveness properties of distributed systems. (English) Zbl 1233.68160 Form. Methods Syst. Des. 39, No. 1, 1-46 (2011). MSC: 68Q85 68Q45 03B70 PDFBibTeX XMLCite \textit{P. C. Attie}, Form. Methods Syst. Des. 39, No. 1, 1--46 (2011; Zbl 1233.68160) Full Text: DOI arXiv
Leuschel, Michael; Massart, Thierry Efficient approximate verification of B and Z models via symmetry markers. (English) Zbl 1209.68127 Ann. Math. Artif. Intell. 59, No. 1, 81-106 (2010). MSC: 68N30 68Q60 68R10 03B70 68N17 PDFBibTeX XMLCite \textit{M. Leuschel} and \textit{T. Massart}, Ann. Math. Artif. Intell. 59, No. 1, 81--106 (2010; Zbl 1209.68127) Full Text: DOI
Ignjatović, Jelena; Ćirić, Miroslav; Bogdanović, Stojan On the greatest solutions to weakly linear systems of fuzzy relation inequalities and equations. (English) Zbl 1231.03044 Fuzzy Sets Syst. 161, No. 24, 3081-3113 (2010). Reviewer: Witold Pedrycz (Edmonton) MSC: 03E72 68Q45 68Q85 91D30 PDFBibTeX XMLCite \textit{J. Ignjatović} et al., Fuzzy Sets Syst. 161, No. 24, 3081--3113 (2010; Zbl 1231.03044) Full Text: DOI
Ćirić, Miroslav; Stamenković, Aleksandar; Ignjatović, Jelena; Petković, Tatjana Fuzzy relation equations and reduction of fuzzy automata. (English) Zbl 1197.68051 J. Comput. Syst. Sci. 76, No. 7, 609-633 (2010). MSC: 68Q45 03E72 PDFBibTeX XMLCite \textit{M. Ćirić} et al., J. Comput. Syst. Sci. 76, No. 7, 609--633 (2010; Zbl 1197.68051) Full Text: DOI
Berendsen, Jasper; Jansen, David N.; Schmaltz, Julien; Vaandrager, Frits W. The axiomatization of override and update. (English) Zbl 1194.03020 J. Appl. Log. 8, No. 1, 141-150 (2010). MSC: 03B35 03C05 08A02 68T15 PDFBibTeX XMLCite \textit{J. Berendsen} et al., J. Appl. Log. 8, No. 1, 141--150 (2010; Zbl 1194.03020) Full Text: DOI Link
Meseguer, José; Palomino, Miguel; Martí-Oliet, Narciso Algebraic simulations. (English) Zbl 1184.68300 J. Log. Algebr. Program. 79, No. 2, 103-143 (2010). MSC: 68Q42 68Q60 03B44 68N17 PDFBibTeX XMLCite \textit{J. Meseguer} et al., J. Log. Algebr. Program. 79, No. 2, 103--143 (2010; Zbl 1184.68300) Full Text: DOI
van Weerdenburg, Muck; Reniers, Michel A. Structural operational semantics with first-order logic. (English) Zbl 1339.68161 Hennessy, Matthew (ed.) et al., Proceedings of the 5th workshop on structural operational semantics (SOS 2008), Reykjavik, Iceland, July 6, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 4, 85-106 (2009). MSC: 68Q55 03B10 03B70 68Q85 PDFBibTeX XMLCite \textit{M. van Weerdenburg} and \textit{M. A. Reniers}, Electron. Notes Theor. Comput. Sci. 229, No. 4, 85--106 (2009; Zbl 1339.68161) Full Text: DOI
Ranzato, Francesco; Tapparo, Francesco Computing stuttering simulations. (English) Zbl 1254.68179 Bravetti, Mario (ed.) et al., CONCUR 2009 – concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1–4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04080-1/pbk). Lecture Notes in Computer Science 5710, 542-556 (2009). MSC: 68Q85 03B44 PDFBibTeX XMLCite \textit{F. Ranzato} and \textit{F. Tapparo}, Lect. Notes Comput. Sci. 5710, 542--556 (2009; Zbl 1254.68179) Full Text: DOI arXiv
Ouaknine, Joël; Rabinovich, Alexander; Worrell, James Time-bounded verification. (English) Zbl 1254.68151 Bravetti, Mario (ed.) et al., CONCUR 2009 – concurrency theory. 20th international conference, CONCUR 2009, Bologna, Italy, September 1–4, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04080-1/pbk). Lecture Notes in Computer Science 5710, 496-510 (2009). MSC: 68Q60 03B25 03D05 68Q17 PDFBibTeX XMLCite \textit{J. Ouaknine} et al., Lect. Notes Comput. Sci. 5710, 496--510 (2009; Zbl 1254.68151) Full Text: DOI
Johnson, Michael; Naumann, David; Power, John Category theoretic models of data refinement. (English) Zbl 1336.68035 Seda, Anthony (ed.) et al., Proceedings of the Irish conference on the mathematical foundations of computer science and information technology (MFCSIT 2006), National University of Ireland, Cork, Ireland, August 1–5, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 225, 21-38 (2009). MSC: 68N30 03G30 18C50 68Q60 PDFBibTeX XMLCite \textit{M. Johnson} et al., Electron. Notes Theor. Comput. Sci. 225, 21--38 (2008; Zbl 1336.68035) Full Text: DOI
Cuijpers, P. J. L.; Reniers, M. A. Topological aspects of hybrid processes: a proposed treatment using non-standard analysis. (English) Zbl 1316.68091 Aceto, Luca (ed.) et al., Proceedings of the workshop “Essays on algebraic process calculi” (APC 25), Bertinoro, Italy, August 1–5, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 162, 153-158 (2006). MSC: 68Q85 03H10 PDFBibTeX XMLCite \textit{P. J. L. Cuijpers} and \textit{M. A. Reniers}, Electron. Notes Theor. Comput. Sci. 162, 153--158 (2006; Zbl 1316.68091) Full Text: DOI
Kučera, Antonín; Schnoebelen, Philippe A general approach to comparing infinite-state systems with their finite-state specifications. (English) Zbl 1097.68075 Theor. Comput. Sci. 358, No. 2-3, 315-333 (2006). MSC: 68Q60 03B45 68Q85 PDFBibTeX XMLCite \textit{A. Kučera} and \textit{P. Schnoebelen}, Theor. Comput. Sci. 358, No. 2--3, 315--333 (2006; Zbl 1097.68075) Full Text: DOI
Fokkink, Wan; van Glabbeek, Rob; de Wind, Paulien Compositionality of Hennessy-Milner logic by structural operational semantics. (English) Zbl 1088.68094 Theor. Comput. Sci. 354, No. 3, 421-440 (2006). MSC: 68Q55 68Q60 68Q85 03B45 03B70 PDFBibTeX XMLCite \textit{W. Fokkink} et al., Theor. Comput. Sci. 354, No. 3, 421--440 (2006; Zbl 1088.68094) Full Text: DOI
Aceto, Luca; Fokkink, Wan; Ingólfsdóttir, Anna; Luttik, Bas CCS with Hennessy’s merge has no finite-equational axiomatization. (English) Zbl 1078.68102 Theor. Comput. Sci. 330, No. 3, 377-405 (2005). MSC: 68Q85 08A70 03B45 03C05 68Q10 68Q45 68Q55 68Q70 PDFBibTeX XMLCite \textit{L. Aceto} et al., Theor. Comput. Sci. 330, No. 3, 377--405 (2005; Zbl 1078.68102) Full Text: DOI Link
Simpson, Alex Sequent calculi for process verification: Hennessy-Milner logic for an arbitrary GSOS. (English) Zbl 1072.68070 J. Log. Algebr. Program. 60-61, 287-322 (2004). MSC: 68Q65 68Q55 68Q85 03B70 03F03 PDFBibTeX XMLCite \textit{A. Simpson}, J. Log. Algebr. Program. 60--61, 287--322 (2004; Zbl 1072.68070) Full Text: DOI
Cleaveland, Ranee; Lüttgen, Gerald A logical process calculus. (English) Zbl 1270.68210 Nestmann, Uwe (ed.) et al., EXPRESS’02. Papers from the 9th international workshop on expressiveness in concurrency, Brno, Czech Republic, August 19, 2002. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 68, No. 2, 33-50 (2002). MSC: 68Q85 03B44 68Q55 68Q65 PDFBibTeX XMLCite \textit{R. Cleaveland} and \textit{G. Lüttgen}, Electron. Notes Theor. Comput. Sci. 68, No. 2, 33--50 (2002; Zbl 1270.68210) Full Text: DOI
Abramson, Y.; Rabinovich, A. Decidability of split equivalence. (English) Zbl 1009.68080 Inf. Comput. 173, No. 1, 15-39 (2002). MSC: 68Q85 68Q45 03B25 03D05 PDFBibTeX XMLCite \textit{Y. Abramson} and \textit{A. Rabinovich}, Inf. Comput. 173, No. 1, 15--39 (2002; Zbl 1009.68080) Full Text: DOI Link
Dezani-Ciancaglini, Mariangiola; Tiuryn, Jerzy; Urzyczyn, Paweł Discrimination by parallel observers: the algorithm. (English) Zbl 1045.68525 Inf. Comput. 150, No. 2, 153-186 (1999). MSC: 68N18 03B40 PDFBibTeX XMLCite \textit{M. Dezani-Ciancaglini} et al., Inf. Comput. 150, No. 2, 153--186 (1999; Zbl 1045.68525) Full Text: DOI Link
Gerth, Rob; Kuiper, Ruurd; Peled, Doron; Penczek, Wojciech A partial order approach to branching time logic model checking. (English) Zbl 1045.68588 Inf. Comput. 150, No. 2, 132-152 (1999). MSC: 68Q60 03B44 03B70 68Q85 PDFBibTeX XMLCite \textit{R. Gerth} et al., Inf. Comput. 150, No. 2, 132--152 (1999; Zbl 1045.68588) Full Text: DOI Link
Bergstra, Jan A.; Ponse, Alban Kleene’s three-valued logic and process algebra. (English) Zbl 1338.68200 Inf. Process. Lett. 67, No. 2, 95-103 (1998). MSC: 68Q85 03B50 68Q55 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{A. Ponse}, Inf. Process. Lett. 67, No. 2, 95--103 (1998; Zbl 1338.68200) Full Text: DOI Link
Sangiorgi, Davide Locality and interleaving semantics in calculi for mobile processes. (English) Zbl 0874.68115 Theor. Comput. Sci. 155, No. 1, 39-83 (1996). MSC: 68Q10 03B70 68Q55 PDFBibTeX XMLCite \textit{D. Sangiorgi}, Theor. Comput. Sci. 155, No. 1, 39--83 (1996; Zbl 0874.68115) Full Text: DOI
Lenisa, Marina Final semantics for a higher order concurrent language. (English) Zbl 1508.68211 Kirchner, Hélène (ed.), Trees in algebra and programming – CAAP ’96. 21st international colloqium, Linköping, Sweden, April 22–24, 1996. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 1059, 102-118 (1996). MSC: 68Q55 03B70 68Q85 PDFBibTeX XMLCite \textit{M. Lenisa}, Lect. Notes Comput. Sci. 1059, 102--118 (1996; Zbl 1508.68211) Full Text: DOI
Lodaya, Kamal; Mukund, Madhavan; Ramanujam, R.; Thiagarajan, P. S. Models and logics for true concurrency. (English) Zbl 1075.68604 Sādhanā 17, No. 1, 131-165 (1992). MSC: 68Q10 03B70 68T27 PDFBibTeX XMLCite \textit{K. Lodaya} et al., Sādhanā 17, No. 1, 131--165 (1992; Zbl 1075.68604) Full Text: DOI