Alpuente, María; Escobar, Santiago; Meseguer, José; Sapiña, Julia Order-sorted equational generalization algorithm revisited. (English) Zbl 07517439 Ann. Math. Artif. Intell. 90, No. 5, 499-522 (2022). MSC: 68N17 68N18 68Q42 68Q60 68T20 68W30 PDF BibTeX XML Cite \textit{M. Alpuente} et al., Ann. Math. Artif. Intell. 90, No. 5, 499--522 (2022; Zbl 07517439) Full Text: DOI OpenURL
Selvaratnam, Daniel; Cantoni, Michael; Davoren, J. M.; Shames, Iman Sampling polynomial trajectories for LTL verification. (English) Zbl 1478.68174 Theor. Comput. Sci. 897, 135-163 (2022). MSC: 68Q60 03B44 68T40 68W30 PDF BibTeX XML Cite \textit{D. Selvaratnam} et al., Theor. Comput. Sci. 897, 135--163 (2022; Zbl 1478.68174) Full Text: DOI arXiv OpenURL
Vákár, Matthijs Reverse AD at higher types: pure, principled and denotationally correct. (English) Zbl 1473.68058 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, 607-634 (2021). MSC: 68N30 65D25 68N18 68Q65 PDF BibTeX XML Cite \textit{M. Vákár}, Lect. Notes Comput. Sci. 12648, 607--634 (2021; Zbl 1473.68058) Full Text: DOI arXiv OpenURL
Keizer, Alex C.; Basold, Henning; Pérez, Jorge A. Session coalgebras: a coalgebraic view on session types and communication protocols. (English) Zbl 1473.68114 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, 375-403 (2021). MSC: 68Q85 68Q65 PDF BibTeX XML Cite \textit{A. C. Keizer} et al., Lect. Notes Comput. Sci. 12648, 375--403 (2021; Zbl 1473.68114) Full Text: DOI arXiv OpenURL
Goldstein, Harrison; Hughes, John; Lampropoulos, Leonidas; Pierce, Benjamin C. Do judge a test by its cover. Combining combinatorial and property-based testing. (English) Zbl 1473.68044 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, 264-291 (2021). MSC: 68N30 68N18 68N20 68Q65 68W20 PDF BibTeX XML Cite \textit{H. Goldstein} et al., Lect. Notes Comput. Sci. 12648, 264--291 (2021; Zbl 1473.68044) Full Text: DOI OpenURL
Zuo, Zhengkang; Su, Wei; Liang, Zanyang; Huang, Qing; Wang, Yuan; Wang, Changjing A formal method for developing algebraic and numerical algorithms. (English) Zbl 07404563 Wuhan Univ. J. Nat. Sci. 26, No. 2, 191-199 (2021). MSC: 68W01 11Y16 68N30 68Q60 68W30 PDF BibTeX XML Cite \textit{Z. Zuo} et al., Wuhan Univ. J. Nat. Sci. 26, No. 2, 191--199 (2021; Zbl 07404563) Full Text: DOI OpenURL
Applebaum, Benny; Brakerski, Zvika Obfuscating circuits via composite-order graded encoding. (English) Zbl 1467.94025 J. Cryptology 34, No. 2, Paper No. 14, 41 p. (2021). MSC: 94A60 94A62 68N30 PDF BibTeX XML Cite \textit{B. Applebaum} and \textit{Z. Brakerski}, J. Cryptology 34, No. 2, Paper No. 14, 41 p. (2021; Zbl 1467.94025) Full Text: DOI OpenURL
Navarro, Marisa; Orejas, Fernando; Pino, Elvira; Lambers, Leen A navigational logic for reasoning about graph properties. (English) Zbl 1455.68147 J. Log. Algebr. Methods Program. 118, Article ID 100616, 34 p. (2021). MSC: 68R10 03B70 PDF BibTeX XML Cite \textit{M. Navarro} et al., J. Log. Algebr. Methods Program. 118, Article ID 100616, 34 p. (2021; Zbl 1455.68147) Full Text: DOI OpenURL
Bergstra, Jan A. Most general algebraic specifications for an abstract datatype of rational numbers. (English) Zbl 07560035 Sci. Ann. Comput. Sci. 30, No. 1, 1-24 (2020). MSC: 68Qxx PDF BibTeX XML Cite \textit{J. A. Bergstra}, Sci. Ann. Comput. Sci. 30, No. 1, 1--24 (2020; Zbl 07560035) Full Text: DOI OpenURL
Voorneveld, Niels Combining algebraic effect descriptions using the tensor of complete lattices. (English) Zbl 07516380 Johann, Patricia (ed.), Proceedings of the 36th conference on mathematical foundations of programming semantics, MFPS XXXVI, virtual conference, June 2–6, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 352, 257-281 (2020). MSC: 68N30 68Q55 PDF BibTeX XML Cite \textit{N. Voorneveld}, Electron. Notes Theor. Comput. Sci. 352, 257--281 (2020; Zbl 07516380) Full Text: DOI OpenURL
Edalat, Abbas; Farjudian, Amin; Mohammadian, Mina; Pattinson, Dirk Domain theoretic second-order Euler’s method for solving initial value problems. (English) Zbl 07516373 Johann, Patricia (ed.), Proceedings of the 36th conference on mathematical foundations of programming semantics, MFPS XXXVI, virtual conference, June 2–6, 2020. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 352, 105-128 (2020). MSC: 68N30 68Q55 PDF BibTeX XML Cite \textit{A. Edalat} et al., Electron. Notes Theor. Comput. Sci. 352, 105--128 (2020; Zbl 07516373) Full Text: DOI OpenURL
Ţuţu, Ionuţ; Chiriţă, Claudia E.; Fiadeiro, José L. When databases roamed computing: formal database specification revisited perspective of language. (English) Zbl 07503147 Haeusler, Edward Hermann (ed.) et al., A question is more illuminating than an answer. A festschrift for Paulo A. S. Veloso. London: College Publications. Tributes 44, 261-278 (2020). MSC: 03-XX PDF BibTeX XML Cite \textit{I. Ţuţu} et al., Tributes 44, 261--278 (2020; Zbl 07503147) OpenURL
Buro, Samuele; Crole, Roy L.; Mastroeni, Isabella On multi-language abstraction. Towards a static analysis of multi-language programs. (English) Zbl 1474.68045 Pichardie, David (ed.) et al., Static analysis. 27th international symposium, SAS 2020, virtual event, November 18–20, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12389, 310-332 (2020). MSC: 68N30 68Q55 PDF BibTeX XML Cite \textit{S. Buro} et al., Lect. Notes Comput. Sci. 12389, 310--332 (2020; Zbl 1474.68045) Full Text: DOI OpenURL
Zamdzhiev, Vladimir Semantics for first-order affine inductive data types via slice categories. (English) Zbl 1480.68011 Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 180-200 (2020). MSC: 68Q65 18C50 81P68 PDF BibTeX XML Cite \textit{V. Zamdzhiev}, Lect. Notes Comput. Sci. 12094, 180--200 (2020; Zbl 1480.68011) Full Text: DOI arXiv OpenURL
Tsampas, Stelios; Nuyts, Andreas; Devriese, Dominique; Piessens, Frank A categorical approach to secure compilation. (English) Zbl 07314153 Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 155-179 (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{S. Tsampas} et al., Lect. Notes Comput. Sci. 12094, 155--179 (2020; Zbl 07314153) Full Text: DOI arXiv OpenURL
König, Barbara; Mika-Michalski, Christina; Schröder, Lutz Explaining non-bisimilarity in a coalgebraic approach: games and distinguishing formulas. (English) Zbl 07314152 Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 133-154 (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{B. König} et al., Lect. Notes Comput. Sci. 12094, 133--154 (2020; Zbl 07314152) Full Text: DOI arXiv OpenURL
Komorida, Yuichi Injective objects and fibered codensity liftings. (English) Zbl 07314151 Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 112-132 (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{Y. Komorida}, Lect. Notes Comput. Sci. 12094, 112--132 (2020; Zbl 07314151) Full Text: DOI arXiv OpenURL
Jacobs, Bart; Staton, Sam De Finetti’s construction as a categorical limit. (English) Zbl 07314150 Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 90-111 (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{B. Jacobs} and \textit{S. Staton}, Lect. Notes Comput. Sci. 12094, 90--111 (2020; Zbl 07314150) Full Text: DOI arXiv OpenURL
van Heerdt, Gerco; Sammartino, Matteo; Silva, Alexandra Learning automata with side-effects. (English) Zbl 07314149 Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 68-89 (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{G. van Heerdt} et al., Lect. Notes Comput. Sci. 12094, 68--89 (2020; Zbl 07314149) Full Text: DOI Link OpenURL
Gumm, H. Peter Free-algebra functors from a coalgebraic perspective. (English) Zbl 07314148 Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 55-67 (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{H. P. Gumm}, Lect. Notes Comput. Sci. 12094, 55--67 (2020; Zbl 07314148) Full Text: DOI arXiv OpenURL
Bezhanishvili, Nick; Enqvist, Sebastian; de Groot, Jim Duality for instantial neighbourhood logic via coalgebra. (English) Zbl 07314147 Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 32-54 (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{N. Bezhanishvili} et al., Lect. Notes Comput. Sci. 12094, 32--54 (2020; Zbl 07314147) Full Text: DOI OpenURL
Adámek, Jiří Approximate coalgebra homomorphisms and approximate solutions. (English) Zbl 07314146 Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 11-31 (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{J. Adámek}, Lect. Notes Comput. Sci. 12094, 11--31 (2020; Zbl 07314146) Full Text: DOI OpenURL
Fijalkow, Nathanaël The theory of universal graphs for games: past and future. (English) Zbl 07314145 Petrişan, Daniela (ed.) et al., Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12094, 1-10 (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{N. Fijalkow}, Lect. Notes Comput. Sci. 12094, 1--10 (2020; Zbl 07314145) Full Text: DOI OpenURL
Caillaud, Benoît; Malandain, Mathias; Thibault, Joan Implicit structural analysis of multimode DAE systems. (English) Zbl 07300861 Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21–24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 20, 11 p. (2020). MSC: 68Q45 68Q60 93C30 PDF BibTeX XML Cite \textit{B. Caillaud} et al., in: Proceedings of the 23rd ACM international conference on hybrid systems: computation and control, HSCC 2020, Sydney, Australia and virtual, April 21--24, 2020. New York, NY: Association for Computing Machinery (ACM). Article No. 20, 11 p. (2020; Zbl 07300861) Full Text: DOI Link OpenURL
Koenig, Jérémie; Shao, Zhong Refinement-based game semantics for certified abstraction layers. (English) Zbl 07299501 Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8–11, 2020. New York, NY: Association for Computing Machinery (ACM). 633-647 (2020). MSC: 68-XX PDF BibTeX XML Cite \textit{J. Koenig} and \textit{Z. Shao}, in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 633--647 (2020; Zbl 07299501) Full Text: DOI OpenURL
Petrişan, Daniela (ed.); Rot, Jurriaan (ed.) Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25–26, 2020. Proceedings. (English) Zbl 1454.68013 Lecture Notes in Computer Science 12094. Cham: Springer (ISBN 978-3-030-57200-6/pbk; 978-3-030-57201-3/ebook). xv, 201 p. (2020). MSC: 68-06 68Q65 00B25 PDF BibTeX XML Cite \textit{D. Petrişan} (ed.) and \textit{J. Rot} (ed.), Coalgebraic methods in computer science. 15th IFIP WG 1.3 international workshop, CMCS 2020, colocated with ETAPS 2020, Dublin, Ireland, April 25--26, 2020. Proceedings. Cham: Springer (2020; Zbl 1454.68013) Full Text: DOI OpenURL
Găină, Daniel; Nakamura, Masaki; Ogata, Kazuhiro; Futatsugi, Kokichi Stability of termination and sufficient-completeness under pushouts via amalgamation. (English) Zbl 1464.68215 Theor. Comput. Sci. 848, 82-105 (2020). MSC: 68Q65 68Q42 PDF BibTeX XML Cite \textit{D. Găină} et al., Theor. Comput. Sci. 848, 82--105 (2020; Zbl 1464.68215) Full Text: DOI OpenURL
Adámek, Jiří; Milius, Stefan; Moss, Lawrence S. On well-founded and recursive coalgebras. (English) Zbl 1455.18001 Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 17-36 (2020). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 18A15 18C50 68Q65 PDF BibTeX XML Cite \textit{J. Adámek} et al., Lect. Notes Comput. Sci. 12077, 17--36 (2020; Zbl 1455.18001) Full Text: DOI arXiv OpenURL
Salamanca Téllez, Julián Lattices do not distribute over powerset. (English) Zbl 1467.18002 Algebra Univers. 81, No. 4, Paper No. 49, 11 p. (2020). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 18A23 06B25 06A12 18C15 68Q85 68Q65 PDF BibTeX XML Cite \textit{J. Salamanca Téllez}, Algebra Univers. 81, No. 4, Paper No. 49, 11 p. (2020; Zbl 1467.18002) Full Text: DOI OpenURL
Belton, Robin; Brooks, Robyn; Ebli, Stefania; Fajstrup, Lisbeth; Fasy, Brittany Terese; Ray, Catherine; Sanderson, Nicole; Vidaurre, Elizabeth Towards directed collapsibility (research). (English) Zbl 1440.55013 Acu, Bahar (ed.) et al., Advances in mathematical sciences. AWM research symposium, Houston, TX, USA, April 6–7, 2019. Cham: Springer. Assoc. Women Math. Ser. 21, 255-271 (2020). MSC: 55P99 68Q85 68N30 55P10 57Q05 57Q10 PDF BibTeX XML Cite \textit{R. Belton} et al., Assoc. Women Math. Ser. 21, 255--271 (2020; Zbl 1440.55013) Full Text: DOI arXiv OpenURL
Grosshans, Nathan The power of programs over monoids in J. (English) Zbl 1437.68043 Leporati, Alberto (ed.) et al., Language and automata theory and applications. 14th international conference, LATA 2020, Milan, Italy, March 4–6, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12038, 315-327 (2020). MSC: 68N30 20M35 68Q70 PDF BibTeX XML Cite \textit{N. Grosshans}, Lect. Notes Comput. Sci. 12038, 315--327 (2020; Zbl 1437.68043) Full Text: DOI OpenURL
Diaconescu, Răzvan Introducing \(H\), an institution-based formal specification and verification language. (English) Zbl 1484.68106 Log. Univers. 14, No. 2, 259-277 (2020). MSC: 68Q65 03B45 03C98 03G30 PDF BibTeX XML Cite \textit{R. Diaconescu}, Log. Univers. 14, No. 2, 259--277 (2020; Zbl 1484.68106) Full Text: DOI arXiv OpenURL
Bergstra, Jan A.; Ponse, Alban Arithmetical datatypes with true fractions. (English) Zbl 1448.68323 Acta Inf. 57, No. 3-5, 385-402 (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{J. A. Bergstra} and \textit{A. Ponse}, Acta Inf. 57, No. 3--5, 385--402 (2020; Zbl 1448.68323) Full Text: DOI OpenURL
Constantine, David; Lafont, Jean-François; Thompson, Daniel J. The weak specification property for geodesic flows on \(\mathrm{CAT}(-1)\) spaces. (English) Zbl 1457.37049 Groups Geom. Dyn. 14, No. 1, 297-336 (2020). MSC: 37D35 37C40 37D40 37A20 PDF BibTeX XML Cite \textit{D. Constantine} et al., Groups Geom. Dyn. 14, No. 1, 297--336 (2020; Zbl 1457.37049) Full Text: DOI arXiv OpenURL
Haveraaen, Magne; Roggenbach, Markus Specifying with syntactic theory functors. (English) Zbl 1433.68221 J. Log. Algebr. Methods Program. 113, Article ID 100543, 23 p. (2020). MSC: 68Q65 PDF BibTeX XML Cite \textit{M. Haveraaen} and \textit{M. Roggenbach}, J. Log. Algebr. Methods Program. 113, Article ID 100543, 23 p. (2020; Zbl 1433.68221) Full Text: DOI OpenURL
Blanqui, Frédéric; Jouannaud, Jean-Pierre; Okada, Mitsuhiro Corrigendum to: “Inductive-data-type systems”. (English) Zbl 1432.68210 Theor. Comput. Sci. 817, 81-82 (2020). MSC: 68Q42 68N18 68Q65 PDF BibTeX XML Cite \textit{F. Blanqui} et al., Theor. Comput. Sci. 817, 81--82 (2020; Zbl 1432.68210) Full Text: DOI OpenURL
Bromberger, Martin; Sturm, Thomas; Weidenbach, Christoph A complete and terminating approach to linear integer solving. (English) Zbl 1432.68597 J. Symb. Comput. 100, 102-136 (2020). MSC: 68W30 68Q60 68R07 68V15 90C10 PDF BibTeX XML Cite \textit{M. Bromberger} et al., J. Symb. Comput. 100, 102--136 (2020; Zbl 1432.68597) 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
Voorneveld, Niels Quantitative logics for equivalence of effectful programs. (English) Zbl 07515965 König, Barbara (ed.), Proceedings of the 35th conference on the mathematical foundations of programming semantics, MFPS XXXV, London, UK, June 4–7, 2019. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 347, 281-301 (2019). MSC: 68N30 68Q55 PDF BibTeX XML Cite \textit{N. Voorneveld}, Electron. Notes Theor. Comput. Sci. 347, 281--301 (2019; Zbl 07515965) Full Text: DOI OpenURL
Knapp, Alexander; Cengarle, María Victoria Term charters. (English) Zbl 1444.68085 Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 119-138 (2019). MSC: 68Q42 18C50 68N30 68Q65 PDF BibTeX XML Cite \textit{A. Knapp} and \textit{M. V. Cengarle}, Lect. Notes Comput. Sci. 11563, 119--138 (2019; Zbl 1444.68085) Full Text: DOI OpenURL
Glauer, Martin; Mossakowski, Till Institutions for SQL database schemas and datasets. (English) Zbl 1444.68068 Fiadeiro, José Luiz (ed.) et al., Recent trends in algebraic development techniques. 24th IFIP WG 1.3 international workshop, WADT 2018, Egham, UK, July 2–5, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11563, 67-86 (2019). MSC: 68P15 18C50 68Q65 PDF BibTeX XML Cite \textit{M. Glauer} and \textit{T. Mossakowski}, Lect. Notes Comput. Sci. 11563, 67--86 (2019; Zbl 1444.68068) Full Text: DOI OpenURL
Wagemaker, Jana; Bonsangue, Marcello; Kappé, Tobias; Rot, Jurriaan; Silva, Alexandra Completeness and incompleteness of synchronous Kleene algebra. (English) Zbl 1434.68311 Hutton, Graham (ed.), Mathematics of program construction. 13th international conference, MPC 2019, Porto, Portugal, October 7–9, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11825, 385-413 (2019). MSC: 68Q70 68N30 PDF BibTeX XML Cite \textit{J. Wagemaker} et al., Lect. Notes Comput. Sci. 11825, 385--413 (2019; Zbl 1434.68311) Full Text: DOI arXiv OpenURL
Marmsoler, Diego; Gidey, Habtom Kashay Interactive verification of architectural design patterns in FACTum. (English) Zbl 1425.68273 Formal Asp. Comput. 31, No. 5, 541-610 (2019). MSC: 68Q65 68T15 PDF BibTeX XML Cite \textit{D. Marmsoler} and \textit{H. K. Gidey}, Formal Asp. Comput. 31, No. 5, 541--610 (2019; Zbl 1425.68273) Full Text: DOI OpenURL
Rot, Jurriaan Distributive laws for monotone specifications. (English) Zbl 1432.68253 Acta Inf. 56, No. 7-8, 585-617 (2019). MSC: 68Q55 68Q65 PDF BibTeX XML Cite \textit{J. Rot}, Acta Inf. 56, No. 7--8, 585--617 (2019; Zbl 1432.68253) Full Text: DOI OpenURL
Li, Hanfeng Garden of Eden and specification. (English) Zbl 1421.37005 Ergodic Theory Dyn. Syst. 39, No. 11, 3075-3088 (2019). MSC: 37B05 37B40 54H20 PDF BibTeX XML Cite \textit{H. Li}, Ergodic Theory Dyn. Syst. 39, No. 11, 3075--3088 (2019; Zbl 1421.37005) Full Text: DOI arXiv OpenURL
Pous, Damien; Rot, Jurriaan Companions, causality and codensity. (English) Zbl 1442.68150 Log. Methods Comput. Sci. 15, No. 3, Paper No. 14, 36 p. (2019). MSC: 68Q85 03B70 06B23 08A70 18C15 68Q65 PDF BibTeX XML Cite \textit{D. Pous} and \textit{J. Rot}, Log. Methods Comput. Sci. 15, No. 3, Paper No. 14, 36 p. (2019; Zbl 1442.68150) Full Text: arXiv OpenURL
Lopez, Pombo Carlos G.; Castro, Pablo F.; Aguirre, Nazareno M.; Maibaum, Thomas S. E. Satisfiability calculus: an abstract formulation of semantic proof systems. (English) Zbl 1446.03112 Fundam. Inform. 166, No. 4, 297-347 (2019). MSC: 03G30 68Q65 PDF BibTeX XML Cite \textit{P. C. G. Lopez} et al., Fundam. Inform. 166, No. 4, 297--347 (2019; Zbl 1446.03112) Full Text: DOI OpenURL
Cardelli, Luca; Tribastone, Mirco; Tschaikowski, Max; Vandin, Andrea Symbolic computation of differential equivalences. (English) Zbl 1425.68463 Theor. Comput. Sci. 777, 132-154 (2019). MSC: 68W30 34C99 68N30 68Q55 68Q60 68Q85 92C40 PDF BibTeX XML Cite \textit{L. Cardelli} et al., Theor. Comput. Sci. 777, 132--154 (2019; Zbl 1425.68463) Full Text: DOI Link OpenURL
Ahrens, Benedikt Initial semantics for reduction rules. (English) Zbl 1421.68013 Log. Methods Comput. Sci. 15, No. 1, Paper No. 28, 45 p. (2019). MSC: 68N30 18C10 18C50 68N18 PDF BibTeX XML Cite \textit{B. Ahrens}, Log. Methods Comput. Sci. 15, No. 1, Paper No. 28, 45 p. (2019; Zbl 1421.68013) Full Text: DOI arXiv 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
Hofmann, Dirk; Neves, Renato; Nora, Pedro Limits in categories of Vietoris coalgebras. (English) Zbl 1417.68108 Math. Struct. Comput. Sci. 29, No. 4, 552-587 (2019). MSC: 68Q65 18A30 PDF BibTeX XML Cite \textit{D. Hofmann} et al., Math. Struct. Comput. Sci. 29, No. 4, 552--587 (2019; Zbl 1417.68108) Full Text: DOI arXiv OpenURL
Chapman, James; Uustalu, Tarmo; Veltri, Niccolò Quotienting the delay monad by weak bisimilarity. (English) Zbl 1407.68306 Math. Struct. Comput. Sci. 29, No. 1, 67-92 (2019). MSC: 68Q65 03B15 68N18 68Q55 68T15 PDF BibTeX XML Cite \textit{J. Chapman} et al., Math. Struct. Comput. Sci. 29, No. 1, 67--92 (2019; Zbl 1407.68306) Full Text: DOI OpenURL
Ganty, Pierre; Gutiérrez, Elena The Parikh property for weighted context-free grammars. (English) Zbl 07561337 Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 32, 20 p. (2018). MSC: 68N30 68Qxx PDF BibTeX XML Cite \textit{P. Ganty} and \textit{E. Gutiérrez}, LIPIcs -- Leibniz Int. Proc. Inform. 122, Article 32, 20 p. (2018; Zbl 07561337) Full Text: DOI OpenURL
Bläser, Markus; Komarath, Balagopal; Sreenivasaiah, Karteek Graph pattern polynomials. (English) Zbl 07561323 Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 18, 13 p. (2018). MSC: 68N30 68Qxx PDF BibTeX XML Cite \textit{M. Bläser} et al., LIPIcs -- Leibniz Int. Proc. Inform. 122, Article 18, 13 p. (2018; Zbl 07561323) Full Text: DOI OpenURL
Saptharishi, Ramprasad; Tengse, Anamay Quasipolynomial hitting sets for circuits with restricted parse trees. (English) Zbl 07561311 Ganguly, Sumit (ed.) et al., 38th IARCS annual conference on foundations of software technology and theoretical computer science, FSTTCS 2018, Ahmedabad, India, December 11–13, 2018. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 122, Article 6, 19 p. (2018). MSC: 68N30 68Qxx PDF BibTeX XML Cite \textit{R. Saptharishi} and \textit{A. Tengse}, LIPIcs -- Leibniz Int. Proc. Inform. 122, Article 6, 19 p. (2018; Zbl 07561311) Full Text: DOI OpenURL
Hofstra, Pieter; Parker, Jason; Scott, Philip Isotropy of algebraic theories. (English) Zbl 07517273 Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 201-217 (2018). MSC: 68N30 68Q55 PDF BibTeX XML Cite \textit{P. Hofstra} et al., Electron. Notes Theor. Comput. Sci. 341, 201--217 (2018; Zbl 07517273) Full Text: DOI OpenURL
Bowler, Nathan; Levy, Paul Blain; Plotkin, Gordon Initial algebras and final coalgebras consisting of nondeterministic finite trace strategies. (English) Zbl 07517270 Staton, Sam (ed.), Proceedings of the 34th conference on the mathematical foundations of programming semantics (MFPS XXXIV), Dalhousie University, Halifax, Canada, June 6–9, 2018. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 341, 23-44 (2018). MSC: 68N30 68Q55 PDF BibTeX XML Cite \textit{N. Bowler} et al., Electron. Notes Theor. Comput. Sci. 341, 23--44 (2018; Zbl 07517270) Full Text: DOI OpenURL
Docherty, Simon; Pym, David A stone-type duality theorem for separation logic via its underlying bunched logics. (English) Zbl 07513457 Silva, Alexandra (ed.), Proceedings of the 33rd conference on the mathematical foundations of programming semantics (MFPS XXXIII), Ljubljana, Slovenia, June 12–15, 2017. Amsterdam: Elsevier. Electron. Notes Theor. Comput. Sci. 336, 101-118 (2018). MSC: 68N30 68Q55 PDF BibTeX XML Cite \textit{S. Docherty} and \textit{D. Pym}, Electron. Notes Theor. Comput. Sci. 336, 101--118 (2018; Zbl 07513457) Full Text: DOI OpenURL
Korovina, Margarita; Kudinov, Oleg Highlights of the Rice-Shapiro theorem in computable topology. (English) Zbl 1461.03039 Petrenko, Alexander K. (ed.) et al., Perspectives of system informatics. 11th international Andrei P. Ershov informatics conference, PSI 2017, Moscow, Russia, June 27–29, 2017. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10742, 241-255 (2018). MSC: 03D45 03D78 54A05 68Q65 PDF BibTeX XML Cite \textit{M. Korovina} and \textit{O. Kudinov}, Lect. Notes Comput. Sci. 10742, 241--255 (2018; Zbl 1461.03039) Full Text: DOI OpenURL
Colvin, Robert J.; Smith, Graeme A wide-spectrum language for verification of programs on weak memory models. (English) Zbl 1460.68026 Havelund, Klaus (ed.) et al., Formal methods. 22nd international symposium, FM 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 15–17, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10951, 240-257 (2018). MSC: 68N30 68Q55 68Q60 68Q65 PDF BibTeX XML Cite \textit{R. J. Colvin} and \textit{G. Smith}, Lect. Notes Comput. Sci. 10951, 240--257 (2018; Zbl 1460.68026) Full Text: DOI arXiv OpenURL
Roux, Pierre; Iguernlala, Mohamed; Conchon, Sylvain A non-linear arithmetic procedure for control-command software verification. (English) Zbl 1423.68469 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, 132-151 (2018). MSC: 68T20 68Q60 68W30 90C25 PDF BibTeX XML Cite \textit{P. Roux} et al., Lect. Notes Comput. Sci. 10806, 132--151 (2018; Zbl 1423.68469) Full Text: DOI HAL OpenURL
Marmsoler, Diego Hierarchical specification and verification of architectural design patterns. (English) Zbl 1425.68272 Russo, Alessandra (ed.) et al., Fundamental approaches to software engineering. 21st international conference, FASE 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. 10802, 149-168 (2018). MSC: 68Q65 68T15 PDF BibTeX XML Cite \textit{D. Marmsoler}, Lect. Notes Comput. Sci. 10802, 149--168 (2018; Zbl 1425.68272) 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
Chatterjee, Krishnendu; Dvořák, Wolfgang; Henzinger, Monika; Svozil, Alexander Quasipolynomial set-based symbolic algorithms for parity games. (English) Zbl 1415.68142 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, 233-253 (2018). MSC: 68Q60 68W30 PDF BibTeX XML Cite \textit{K. Chatterjee} et al., EPiC Ser. Comput. 57, 233--253 (2018; Zbl 1415.68142) Full Text: DOI arXiv 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
Wang, Jiaqi; Talmage, Edward; Lee, Hyunyoung; Welch, Jennifer L. Improved time bounds for linearizable implementations of abstract data types. (English) Zbl 1407.68313 Inf. Comput. 263, 1-30 (2018). MSC: 68Q65 68M14 68Q17 PDF BibTeX XML Cite \textit{J. Wang} et al., Inf. Comput. 263, 1--30 (2018; Zbl 1407.68313) Full Text: DOI OpenURL
Urabe, Natsuki; Hasuo, Ichiro Categorical Büchi and parity conditions via alternating fixed points of functors. (English) Zbl 06962939 Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 214-234 (2018). MSC: 68Q65 PDF BibTeX XML Cite \textit{N. Urabe} and \textit{I. Hasuo}, Lect. Notes Comput. Sci. 11202, 214--234 (2018; Zbl 06962939) Full Text: DOI arXiv Link OpenURL
Sprunger, David; Katsumata, Shin-ya; Dubut, Jérémy; Hasuo, Ichiro Fibrational bisimulations and quantitative reasoning. (English) Zbl 06962938 Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 190-213 (2018). MSC: 68Q65 PDF BibTeX XML Cite \textit{D. Sprunger} et al., Lect. Notes Comput. Sci. 11202, 190--213 (2018; Zbl 06962938) Full Text: DOI OpenURL
Pavlovic, Dusko; Yahia, Muzamil Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract). (English) Zbl 06962937 Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 167-189 (2018). MSC: 68Q65 PDF BibTeX XML Cite \textit{D. Pavlovic} and \textit{M. Yahia}, Lect. Notes Comput. Sci. 11202, 167--189 (2018; Zbl 06962937) Full Text: DOI arXiv OpenURL
Milius, Stefan; Adámek, Jiří; Urbat, Henning On algebras with effectful iteration. (English) Zbl 06962936 Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 144-166 (2018). MSC: 68Q65 PDF BibTeX XML Cite \textit{S. Milius} et al., Lect. Notes Comput. Sci. 11202, 144--166 (2018; Zbl 06962936) Full Text: DOI OpenURL
Jacobs, Bart; Levy, Paul; Rot, Jurriaan Steps and traces. (English) Zbl 06962935 Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 122-143 (2018). MSC: 68Q65 PDF BibTeX XML Cite \textit{B. Jacobs} et al., Lect. Notes Comput. Sci. 11202, 122--143 (2018; Zbl 06962935) Full Text: DOI arXiv OpenURL
Goy, Alexandre; Rot, Jurriaan (in)finite trace equivalence of probabilistic transition systems. (English) Zbl 06962934 Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 100-121 (2018). MSC: 68Q65 PDF BibTeX XML Cite \textit{A. Goy} and \textit{J. Rot}, Lect. Notes Comput. Sci. 11202, 100--121 (2018; Zbl 06962934) Full Text: DOI OpenURL
Feys, Frank M. V.; Hansen, Helle Hvid; Moss, Lawrence S. Long-term values in Markov decision processes, (co)algebraically. (English) Zbl 06962933 Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 78-99 (2018). MSC: 68Q65 PDF BibTeX XML Cite \textit{F. M. V. Feys} et al., Lect. Notes Comput. Sci. 11202, 78--99 (2018; Zbl 06962933) Full Text: DOI OpenURL
Dorsch, Ulrich; Milius, Stefan; Schröder, Lutz; Wißmann, Thorsten Predicate liftings and functor presentations in coalgebraic expression languages. (English) Zbl 06962932 Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 56-77 (2018). MSC: 68Q65 PDF BibTeX XML Cite \textit{U. Dorsch} et al., Lect. Notes Comput. Sci. 11202, 56--77 (2018; Zbl 06962932) Full Text: DOI arXiv OpenURL
Berger, Ulrich; Setzer, Anton Undecidability of equality for codata types. (English) Zbl 06962931 Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 34-55 (2018). MSC: 68Q65 PDF BibTeX XML Cite \textit{U. Berger} and \textit{A. Setzer}, Lect. Notes Comput. Sci. 11202, 34--55 (2018; Zbl 06962931) Full Text: DOI Link OpenURL
Berardi, Stefano; Tatsuta, Makoto Intuitionistic Podelski-Rybalchenko theorem and equivalence between inductive definitions and cyclic proofs. (English) Zbl 06962930 Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 13-33 (2018). MSC: 68Q65 PDF BibTeX XML Cite \textit{S. Berardi} and \textit{M. Tatsuta}, Lect. Notes Comput. Sci. 11202, 13--33 (2018; Zbl 06962930) Full Text: DOI OpenURL
Kupke, Clemens Coalgebraic logics & duality. (English) Zbl 06962929 Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 6-12 (2018). MSC: 68Q65 PDF BibTeX XML Cite \textit{C. Kupke}, Lect. Notes Comput. Sci. 11202, 6--12 (2018; Zbl 06962929) Full Text: DOI OpenURL
Abramsky, Samson; Shah, Nihil Relating structure and power: comonadic semantics for computational resources (extended abstract). (English) Zbl 06962928 Cîrstea, Corina (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 11202, 1-5 (2018). MSC: 68Q65 PDF BibTeX XML Cite \textit{S. Abramsky} and \textit{N. Shah}, Lect. Notes Comput. Sci. 11202, 1--5 (2018; Zbl 06962928) Full Text: DOI arXiv OpenURL
Moscato, Mariano M.; Lopez Pombo, Carlos G.; Muñoz, César A.; Feliú, Marco A. Boosting the reuse of formal specifications. (English) Zbl 1452.68263 Avigad, Jeremy (ed.) et al., Interactive theorem proving. 9th international conference, ITP 2018, held as part of the federated logic conference, FloC 2018, Oxford, UK, July 9–12, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10895, 477-494 (2018). MSC: 68V15 08A70 68Q65 PDF BibTeX XML Cite \textit{M. M. Moscato} et al., Lect. Notes Comput. Sci. 10895, 477--494 (2018; Zbl 1452.68263) Full Text: DOI OpenURL
Cîrstea, Corina (ed.) Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14–15, 2018. Revised selected papers. (English) Zbl 1396.68009 Lecture Notes in Computer Science 11202. Cham: Springer (ISBN 978-3-030-00388-3/pbk; 978-3-030-00389-0/ebook). ix, 235 p. (2018). MSC: 68-06 68Q65 00B25 PDF BibTeX XML Cite \textit{C. Cîrstea} (ed.), Coalgebraic methods in computer science. 14th IFIP WG 1.3 international workshop, CMCS 2018, colocated with ETAPS 2018, Thessaloniki, Greece, April 14--15, 2018. Revised selected papers. Cham: Springer (2018; Zbl 1396.68009) Full Text: DOI OpenURL
Kojima, Kensuke; Kinoshita, Minoru; Suenaga, Kohei Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis. (English) Zbl 1401.68044 Theor. Comput. Sci. 747, 33-47 (2018). MSC: 68N30 68W30 PDF BibTeX XML Cite \textit{K. Kojima} et al., Theor. Comput. Sci. 747, 33--47 (2018; Zbl 1401.68044) Full Text: DOI arXiv OpenURL
Ahrens, Benedikt; Matthes, Ralph Heterogeneous substitution systems revisited. (English) Zbl 1433.68220 Uustalu, Tarmo (ed.), 21st international conference on types for proofs and programs, TYPES 2015, May 18–21, 2015, Tallinn, Estonia. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 69, Article 2, 23 p. (2018). MSC: 68Q65 18C50 68V15 68V20 PDF BibTeX XML Cite \textit{B. Ahrens} and \textit{R. Matthes}, LIPIcs -- Leibniz Int. Proc. Inform. 69, Article 2, 23 p. (2018; Zbl 1433.68220) Full Text: DOI arXiv OpenURL
Chentsov, Alexey; Nikitchenko, Mykola Composition-nominative logics as institutions. (English) Zbl 1456.03054 Log. Univers. 12, No. 1-2, 221-238 (2018). MSC: 03B70 03B10 03C95 03G30 68Q65 PDF BibTeX XML Cite \textit{A. Chentsov} and \textit{M. Nikitchenko}, Log. Univers. 12, No. 1--2, 221--238 (2018; Zbl 1456.03054) Full Text: DOI OpenURL
Mossakowski, Till; Krieg-Brückner, Bernd Partial pushout semantics of generics in DOL. (English) Zbl 1397.68112 Theor. Comput. Sci. 741, 58-70 (2018). MSC: 68Q42 68Q65 PDF BibTeX XML Cite \textit{T. Mossakowski} and \textit{B. Krieg-Brückner}, Theor. Comput. Sci. 741, 58--70 (2018; Zbl 1397.68112) Full Text: DOI OpenURL
Mosses, Peter D. CoFI with Don Sannella. (English) Zbl 1397.68124 Theor. Comput. Sci. 741, 44-47 (2018). MSC: 68Q65 68-03 PDF BibTeX XML Cite \textit{P. D. Mosses}, Theor. Comput. Sci. 741, 44--47 (2018; Zbl 1397.68124) Full Text: DOI OpenURL
Hennicker, Rolf; Madeira, Alexandre; Wirsing, Martin Behavioural and abstractor specifications revisited. (English) Zbl 1396.68073 Theor. Comput. Sci. 741, 32-43 (2018). MSC: 68Q65 68Q85 PDF BibTeX XML Cite \textit{R. Hennicker} et al., Theor. Comput. Sci. 741, 32--43 (2018; Zbl 1396.68073) Full Text: DOI 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
Orchard, Dominic Complexity bounds for container functors and comonads. (English) Zbl 1394.68240 Inf. Comput. 261, Part 1, 144-158 (2018). MSC: 68Q65 68N30 PDF BibTeX XML Cite \textit{D. Orchard}, Inf. Comput. 261, Part 1, 144--158 (2018; Zbl 1394.68240) Full Text: DOI OpenURL
Melliès, Paul-André; Zeilberger, Noam An Isbell duality theorem for type refinement systems. (English) Zbl 1390.68189 Math. Struct. Comput. Sci. 28, No. 6, 736-774 (2018). MSC: 68N30 03B70 03F52 03G30 18F25 68N18 PDF BibTeX XML Cite \textit{P.-A. Melliès} and \textit{N. Zeilberger}, Math. Struct. Comput. Sci. 28, No. 6, 736--774 (2018; Zbl 1390.68189) Full Text: DOI arXiv OpenURL
Wolter, Uwe; Diskin, Zinovy; König, Harald Graph operations and free graph algebras. (English) Zbl 1383.68049 Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 313-331 (2018). MSC: 68Q42 05C25 08A70 18A40 68Q65 PDF BibTeX XML Cite \textit{U. Wolter} et al., Lect. Notes Comput. Sci. 10800, 313--331 (2018; Zbl 1383.68049) Full Text: DOI OpenURL
Sannella, Donald; Tarlecki, Andrzej On normal forms for structured specifications with generating constraints. (English) Zbl 1383.68051 Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 266-284 (2018). MSC: 68Q65 PDF BibTeX XML Cite \textit{D. Sannella} and \textit{A. Tarlecki}, Lect. Notes Comput. Sci. 10800, 266--284 (2018; Zbl 1383.68051) Full Text: DOI Link OpenURL
Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Ribeiro, Leila; Costa, Andrei; Rodrigues, Leonardo Marques; Machado, Rodrigo The Verigraph system for graph transformation. (English) Zbl 1383.68041 Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 160-178 (2018). MSC: 68Q42 68N30 68Q65 PDF BibTeX XML Cite \textit{G. G. Azzi} et al., Lect. Notes Comput. Sci. 10800, 160--178 (2018; Zbl 1383.68041) Full Text: DOI OpenURL
Löwe, Michael Model transformations as free constructions. (English) Zbl 1383.68046 Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 142-159 (2018). MSC: 68Q42 68Q65 PDF BibTeX XML Cite \textit{M. Löwe}, Lect. Notes Comput. Sci. 10800, 142--159 (2018; Zbl 1383.68046) Full Text: DOI OpenURL
Corradini, Andrea; Duval, Dominique; Löwe, Michael; Ribeiro, Leila; Machado, Rodrigo; Costa, Andrei; Azzi, Guilherme Grochau; Bezerra, Jonas Santos; Rodrigues, Leonardo Marques On the essence of parallel independence for the double-pushout and sesqui-pushout approaches. (English) Zbl 1383.68042 Heckel, Reiko (ed.) et al., Graph transformation, specifications, and nets. In memory of Hartmut Ehrig. Cham: Springer (ISBN 978-3-319-75395-9/pbk; 978-3-319-75396-6/ebook). Lecture Notes in Computer Science 10800, 1-18 (2018). MSC: 68Q42 18A30 68Q65 PDF BibTeX XML Cite \textit{A. Corradini} et al., Lect. Notes Comput. Sci. 10800, 1--18 (2018; Zbl 1383.68042) Full Text: DOI Link OpenURL
Zhang, Min; Ogata, Kazuhiro From hidden to visible: a unified framework for transforming behavioral theories into rewrite theories. (English) Zbl 1388.68189 Theor. Comput. Sci. 722, 52-75 (2018). MSC: 68Q65 68Q42 PDF BibTeX XML Cite \textit{M. Zhang} and \textit{K. Ogata}, Theor. Comput. Sci. 722, 52--75 (2018; Zbl 1388.68189) Full Text: DOI OpenURL
Hasuo, Ichiro; Kataoka, Toshiki; Cho, Kenta Coinductive predicates and final sequences in a fibration. (English) Zbl 1386.68103 Math. Struct. Comput. Sci. 28, No. 4, 562-611 (2018). MSC: 68Q65 03G30 18B20 68Q85 PDF BibTeX XML Cite \textit{I. Hasuo} et al., Math. Struct. Comput. Sci. 28, No. 4, 562--611 (2018; Zbl 1386.68103) Full Text: DOI OpenURL
Clochard, Martin; Gondelman, Léon; Pereira, Mário The matrix reproved (verification pearl). (English) Zbl 1426.68164 J. Autom. Reasoning 60, No. 3, 365-383 (2018). MSC: 68Q60 65F30 68V15 68W30 PDF BibTeX XML Cite \textit{M. Clochard} et al., J. Autom. Reasoning 60, No. 3, 365--383 (2018; Zbl 1426.68164) Full Text: DOI Link OpenURL
Oliveira, José Nuno Programming from metaphorisms. (English) Zbl 1381.68058 J. Log. Algebr. Methods Program. 94, 15-44 (2018). MSC: 68N30 68P10 68Q65 PDF BibTeX XML Cite \textit{J. N. Oliveira}, J. Log. Algebr. Methods Program. 94, 15--44 (2018; Zbl 1381.68058) Full Text: DOI arXiv OpenURL
Rot, Jurriaan Distributive laws for monotone specifications. (English) Zbl 1483.68182 Peters, Kirstin (ed.) et al., Proceedings of the combined 24th international workshop on expressiveness in concurrency and 14th workshop on structural operational semantics, EXPRESS/SOS 2017, Berlin, Germany, September 4, 2017. Waterloo: Open Publishing Association (OPA). Electron. Proc. Theor. Comput. Sci. (EPTCS) 255, 83-97 (2017). MSC: 68Q55 18C15 68Q65 PDF BibTeX XML Cite \textit{J. Rot}, Electron. Proc. Theor. Comput. Sci. (EPTCS) 255, 83--97 (2017; Zbl 1483.68182) Full Text: arXiv Link OpenURL