Soldevila, Mallku; Ziliani, Beta; Silvestre, Bruno From specification to testing: semantics engineering for Lua 5.2. (English) Zbl 07632095 J. Autom. Reasoning 66, No. 4, 905-952 (2022). MSC: 68V15 PDF BibTeX XML Cite \textit{M. Soldevila} et al., J. Autom. Reasoning 66, No. 4, 905--952 (2022; Zbl 07632095) Full Text: DOI OpenURL
Tom, Hirschowitz; Ambroise, Lafont A categorical framework for congruence of applicative bisimilarity in higher-order languages. (English) Zbl 07596585 Log. Methods Comput. Sci. 18, No. 3, Paper No. 37, 72 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{H. Tom} and \textit{L. Ambroise}, Log. Methods Comput. Sci. 18, No. 3, Paper No. 37, 72 p. (2022; Zbl 07596585) Full Text: DOI arXiv OpenURL
Moezkarimi, Zahra; Ghassemi, Fatemeh; Mousavi, Mohammad Reza A policy-aware epistemic framework for social networks. (English) Zbl 07582732 J. Log. Comput. 32, No. 6, 1234-1271 (2022). MSC: 03-XX 68-XX PDF BibTeX XML Cite \textit{Z. Moezkarimi} et al., J. Log. Comput. 32, No. 6, 1234--1271 (2022; Zbl 07582732) Full Text: DOI OpenURL
Hirschowitz, André; Hirschowitz, Tom; Lafont, Ambroise Modules over monads and operational semantics (expanded version). (English) Zbl 07577567 Log. Methods Comput. Sci. 18, No. 3, Paper No. 3, 67 p. (2022). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{A. Hirschowitz} et al., Log. Methods Comput. Sci. 18, No. 3, Paper No. 3, 67 p. (2022; Zbl 07577567) Full Text: arXiv Link OpenURL
Weiss, Yale Revisiting constructive mingle: algebraic and operational semantics. (English) Zbl 07576862 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 435-455 (2022). MSC: 03B47 03B20 03G10 PDF BibTeX XML Cite \textit{Y. Weiss}, Tributes 46, 435--455 (2022; Zbl 07576862) OpenURL
Tedder, Andrew Situations, propositions, and information states. (English) Zbl 07576860 Bimbó, Katalin (ed.), Relevance logics and other tools for reasoning. Essays in honor of J. Michael Dunn. London: College Publications. Tributes 46, 410-426 (2022). Reviewer: Thomas Ferguson (Amsterdam/St. Andrews) MSC: 03B47 03B80 PDF BibTeX XML Cite \textit{A. Tedder}, Tributes 46, 410--426 (2022; Zbl 07576860) OpenURL
Ancona, Davide; Barbieri, Pietro; Zucca, Elena Enhancing expressivity of checked corecursive streams. (English) Zbl 07570111 Hanus, Michael (ed.) et al., Functional and logic programming. 16th international symposium, FLOPS 2022, Kyoto, Japan, May 10–12, 2022. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 13215, 1-18 (2022). MSC: 68N17 68N18 PDF BibTeX XML Cite \textit{D. Ancona} et al., Lect. Notes Comput. Sci. 13215, 1--18 (2022; Zbl 07570111) Full Text: DOI arXiv OpenURL
Standefer, Shawn Revisiting semilattice semantics. (English) Zbl 07469210 Düntsch, Ivo (ed.) et al., Alasdair Urquhart on nonclassical and algebraic logic and complexity of proofs. Cham: Springer. Outst. Contrib. Log. 22, 243-259 (2022). MSC: 03Bxx 03Gxx PDF BibTeX XML Cite \textit{S. Standefer}, Outst. Contrib. Log. 22, 243--259 (2022; Zbl 07469210) Full Text: DOI OpenURL
Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo Categorical specification and implementation of replicated data types. (English) Zbl 07467470 Theor. Comput. Sci. 903, 84-112 (2022). MSC: 68Qxx PDF BibTeX XML Cite \textit{F. Gadducci} et al., Theor. Comput. Sci. 903, 84--112 (2022; Zbl 07467470) Full Text: DOI OpenURL
Graversen, Eva; Phillips, Iain; Yoshida, Nobuko Event structures for the reversible early internal \(\pi\)-calculus. (English) Zbl 1482.68152 J. Log. Algebr. Methods Program. 124, Article ID 100720, 46 p. (2022). Reviewer: T. C. Mohan (Chennai) MSC: 68Q85 68Q09 68Q55 PDF BibTeX XML Cite \textit{E. Graversen} et al., J. Log. Algebr. Methods Program. 124, Article ID 100720, 46 p. (2022; Zbl 1482.68152) Full Text: DOI OpenURL
Pinna, G. Michele A new operational representation of dependencies in event structures. (English) Zbl 07471676 Log. Methods Comput. Sci. 17, No. 4, Paper No. 16, 30 p. (2021). MSC: 03B70 68-XX PDF BibTeX XML Cite \textit{G. M. Pinna}, Log. Methods Comput. Sci. 17, No. 4, Paper No. 16, 30 p. (2021; Zbl 07471676) Full Text: arXiv Link OpenURL
Tarasyuk, Igor’ Valerievich Performance evaluation in stochastic process algebra dtsdPBC. (English) Zbl 1482.68156 Sib. Èlektron. Mat. Izv. 18, No. 2, 1105-1145 (2021). Reviewer: Ahmet A. Khusainov (Komsomolsk-om-Amur) MSC: 68Q85 60J10 60J20 60K15 68M20 68Q55 PDF BibTeX XML Cite \textit{I. V. Tarasyuk}, Sib. Èlektron. Mat. Izv. 18, No. 2, 1105--1145 (2021; Zbl 1482.68156) Full Text: DOI OpenURL
Bonchi, Filippo; Piedeleu, Robin; Sobociński, Paweł; Zanasi, Fabio Bialgebraic foundations for the operational semantics of string diagrams. (English) Zbl 07433299 Inf. Comput. 281, Article ID 104767, 22 p. (2021). MSC: 68Qxx PDF BibTeX XML Cite \textit{F. Bonchi} et al., Inf. Comput. 281, Article ID 104767, 22 p. (2021; Zbl 07433299) Full Text: DOI OpenURL
Lundén, Daniel; Borgström, Johannes; Broman, David Correctness of sequential Monte Carlo inference for probabilistic programming languages. (English) Zbl 1473.68038 Yoshida, Nobuko (ed.), Programming languages and systems. 30th European symposium on programming, ESOP 2021, held as part of the European joint conferences on theory and practice of software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 – April 1, 2021. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12648, 404-431 (2021). MSC: 68N15 68N18 68N19 68Q55 68Q87 68T37 PDF BibTeX XML Cite \textit{D. Lundén} et al., Lect. Notes Comput. Sci. 12648, 404--431 (2021; Zbl 1473.68038) Full Text: DOI arXiv OpenURL
Jaber, Guilhem; Murawski, Andrzej S. Complete trace models of state and control. (English) Zbl 1473.68037 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, 348-374 (2021). MSC: 68N15 68Q55 PDF BibTeX XML Cite \textit{G. Jaber} and \textit{A. S. Murawski}, Lect. Notes Comput. Sci. 12648, 348--374 (2021; Zbl 1473.68037) Full Text: DOI arXiv OpenURL
Maarand, Hendrik; Uustalu, Tarmo Operational semantics with semicommutations. (English) Zbl 07377679 J. Log. Algebr. Methods Program. 121, Article ID 100677, 27 p. (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{H. Maarand} and \textit{T. Uustalu}, J. Log. Algebr. Methods Program. 121, Article ID 100677, 27 p. (2021; Zbl 07377679) Full Text: DOI OpenURL
Leuştean, Ioana; Moangă, Natalia; Şerbănuţă, Traian Florin Many-sorted hybrid modal languages. (English) Zbl 07363409 J. Log. Algebr. Methods Program. 120, Article ID 100644, 16 p. (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{I. Leuştean} et al., J. Log. Algebr. Methods Program. 120, Article ID 100644, 16 p. (2021; Zbl 07363409) Full Text: DOI arXiv OpenURL
Capra, Lorenzo A structural approach to graph transformation based on symmetric Petri nets. (English) Zbl 07363404 J. Log. Algebr. Methods Program. 120, Article ID 100639, 28 p. (2021). MSC: 68-XX PDF BibTeX XML Cite \textit{L. Capra}, J. Log. Algebr. Methods Program. 120, Article ID 100639, 28 p. (2021; Zbl 07363404) Full Text: DOI Link OpenURL
Corradini, Flavio; Morichetta, Andrea; Muzi, Chiara; Re, Barbara; Tiezzi, Francesco Well-structuredness, safeness and soundness: a formal classification of BPMN collaborations. (English) Zbl 1458.90393 J. Log. Algebr. Methods Program. 119, Article ID 100630, 41 p. (2021). MSC: 90B50 90B70 PDF BibTeX XML Cite \textit{F. Corradini} et al., J. Log. Algebr. Methods Program. 119, Article ID 100630, 41 p. (2021; Zbl 1458.90393) Full Text: DOI OpenURL
Gadducci, Fabio; Melgratti, Hernán; Roldán, Christian; Sammartino, Matteo Implementation correctness for replicated data types, categorically. (English) Zbl 07369994 Pun, Violet Ka I. (ed.) et al., Theoretical aspects of computing – ICTAC 2020. 17th international colloquium, Macau, China, November 30 – December 4, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12545, 283-303 (2020). MSC: 68Qxx PDF BibTeX XML Cite \textit{F. Gadducci} et al., Lect. Notes Comput. Sci. 12545, 283--303 (2020; Zbl 07369994) Full Text: DOI OpenURL
Bereczky, Péter; Horpácsi, Dániel; Thompson, Simon A proof assistant based formalisation of a subset of sequential core Erlang. (English) Zbl 1475.68059 Byrski, Aleksander (ed.) et al., Trends in functional programming. 21st international symposium, TFP 2020, Krakow, Poland, February 13–14, 2020. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 12222, 139-158 (2020). MSC: 68N18 68N15 68Q55 68V20 PDF BibTeX XML Cite \textit{P. Bereczky} et al., Lect. Notes Comput. Sci. 12222, 139--158 (2020; Zbl 1475.68059) Full Text: DOI arXiv Link OpenURL
Albert, Elvira; Bezirgiannis, Nikolaos; De Boer, Frank; Martin-Martin, Enrique A formal, resource consumption-preserving translation from actors with cooperative scheduling to Haskell. (English) Zbl 1497.68090 Fundam. Inform. 177, No. 3-4, 203-234 (2020). MSC: 68N18 68N15 68Q55 PDF BibTeX XML Cite \textit{E. Albert} et al., Fundam. Inform. 177, No. 3--4, 203--234 (2020; Zbl 1497.68090) Full Text: DOI 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
Borthelle, Peio; Hirschowitz, Tom; Lafont, Ambroise A cellular Howe theorem. (English) Zbl 07299475 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). 273-286 (2020). MSC: 68-XX PDF BibTeX XML Cite \textit{P. Borthelle} et al., in: Proceedings of the 2020 35th annual ACM/IEEE symposium on logic in computer science, LICS 2020, virtual event, July 8--11, 2020. New York, NY: Association for Computing Machinery (ACM). 273--286 (2020; Zbl 07299475) Full Text: DOI HAL OpenURL
Master, Jade Petri nets based on Lawvere theories. (English) Zbl 1492.68097 Math. Struct. Comput. Sci. 30, No. 7, 833-864 (2020). MSC: 68Q85 18A22 18A40 18C10 18M05 68Q55 PDF BibTeX XML Cite \textit{J. Master}, Math. Struct. Comput. Sci. 30, No. 7, 833--864 (2020; Zbl 1492.68097) Full Text: DOI arXiv OpenURL
Dagnino, Francesco; Ancona, Davide; Zucca, Elena Flexible coinductive logic programming. (English) Zbl 1468.68054 Theory Pract. Log. Program. 20, No. 6, 818-833 (2020). MSC: 68N17 68Q55 PDF BibTeX XML Cite \textit{F. Dagnino} et al., Theory Pract. Log. Program. 20, No. 6, 818--833 (2020; Zbl 1468.68054) Full Text: DOI arXiv OpenURL
Baez, John C.; Master, Jade Open Petri nets. (English) Zbl 1457.68177 Math. Struct. Comput. Sci. 30, No. 3, 314-341 (2020). Reviewer: Hirokazu Nishimura (Tsukuba) MSC: 68Q85 18C50 18M05 18N10 68Q55 PDF BibTeX XML Cite \textit{J. C. Baez} and \textit{J. Master}, Math. Struct. Comput. Sci. 30, No. 3, 314--341 (2020; Zbl 1457.68177) Full Text: DOI arXiv OpenURL
Tarasyuk, Igor Valerievich Discrete time stochastic and deterministic Petri box calculus dtsdPBC. (English) Zbl 1448.68352 Sib. Èlektron. Mat. Izv. 17, 1598-1679 (2020). MSC: 68Q85 68Q55 68Q87 PDF BibTeX XML Cite \textit{I. V. Tarasyuk}, Sib. Èlektron. Mat. Izv. 17, 1598--1679 (2020; Zbl 1448.68352) Full Text: DOI OpenURL
Leuştean, Ioana; Moangă, Natalia; Şerbănuţă, Traian Florin A many-sorted polyadic modal logic. (English) Zbl 1471.03047 Fundam. Inform. 173, No. 2-3, 191-215 (2020). MSC: 03B45 03B70 03G15 03G25 06E25 68Q55 68Q60 PDF BibTeX XML Cite \textit{I. Leuştean} et al., Fundam. Inform. 173, No. 2--3, 191--215 (2020; Zbl 1471.03047) Full Text: DOI arXiv OpenURL
Julián-Iranzo, Pascual; Moreno, Ginés; Riaza, José Antonio The fuzzy logic programming language FASILL: design and implementation. (English) Zbl 1490.68073 Int. J. Approx. Reasoning 125, 139-168 (2020). MSC: 68N17 68N15 68Q55 68T37 PDF BibTeX XML Cite \textit{P. Julián-Iranzo} et al., Int. J. Approx. Reasoning 125, 139--168 (2020; Zbl 1490.68073) Full Text: DOI OpenURL
Bonchi, Filippo; Piedeleu, Robin; Sobocinski, Pawel; Zanasi, Fabio Bialgebraic semantics for string diagrams. (English) Zbl 07649945 Fokkink, Wan (ed.) et al., 30th international conference on concurrency theory, CONCUR 2019, Amsterdam, the Netherlands, August 27–30, 2019. Proceedings. Wadern: Schloss Dagstuhl – Leibniz-Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 140, Article 37, 17 p. (2019). MSC: 68Q85 PDF BibTeX XML Cite \textit{F. Bonchi} et al., LIPIcs -- Leibniz Int. Proc. Inform. 140, Article 37, 17 p. (2019; Zbl 07649945) Full Text: DOI arXiv OpenURL
Anureev, Igor’ Sergeevich Operational semantics of annotated reflex programs. (Russian. English summary) Zbl 1497.68084 Model. Anal. Inf. Sist. 26, No. 4, 475-487 (2019). MSC: 68N15 68Q55 93C83 PDF BibTeX XML Cite \textit{I. S. Anureev}, Model. Anal. Inf. Sist. 26, No. 4, 475--487 (2019; Zbl 1497.68084) Full Text: DOI MNR OpenURL
Benveniste, Albert; Caillaud, Benoît; Elmqvist, Hilding; Ghorbal, Khalil; Otter, Martin; Pouzet, Marc Multi-mode DAE models – challenges, theory and implementation. (English) Zbl 1485.93206 Steffen, Bernhard (ed.) et al., Computing and software science. State of the art and perspectives. Cham: Springer. Lect. Notes Comput. Sci. 10000, 283-310 (2019). MSC: 93B70 93C83 93C15 34A09 PDF BibTeX XML Cite \textit{A. Benveniste} et al., Lect. Notes Comput. Sci. 10000, 283--310 (2019; Zbl 1485.93206) Full Text: DOI OpenURL
Leuştean, Ioana; Moangă, Natalia; Şerbănuţă, Traian Florin Operational semantics and program verification using many-sorted hybrid modal logic. (English) Zbl 1435.68199 Cerrito, Serenella (ed.) et al., Automated reasoning with analytic tableaux and related methods. 28th international conference, TABLEAUX 2019, London, UK, September 3–5, 2019. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 11714, 446-476 (2019). MSC: 68Q60 03B45 68Q55 PDF BibTeX XML Cite \textit{I. Leuştean} et al., Lect. Notes Comput. Sci. 11714, 446--476 (2019; Zbl 1435.68199) Full Text: DOI arXiv OpenURL
Leventis, Thomas A deterministic rewrite system for the probabilistic \(\lambda\)-calculus. (English) Zbl 1434.68091 Math. Struct. Comput. Sci. 29, No. 10, 1479-1512 (2019). MSC: 68N18 03B40 68Q55 PDF BibTeX XML Cite \textit{T. Leventis}, Math. Struct. Comput. Sci. 29, No. 10, 1479--1512 (2019; Zbl 1434.68091) Full Text: DOI OpenURL
Janicki, Ryszard; Koutny, Maciej Operational semantics, interval orders and sequences of antichains. (English) Zbl 1428.68178 Fundam. Inform. 169, No. 1-2, 31-55 (2019). MSC: 68Q55 68Q85 PDF BibTeX XML Cite \textit{R. Janicki} and \textit{M. Koutny}, Fundam. Inform. 169, No. 1--2, 31--55 (2019; Zbl 1428.68178) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{L. Aceto} et al., Log. Methods Comput. Sci. 15, No. 4, Paper No. 2, 46 p. (2019; Zbl 1442.68119) Full Text: arXiv OpenURL
Johansen, Christian; Owe, Olaf Dynamic structural operational semantics. (English) Zbl 1431.68061 J. Log. Algebr. Methods Program. 107, 79-107 (2019). MSC: 68Q55 68N15 PDF BibTeX XML Cite \textit{C. Johansen} and \textit{O. Owe}, J. Log. Algebr. Methods Program. 107, 79--107 (2019; Zbl 1431.68061) Full Text: DOI arXiv OpenURL
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 PDF BibTeX XML Cite \textit{Y. Abd Alrahman} et al., Inf. Comput. 268, Article ID 104457, 31 p. (2019; Zbl 1430.68158) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{W. Fokkink} et al., Inf. Comput. 268, Article ID 104435, 31 p. (2019; Zbl 1430.68162) Full Text: DOI arXiv Link OpenURL
Kissinger, Aleks; Uijlen, Sander A categorical semantics for causal structure. (English) Zbl 1442.68146 Log. Methods Comput. Sci. 15, No. 3, Paper No. 15, 48 p. (2019). MSC: 68Q85 03G30 18C50 81P16 PDF BibTeX XML Cite \textit{A. Kissinger} and \textit{S. Uijlen}, Log. Methods Comput. Sci. 15, No. 3, Paper No. 15, 48 p. (2019; Zbl 1442.68146) Full Text: arXiv OpenURL
Fava, Daniel S.; Steffen, Martin; Stolz, Volker Operational semantics of a weak memory model with channel synchronization. (English) Zbl 1417.68093 J. Log. Algebr. Methods Program. 103, 1-30 (2019). MSC: 68Q55 PDF BibTeX XML Cite \textit{D. S. Fava} et al., J. Log. Algebr. Methods Program. 103, 1--30 (2019; Zbl 1417.68093) Full Text: DOI Link OpenURL
Lopez, Aliaume; Simpson, Alex Basic operational preorders for algebraic effects in general, and for combined probability and nondeterminism in particular. (English) Zbl 07533354 Ghica, Dan R. (ed.) et al., 27th EACSL annual conference on computer science logic, CSL 2018, Birmingham, United Kingdom, September 4–8, 2018. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 119, Article 29, 17 p. (2018). MSC: 03B70 PDF BibTeX XML Cite \textit{A. Lopez} and \textit{A. Simpson}, LIPIcs -- Leibniz Int. Proc. Inform. 119, Article 29, 17 p. (2018; Zbl 07533354) Full Text: DOI OpenURL
Sterling, Jonathan; Harper, Robert Guarded computational type theory. (English) Zbl 1453.03027 Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9–12, 2018. New York, NY: Association for Computing Machinery (ACM). 879-888 (2018). MSC: 03B70 03B38 68N18 68Q60 PDF BibTeX XML Cite \textit{J. Sterling} and \textit{R. Harper}, in: Proceedings of the 2018 33rd annual ACM/IEEE symposium on logic in computer science, LICS 2018, Oxford, UK, July 9--12, 2018. New York, NY: Association for Computing Machinery (ACM). 879--888 (2018; Zbl 1453.03027) Full Text: DOI arXiv OpenURL
Janicki, Ryszard Modeling operational semantics with interval orders represented by sequences of antichains. (English) Zbl 1427.68155 Khomenko, Victor (ed.) et al., Application and theory of Petri nets and concurrency. 39th international conference, PETRI NETS 2018, Bratislava, Slovakia, June 24–29, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10877, 251-271 (2018). MSC: 68Q55 68Q85 PDF BibTeX XML Cite \textit{R. Janicki}, Lect. Notes Comput. Sci. 10877, 251--271 (2018; Zbl 1427.68155) Full Text: DOI OpenURL
Niu, Yue; Hoffmann, Jan Automatic space bound analysis for functional programs with garbage collection. (English) Zbl 1415.68058 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, 543-563 (2018). MSC: 68N18 PDF BibTeX XML Cite \textit{Y. Niu} and \textit{J. Hoffmann}, EPiC Ser. Comput. 57, 543--563 (2018; Zbl 1415.68058) Full Text: DOI OpenURL
Tarasyuk, Igor’ Valer’evich; Macià Soler, Hermenegilda; Valero Ruiz, Valentín Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC. (English) Zbl 1414.60062 Sib. Èlektron. Mat. Izv. 15, 1743-1812 (2018). MSC: 60J20 60J10 60K15 68Q85 PDF BibTeX XML Cite \textit{I. V. Tarasyuk} et al., Sib. Èlektron. Mat. Izv. 15, 1743--1812 (2018; Zbl 1414.60062) Full Text: DOI arXiv OpenURL
Bimbó, Katalin; Dunn, Jon Michael; Ferenz, Nicholas Two manuscripts, one by Routley, one by Meyer: the origins of the Routley-Meyer semantics for relevance logics. (English) Zbl 1455.03023 Australas. J. Log. 15, No. 2, Spec. Iss., 171-209 (2018). MSC: 03B47 PDF BibTeX XML Cite \textit{K. Bimbó} et al., Australas. J. Log. 15, No. 2, 171--209 (2018; Zbl 1455.03023) Full Text: DOI OpenURL
Bain, Michael; Srinivasan, Ashwin Identification of biological transition systems using meta-interpreted logic programs. (English) Zbl 1461.68171 Mach. Learn. 107, No. 7, 1171-1206 (2018). MSC: 68T05 68N17 68Q55 68Q85 92C42 PDF BibTeX XML Cite \textit{M. Bain} and \textit{A. Srinivasan}, Mach. Learn. 107, No. 7, 1171--1206 (2018; Zbl 1461.68171) Full Text: DOI OpenURL
Lanotte, Ruggero; Merro, Massimo; Tini, Simone Equational reasonings in wireless network gossip protocols. (English) Zbl 1408.68030 Log. Methods Comput. Sci. 14, No. 3, Paper No. 24, 47 p. (2018). Reviewer: Tiit Riismaa (Tallinn) MSC: 68M12 PDF BibTeX XML Cite \textit{R. Lanotte} et al., Log. Methods Comput. Sci. 14, No. 3, Paper No. 24, 47 p. (2018; Zbl 1408.68030) Full Text: DOI arXiv OpenURL
Gall, Daniel; Frühwirth, Thom An operational semantics for the cognitive architecture ACT-R and its translation to constraint handling rules. (English) Zbl 1407.68094 ACM Trans. Comput. Log. 19, No. 3, Article No. 22, 42 p. (2018). MSC: 68N19 68Q55 91E10 PDF BibTeX XML Cite \textit{D. Gall} and \textit{T. Frühwirth}, ACM Trans. Comput. Log. 19, No. 3, Article No. 22, 42 p. (2018; Zbl 1407.68094) Full Text: DOI arXiv OpenURL
Lochbihler, Andreas Mechanising a type-safe model of multithreaded Java with a verified compiler. (English) Zbl 1451.68178 J. Autom. Reasoning 61, No. 1-4, 243-332 (2018). MSC: 68Q60 68N15 68N20 68Q55 68V15 PDF BibTeX XML Cite \textit{A. Lochbihler}, J. Autom. Reasoning 61, No. 1--4, 243--332 (2018; Zbl 1451.68178) Full Text: DOI OpenURL
Paolini, Luca; Piccolo, Mauro; Roversi, Luca A certified study of a reversible programming language. (English) Zbl 1433.68080 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 7, 21 p. (2018). MSC: 68N15 18C50 68Q55 68V15 PDF BibTeX XML Cite \textit{L. Paolini} et al., LIPIcs -- Leibniz Int. Proc. Inform. 69, Article 7, 21 p. (2018; Zbl 1433.68080) Full Text: DOI OpenURL
Bravetti, Mario Reduction semantics in Markovian process algebra. (English) Zbl 1430.68160 J. Log. Algebr. Methods Program. 96, 41-64 (2018). MSC: 68Q85 68Q55 68Q87 PDF BibTeX XML Cite \textit{M. Bravetti}, J. Log. Algebr. Methods Program. 96, 41--64 (2018; Zbl 1430.68160) Full Text: DOI arXiv OpenURL
Statman, Rick The completeness of BCD for an operational semantics. (English) Zbl 1505.03036 Artemov, Sergei (ed.) et al., Logical foundations of computer science. International symposium, LFCS 2018, Deerfield Beach, FL, USA, January 8–11, 2018. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10703, 331-336 (2018). MSC: 03B40 PDF BibTeX XML Cite \textit{R. Statman}, Lect. Notes Comput. Sci. 10703, 331--336 (2018; Zbl 1505.03036) Full Text: DOI Link OpenURL
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 PDF BibTeX XML Cite \textit{R. Lanotte} and \textit{M. Merro}, Inf. Comput. 259, Part 1, 72--101 (2018; Zbl 1388.68013) Full Text: DOI arXiv OpenURL
Gebler, Daniel; Tini, Simone SOS specifications for uniformly continuous operators. (English) Zbl 1380.68296 J. Comput. Syst. Sci. 92, 113-151 (2018). MSC: 68Q85 68Q55 68Q60 68Q87 PDF BibTeX XML Cite \textit{D. Gebler} and \textit{S. Tini}, J. Comput. Syst. Sci. 92, 113--151 (2018; Zbl 1380.68296) Full Text: DOI OpenURL
Wang, Jiawei; Fu, Ming; Qiao, Lei; Feng, Xinyu Formalizing SPARCv8 instruction set architecture in Coq. (English) Zbl 1498.68068 Larsen, Kim G. (ed.) et al., Dependable software engineering. Theories, tools, and applications. Third international symposium, SETTA 2017, Changsha, China, October 23–25, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10606, 300-316 (2017). MSC: 68N25 68M07 68Q55 68V15 68V20 PDF BibTeX XML Cite \textit{J. Wang} et al., Lect. Notes Comput. Sci. 10606, 300--316 (2017; Zbl 1498.68068) Full Text: DOI OpenURL
Kissinger, Aleks; Uijlen, Sander A categorical semantics for causal structure. (English) Zbl 1457.68190 Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20–23, 2017. Piscataway, NJ: IEEE Press. Article No. 35, 12 p. (2017). MSC: 68Q85 03G30 18C50 81P16 PDF BibTeX XML Cite \textit{A. Kissinger} and \textit{S. Uijlen}, in: Proceedings of the 2017 32nd annual ACM/IEEE symposium on logic in computer science, LICS 2017, Reykjavík University, Reykjavík, Iceland, June 20--23, 2017. Piscataway, NJ: IEEE Press. Article No. 35, 12 p. (2017; Zbl 1457.68190) Full Text: Link OpenURL
Babel, Kushal; Cheval, Vincent; Kremer, Steve On communication models when verifying equivalence properties. (English) Zbl 1444.68035 Maffei, Matteo (ed.) et al., Principles of security and trust. 6th international conference, POST 2017, held as part of the European joint conferences on theory and practice of software, ETAPS 2017, Uppsala, Sweden, April 22–29, 2017. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 10204, 141-163 (2017). MSC: 68M25 68M12 68Q55 68Q60 94A60 94A62 PDF BibTeX XML Cite \textit{K. Babel} et al., Lect. Notes Comput. Sci. 10204, 141--163 (2017; Zbl 1444.68035) Full Text: DOI Link OpenURL
Bonchi, Filippo; Holland, Joshua; Pavlovic, Dusko; Sobociński, Paweł Refinement for signal flow graphs. (English) Zbl 1442.68125 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 24, 16 p. (2017). MSC: 68Q85 16T05 18M05 68Q55 PDF BibTeX XML Cite \textit{F. Bonchi} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 24, 16 p. (2017; Zbl 1442.68125) Full Text: DOI OpenURL
Fokkink, Wan; van Glabbeek, Rob; Luttik, Bas Divide and congruence. III: Stability & divergence. (English) Zbl 1442.68139 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 15, 16 p. (2017). MSC: 68Q85 03B45 68Q55 PDF BibTeX XML Cite \textit{W. Fokkink} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 15, 16 p. (2017; Zbl 1442.68139) Full Text: DOI OpenURL
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.68120 Meyer, Roland (ed.) et al., 28th international conference on concurrency theory. CONCUR 2017, Berlin, Germany, September 5–8, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 85, Article 10, 16 p. (2017). MSC: 68Q85 03B70 68Q55 68Q60 PDF BibTeX XML Cite \textit{L. Aceto} et al., LIPIcs -- Leibniz Int. Proc. Inform. 85, Article 10, 16 p. (2017; Zbl 1442.68120) Full Text: DOI OpenURL
Fokkink, Wan; van Glabbeek, Rob J. Precongruence formats with lookahead through modal decomposition. (English) Zbl 1440.68168 Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 25, 20 p. (2017). MSC: 68Q55 03B45 03B70 68Q60 PDF BibTeX XML Cite \textit{W. Fokkink} and \textit{R. J. van Glabbeek}, LIPIcs -- Leibniz Int. Proc. Inform. 82, Article 25, 20 p. (2017; Zbl 1440.68168) Full Text: DOI OpenURL
Ghica, Dan R.; Jung, Achim; Lopez, Aliaume Diagrammatic semantics for digital circuits. (English) Zbl 1440.68169 Goranko, Valentin (ed.) et al., 26th EACSL annual conference on computer science logic, CSL 2017, Stockholm, Sweden, August 20–24, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 82, Article 24, 16 p. (2017). MSC: 68Q55 18M30 68Q42 94C11 PDF BibTeX XML Cite \textit{D. R. Ghica} et al., LIPIcs -- Leibniz Int. Proc. Inform. 82, Article 24, 16 p. (2017; Zbl 1440.68169) Full Text: DOI arXiv OpenURL
Jäger, Gerhard The operational penumbra: some ontological aspects. (English) Zbl 1429.03063 Jäger, Gerhard (ed.) et al., Feferman on foundations. Logic, mathematics, philosophy. Cham: Springer. Outst. Contrib. Log. 13, 253-283 (2017). MSC: 03B30 03B40 03E20 03F03 PDF BibTeX XML Cite \textit{G. Jäger}, Outst. Contrib. Log. 13, 253--283 (2017; Zbl 1429.03063) Full Text: DOI OpenURL
Julián-Iranzo, Pascual; Rubio-Manzano, Clemente A sound and complete semantics for a similarity-based logic programming language. (English) Zbl 1392.68138 Fuzzy Sets Syst. 317, 1-26 (2017). MSC: 68N17 68Q55 PDF BibTeX XML Cite \textit{P. Julián-Iranzo} and \textit{C. Rubio-Manzano}, Fuzzy Sets Syst. 317, 1--26 (2017; Zbl 1392.68138) Full Text: DOI OpenURL
Zhang, Nan; Duan, Zhenhua; Tian, Cong; Du, Hongwei; Yang, Kai Modeling and verifying multi-core programs. (English) Zbl 1474.68196 Gao, Xiaofeng (ed.) et al., Combinatorial optimization and applications. 11th international conference, COCOA 2017, Shanghai, China, December 16–18, 2017. Proceedings. Part II. Cham: Springer. Lect. Notes Comput. Sci. 10628, 492-500 (2017). MSC: 68Q60 68Q85 PDF BibTeX XML Cite \textit{N. Zhang} et al., Lect. Notes Comput. Sci. 10628, 492--500 (2017; Zbl 1474.68196) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{W. Fokkink} and \textit{R. van Glabbeek}, Inf. Comput. 257, 79--113 (2017; Zbl 1380.68295) Full Text: DOI arXiv OpenURL
Cimini, Matteo; Siek, Jeremy G. Automatically generating the dynamic semantics of gradually typed languages. (English) Zbl 1380.68082 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 789-803 (2017). MSC: 68N15 68N17 68N30 PDF BibTeX XML Cite \textit{M. Cimini} and \textit{J. G. Siek}, in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 789--803 (2017; Zbl 1380.68082) Full Text: DOI OpenURL
Kang, Jeehoon; Hur, Chung-Kil; Lahav, Ori; Vafeiadis, Viktor; Dreyer, Derek A promising semantics for relaxed-memory concurrency. (English) Zbl 1380.68103 Castagna, Giuseppe (ed.) et al., Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL ’17, Paris, France, January 15–21, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4660-3). 175-189 (2017). MSC: 68N19 68N15 PDF BibTeX XML Cite \textit{J. Kang} et al., in: Proceedings of the 44th annual ACM SIGPLAN symposium on principles of programming languages, POPL '17, Paris, France, January 15--21, 2017. New York, NY: Association for Computing Machinery (ACM). 175--189 (2017; Zbl 1380.68103) Full Text: DOI Link OpenURL
Schmidt-Schauß, Manfred; Kutsia, Temur; Levy, Jordi; Villaret, Mateu Nominal unification of higher order expressions with recursive let. (English) Zbl 1485.68074 Hermenegildo, Manuel V. (ed.) et al., Logic-based program synthesis and transformation. 26th international symposium, LOPSTR 2016, Edinburgh, UK, September 6–8, 2016. Revised selected papers. Cham: Springer. Lect. Notes Comput. Sci. 10184, 328-344 (2017). MSC: 68N30 68N18 68Q25 68Q42 68Q55 PDF BibTeX XML Cite \textit{M. Schmidt-Schauß} et al., Lect. Notes Comput. Sci. 10184, 328--344 (2017; Zbl 1485.68074) Full Text: DOI arXiv OpenURL
Julián-Iranzo, Pascual; Moreno, Ginés; Penabad, Jaime Thresholded semantic framework for a fully integrated fuzzy logic language. (English) Zbl 1372.68053 J. Log. Algebr. Methods Program. 93, 42-67 (2017). MSC: 68N17 68Q55 PDF BibTeX XML Cite \textit{P. Julián-Iranzo} et al., J. Log. Algebr. Methods Program. 93, 42--67 (2017; Zbl 1372.68053) Full Text: DOI OpenURL
Aceto, L.; Fábregas, I.; García-Pérez, A.; Ingólfsdóttir, A. A unified rule format for bounded nondeterminism in SOS with terms as labels. (English) Zbl 1373.68285 J. Log. Algebr. Methods Program. 92, 64-86 (2017). MSC: 68Q55 68N30 68Q85 PDF BibTeX XML Cite \textit{L. Aceto} et al., J. Log. Algebr. Methods Program. 92, 64--86 (2017; Zbl 1373.68285) Full Text: DOI OpenURL
Benveniste, Albert; Caillaud, Benoit; Elmqvist, Hilding; Ghorbal, Khalil; Otter, Martin; Pouzet, Marc Structural analysis of multi-mode DAE systems. (English) Zbl 1369.93149 Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18–20, 2017. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4590-3). 253-263 (2017). MSC: 93B25 34A09 34E18 93C15 PDF BibTeX XML Cite \textit{A. Benveniste} et al., in: Proceedings of the 20th ACM international conference on hybrid systems: computation and control, HSCC 2017, Pittsburgh, PA, USA, April 18--20, 2017. New York, NY: Association for Computing Machinery (ACM). 253--263 (2017; Zbl 1369.93149) Full Text: DOI Link OpenURL
Alves, Sandra; Fernández, Maribel A graph-based framework for the analysis of access control policies. (English) Zbl 1371.68174 Theor. Comput. Sci. 685, 3-22 (2017). MSC: 68Q60 68Q55 68Q85 PDF BibTeX XML Cite \textit{S. Alves} and \textit{M. Fernández}, Theor. Comput. Sci. 685, 3--22 (2017; Zbl 1371.68174) Full Text: DOI Link OpenURL
Hildebrandt, Thomas Troels; Johansen, Christian; Normann, Håkon A stable non-interleaving early operational semantics for the pi-calculus. (English) Zbl 1485.68161 Drewes, Frank (ed.) et al., Language and automata theory and applications. 11th international conference, LATA 2017, Umeå, Sweden, March 6–9, 2017. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10168, 51-63 (2017). MSC: 68Q85 68Q55 PDF BibTeX XML Cite \textit{T. T. Hildebrandt} et al., Lect. Notes Comput. Sci. 10168, 51--63 (2017; Zbl 1485.68161) Full Text: DOI Link OpenURL
Soares, Pedro; Ravara, António; Melo de Sousa, Simão Revisiting concurrent separation logic. (English) Zbl 1370.68056 J. Log. Algebr. Methods Program. 89, 41-66 (2017). MSC: 68N30 03B70 68Q55 PDF BibTeX XML Cite \textit{P. Soares} et al., J. Log. Algebr. Methods Program. 89, 41--66 (2017; Zbl 1370.68056) Full Text: DOI arXiv OpenURL
Bach Poulsen, Casper; Mosses, Peter D. Flag-based big-step semantics. (English) Zbl 1362.68160 J. Log. Algebr. Methods Program. 88, 174-190 (2017). MSC: 68Q55 68Q60 PDF BibTeX XML Cite \textit{C. Bach Poulsen} and \textit{P. D. Mosses}, J. Log. Algebr. Methods Program. 88, 174--190 (2017; Zbl 1362.68160) Full Text: DOI arXiv Link OpenURL
Klin, Bartek; Nachyła, Beata Some undecidable properties of SOS specifications. (English) Zbl 1359.68196 J. Log. Algebr. Methods Program. 87, 94-109 (2017). MSC: 68Q60 68Q55 PDF BibTeX XML Cite \textit{B. Klin} and \textit{B. Nachyła}, J. Log. Algebr. Methods Program. 87, 94--109 (2017; Zbl 1359.68196) Full Text: DOI OpenURL
Drabent, Włodzimierz Proving completeness of logic programs with the cut. (English) Zbl 1355.68033 Formal Asp. Comput. 29, No. 1, 155-172 (2017). MSC: 68N17 PDF BibTeX XML Cite \textit{W. Drabent}, Formal Asp. Comput. 29, No. 1, 155--172 (2017; Zbl 1355.68033) Full Text: DOI arXiv OpenURL
Lucanu, Dorel; Rusu, Vlad; Arusoaie, Andrei A generic framework for symbolic execution: a coinductive approach. (English) Zbl 1356.68044 J. Symb. Comput. 80, Part 1, 125-163 (2017). MSC: 68N30 68Q55 68W30 PDF BibTeX XML Cite \textit{D. Lucanu} et al., J. Symb. Comput. 80, Part 1, 125--163 (2017; Zbl 1356.68044) Full Text: DOI Link OpenURL
Zhang, Yang; Feng, Xinyu An operational happens-before memory model. (English) Zbl 1403.68028 Front. Comput. Sci. 10, No. 1, 54-81 (2016). MSC: 68N15 68N30 68Q55 PDF BibTeX XML Cite \textit{Y. Zhang} and \textit{X. Feng}, Front. Comput. Sci. 10, No. 1, 54--81 (2016; Zbl 1403.68028) Full Text: DOI OpenURL
Anureev, I. S.; Maryasov, I. V.; Mikhaĭlov, I. N. Method of the development of ontological operational semantics for imperative programming languages. (English) Zbl 1413.68016 Jt. Bull. NCC IIS, Ser. Comput. Sci. 40, 15-35 (2016). MSC: 68N15 68Q55 PDF BibTeX XML Cite \textit{I. S. Anureev} et al., Jt. Bull. NCC IIS, Ser. Comput. Sci. 40, 15--35 (2016; Zbl 1413.68016) Full Text: Link OpenURL
Zhang, Rui; Guo, Degui; Gao, Wenjuan; Liu, Lei Modeling ontology evolution via pi-calculus. (English) Zbl 1398.68525 Inf. Sci. 346-347, 286-301 (2016). MSC: 68T30 68Q55 68Q85 PDF BibTeX XML Cite \textit{R. Zhang} et al., Inf. Sci. 346--347, 286--301 (2016; Zbl 1398.68525) Full Text: DOI OpenURL
Geron, Bram; Levy, Paul Blain Iteration and labelled iteration. (English) Zbl 1394.68061 Birkedal, Lars (ed.), Proceedings of the 32nd conference on the mathematical foundations of programming semantics (MFPS XXXII), Carnegie Mellon University, Pittsburgh, PA, USA, May 23–26, 2016. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 325, 127-146 (2016). MSC: 68N18 68Q55 PDF BibTeX XML Cite \textit{B. Geron} and \textit{P. B. Levy}, Electron. Notes Theor. Comput. Sci. 325, 127--146 (2016; Zbl 1394.68061) Full Text: DOI OpenURL
Castiglioni, Valentina; Gebler, Daniel; Tini, Simone Modal decomposition on nondeterministic probabilistic processes. (English) Zbl 1392.68288 Desharnais, Josée (ed.) et al., 27th international conference on concurrency theory, CONCUR 2016, Québec City, Canada, August 23–26, 2016. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-95977-017-0). LIPIcs – Leibniz International Proceedings in Informatics 59, Article 36, 15 p. (2016). MSC: 68Q85 03B45 68Q55 68Q87 PDF BibTeX XML Cite \textit{V. Castiglioni} et al., LIPIcs -- Leibniz Int. Proc. Inform. 59, Article 36, 15 p. (2016; Zbl 1392.68288) Full Text: DOI OpenURL
Jäger, Gerhard Relativizing operational set theory. (English) Zbl 1432.03127 Bull. Symb. Log. 22, No. 3, 332-352 (2016). MSC: 03F50 03F25 03E70 03F03 PDF BibTeX XML Cite \textit{G. Jäger}, Bull. Symb. Log. 22, No. 3, 332--352 (2016; Zbl 1432.03127) Full Text: DOI Link OpenURL
Arntzenius, Michael; Krishnaswami, Neelakantan R. Datafun: a functional Datalog. (English) Zbl 1360.68312 Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 214-227 (2016). MSC: 68N18 68N17 68Q55 PDF BibTeX XML Cite \textit{M. Arntzenius} and \textit{N. R. Krishnaswami}, in: Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP '16, Nara, Japan, September 18--22, 2016. New York, NY: Association for Computing Machinery (ACM). 214--227 (2016; Zbl 1360.68312) Full Text: DOI Link OpenURL
Borgström, Johannes; Dal Lago, Ugo; Gordon, Andrew D.; Szymczak, Marcin A lambda-calculus foundation for universal probabilistic programming. (English) Zbl 1360.68314 Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 33-46 (2016). MSC: 68N18 68N15 68N19 68N30 68Q55 68T05 PDF BibTeX XML Cite \textit{J. Borgström} et al., in: Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP '16, Nara, Japan, September 18--22, 2016. New York, NY: Association for Computing Machinery (ACM). 33--46 (2016; Zbl 1360.68314) Full Text: DOI arXiv Link OpenURL
Acar, Umut A.; Charguéraud, Arthur; Rainey, Mike; Sieczkowski, Filip Dag-calculus: a calculus for parallel computation. (English) Zbl 1361.68055 Garrigue, Jacques (ed.) et al., Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP ’16, Nara, Japan, September 18–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-4219-3). 18-32 (2016). MSC: 68N30 68N15 68N19 68P05 68Q10 68Q55 PDF BibTeX XML Cite \textit{U. A. Acar} et al., in: Proceedings of the 21st ACM SIGPLAN international conference on functional programming, ICFP '16, Nara, Japan, September 18--22, 2016. New York, NY: Association for Computing Machinery (ACM). 18--32 (2016; Zbl 1361.68055) Full Text: DOI OpenURL
Rusu, Vlad; Lucanu, Dorel; Şerbănuţă, Traian-Florin; Arusoaie, Andrei; Ştefănescu, Andrei; Roşu, Grigore Language definitions as rewrite theories. (English) Zbl 1356.68125 J. Log. Algebr. Methods Program. 85, No. 1, Part 1, 98-120 (2016). MSC: 68Q42 68N30 68Q55 PDF BibTeX XML Cite \textit{V. Rusu} et al., J. Log. Algebr. Methods Program. 85, No. 1, Part 1, 98--120 (2016; Zbl 1356.68125) Full Text: DOI OpenURL
Rot, Jurriaan; Bonsangue, Marcello Structural congruence for bialgebraic semantics. (English) Zbl 1353.68173 J. Log. Algebr. Methods Program. 85, No. 6, 1268-1291 (2016). MSC: 68Q55 PDF BibTeX XML Cite \textit{J. Rot} and \textit{M. Bonsangue}, J. Log. Algebr. Methods Program. 85, No. 6, 1268--1291 (2016; Zbl 1353.68173) Full Text: DOI OpenURL
Lahav, Ori; Giannarakis, Nick; Vafeiadis, Viktor Taming release-acquire consistency. (English) Zbl 1347.68086 Bodik, Rastislav (ed.) et al., Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’16, St. Petersburg, FL, USA, January 20–22, 2016. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3549-2). 649-662 (2016). MSC: 68N30 68N15 PDF BibTeX XML Cite \textit{O. Lahav} et al., in: Proceedings of the 43rd annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '16, St. Petersburg, FL, USA, January 20--22, 2016. New York, NY: Association for Computing Machinery (ACM). 649--662 (2016; Zbl 1347.68086) Full Text: DOI OpenURL
Ciobanu, Gabriel; Horne, Ross; Sassone, Vladimiro A descriptive type foundation for RDF Schema. (English) Zbl 1348.68032 J. Log. Algebr. Methods Program. 85, No. 5, Part 1, 681-706 (2016). MSC: 68N18 68Q55 PDF BibTeX XML Cite \textit{G. Ciobanu} et al., J. Log. Algebr. Methods Program. 85, No. 5, Part 1, 681--706 (2016; Zbl 1348.68032) Full Text: DOI OpenURL
Capriccioli, Andrea; Servetto, Marco; Zucca, Elena An imperative pure calculus. (English) Zbl 1345.68097 Crescenzi, Pierluigi (ed.) et al., Proceedings of ICTCS 2015, the 16th Italian conference on theoretical computer science, Firenze, Italy, September 9–11, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 322, 87-102, electronic only (2016). MSC: 68N30 68Q42 68Q55 PDF BibTeX XML Cite \textit{A. Capriccioli} et al., Electron. Notes Theor. Comput. Sci. 322, 87--102 (2016; Zbl 1345.68097) Full Text: DOI OpenURL
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 PDF BibTeX XML Cite \textit{P. R. D'Argenio} et al., Inf. Comput. 249, 76--109 (2016; Zbl 1344.68163) Full Text: DOI OpenURL
Aceto, Luca; García-Pérez, Álvaro; Ingólfsdóttir, Anna Rule formats for bounded nondeterminism in structural operational semantics. (English) Zbl 1474.68184 Probst, Christian W. (ed.) et al., Semantics, logics, and calculi. Essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays. Cham: Springer. Lect. Notes Comput. Sci. 9560, 313-343 (2016). MSC: 68Q55 68Q85 PDF BibTeX XML Cite \textit{L. Aceto} et al., Lect. Notes Comput. Sci. 9560, 313--343 (2016; Zbl 1474.68184) Full Text: DOI OpenURL
Accattoli, Beniamino; Dal Lago, Ugo (Leftmost-outermost) beta reduction is invariant, indeed. (English) Zbl 1394.68137 Log. Methods Comput. Sci. 12, No. 1, Paper No. 4, 46 p. (2016). MSC: 68Q05 03B40 03F52 68Q25 PDF BibTeX XML Cite \textit{B. Accattoli} and \textit{U. Dal Lago}, Log. Methods Comput. Sci. 12, No. 1, Paper No. 4, 46 p. (2016; Zbl 1394.68137) Full Text: DOI arXiv OpenURL
Lochau, Malte; Mennicke, Stephan; Baller, Hauke; Ribbeck, Lars Incremental model checking of delta-oriented software product lines. (English) Zbl 1346.68061 J. Log. Algebr. Methods Program. 85, No. 1, Part 2, 245-267 (2016). MSC: 68N30 68N99 68Q60 68Q85 PDF BibTeX XML Cite \textit{M. Lochau} et al., J. Log. Algebr. Methods Program. 85, No. 1, Part 2, 245--267 (2016; Zbl 1346.68061) Full Text: DOI OpenURL