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 (ISBN 978-3-030-57200-6/pbk; 978-3-030-57201-3/ebook). Lecture Notes in Computer Science 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
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) (ISBN 978-1-4503-7104-9). 273-286 (2020). MSC: 03B70 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
Master, Jade Petri nets based on Lawvere theories. (English) Zbl 07290837 Math. Struct. Comput. Sci. 30, No. 7, 833-864 (2020). MSC: 68 PDF BibTeX XML Cite \textit{J. Master}, Math. Struct. Comput. Sci. 30, No. 7, 833--864 (2020; Zbl 07290837) Full Text: DOI
Dagnino, Francesco; Ancona, Davide; Zucca, Elena Flexible coinductive logic programming. (English) Zbl 07284973 Theory Pract. Log. Program. 20, No. 6, 818-833 (2020). MSC: 68N17 PDF BibTeX XML Cite \textit{F. Dagnino} et al., Theory Pract. Log. Program. 20, No. 6, 818--833 (2020; Zbl 07284973) Full Text: DOI
Baez, John C.; Master, Jade Open Petri nets. (English) Zbl 07283037 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 07283037) Full Text: DOI
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
Leuştean, Ioana; Moangă, Natalia; Şerbănuţă, Traian Florin A many-sorted polyadic modal logic. (English) Zbl 07274553 Fundam. Inform. 173, No. 2-3, 191-215 (2020). MSC: 68 PDF BibTeX XML Cite \textit{I. Leuştean} et al., Fundam. Inform. 173, No. 2--3, 191--215 (2020; Zbl 07274553) Full Text: DOI
Julián-Iranzo, Pascual; Moreno, Ginés; Riaza, José Antonio The fuzzy logic programming language FASILL: design and implementation. (English) Zbl 07264273 Int. J. Approx. Reasoning 125, 139-168 (2020). MSC: 68T37 PDF BibTeX XML Cite \textit{P. Julián-Iranzo} et al., Int. J. Approx. Reasoning 125, 139--168 (2020; Zbl 07264273) Full Text: DOI
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
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
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
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
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
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
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
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
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
Sterling, Jonathan; Harper, Robert Guarded computational type theory. (English) Zbl 07298813 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) (ISBN 978-1-4503-5583-4). 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 07298813) Full Text: DOI
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
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
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
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 07038467 Australas. J. Log. 15, No. 2, Spec. Iss., 171-209 (2018). MSC: 03 PDF BibTeX XML Cite \textit{K. Bimbó} et al., Australas. J. Log. 15, No. 2, 171--209 (2018; Zbl 07038467) Full Text: DOI
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
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
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
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
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
Statman, Rick The completeness of BCD for an operational semantics. (English) Zbl 06856654 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 (ISBN 978-3-319-72055-5/pbk; 978-3-319-72056-2/ebook). Lecture Notes in Computer Science 10703, 331-336 (2018). MSC: 03B70 PDF BibTeX XML Cite \textit{R. Statman}, Lect. Notes Comput. Sci. 10703, 331--336 (2018; Zbl 06856654) Full Text: DOI
Lanotte, Ruggero; Merro, Massimo A semantic theory of the Internet of things. (English) Zbl 1388.68013 Inf. Comput. 259, Part 1, 72-101 (2018). MSC: 68M11 68Q55 68Q85 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
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
Kissinger, Aleks; Uijlen, Sander A categorical semantics for causal structure. (English) Zbl 07297843 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 (ISBN 978-1-5090-3018-7). 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 07297843) Full Text: Link
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
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
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
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
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
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
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
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
Zhang, Nan; Duan, Zhenhua; Tian, Cong; Du, Hongwei; Yang, Kai Modeling and verifying multi-core programs. (English) Zbl 06852667 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 (ISBN 978-3-319-71146-1/pbk; 978-3-319-71147-8/ebook). Lecture Notes in Computer Science 10628, 492-500 (2017). MSC: 68T20 90C27 PDF BibTeX XML Cite \textit{N. Zhang} et al., Lect. Notes Comput. Sci. 10628, 492--500 (2017; Zbl 06852667) Full Text: DOI
Fokkink, Wan; van Glabbeek, Rob Divide and congruence. II: From decomposition of modal formulas to preservation of delay and weak bisimilarity. (English) Zbl 1380.68295 Inf. Comput. 257, 79-113 (2017). MSC: 68Q85 03B45 68Q55 PDF BibTeX XML Cite \textit{W. Fokkink} and \textit{R. van Glabbeek}, Inf. Comput. 257, 79--113 (2017; Zbl 1380.68295) Full Text: DOI
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
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
Schmidt-Schauß, Manfred; Kutsia, Temur; Levy, Jordi; Villaret, Mateu Nominal unification of higher order expressions with recursive let. (English) Zbl 06791234 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 (ISBN 978-3-319-63138-7/pbk; 978-3-319-63139-4/ebook). Lecture Notes in Computer Science 10184, 328-344 (2017). MSC: 68N30 PDF BibTeX XML Cite \textit{M. Schmidt-Schauß} et al., Lect. Notes Comput. Sci. 10184, 328--344 (2017; Zbl 06791234) Full Text: DOI
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
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
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
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
Hildebrandt, Thomas Troels; Johansen, Christian; Normann, Håkon A stable non-interleaving early operational semantics for the pi-calculus. (English) Zbl 06725126 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 (ISBN 978-3-319-53732-0/pbk; 978-3-319-53733-7/ebook). Lecture Notes in Computer Science 10168, 51-63 (2017). MSC: 68Q45 PDF BibTeX XML Cite \textit{T. T. Hildebrandt} et al., Lect. Notes Comput. Sci. 10168, 51--63 (2017; Zbl 06725126) Full Text: DOI
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
Aceto, Luca; García-Pérez, Álvaro; Ingólfsdóttir, Anna Rule formats for bounded nondeterminism in structural operational semantics. (English) Zbl 06560022 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 (ISBN 978-3-319-27809-4/pbk; 978-3-319-27810-0/ebook). Lecture Notes in Computer Science 9560, 313-343 (2016). MSC: 68Qxx PDF BibTeX XML Cite \textit{L. Aceto} et al., Lect. Notes Comput. Sci. 9560, 313--343 (2016; Zbl 06560022) Full Text: DOI
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
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
Smetsers, Sjaak; Madlener, Ken; van Eekelen, Marko Formalizing bialgebraic semantics in PVS 6.0. (English) Zbl 1428.68179 Chiba, Yuki (ed.) et al., Second international workshop on rewriting techniques for program transformations and evaluation, WPTE’15, Warsaw, Poland, July 2, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. OASIcs – OpenAccess Ser. Inform. 46, 47-61 (2015). MSC: 68Q55 68N30 68V20 PDF BibTeX XML Cite \textit{S. Smetsers} et al., OASIcs -- OpenAccess Ser. Inform. 46, 47--61 (2015; Zbl 1428.68179) Full Text: DOI
Smetsers, Sjaak; van Eekelen, Marko Derivation and inference of higher-order strictness types. (English) Zbl 1387.68064 Comput. Lang. Syst. Struct. 44, Part B, 166-180 (2015). MSC: 68N18 68T15 PDF BibTeX XML Cite \textit{S. Smetsers} and \textit{M. van Eekelen}, Comput. Lang. Syst. Struct. 44, Part B, 166--180 (2015; Zbl 1387.68064) Full Text: DOI
Gebler, Daniel; Tini, Simone Sós specifications of probabilistic systems by uniformly continuous operators. (English) Zbl 1374.68328 Aceto, Luca (ed.) et al., 26th international conference on concurrency theory, CONCUR’15, Madrid, Spain, September 1–4, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-91-0). LIPIcs – Leibniz International Proceedings in Informatics 42, 155-168 (2015). MSC: 68Q85 68Q55 68Q60 68Q87 PDF BibTeX XML Cite \textit{D. Gebler} and \textit{S. Tini}, LIPIcs -- Leibniz Int. Proc. Inform. 42, 155--168 (2015; Zbl 1374.68328) Full Text: DOI
Klin, Bartek; Nachyła, Beata Presenting morphisms of distributive laws. (English) Zbl 1366.68158 Moss, Lawrence S. (ed.) et al., 6th conference on algebra and coalgebra in computer science, CALCO’15, Nijmegen, Netherlands, June 24–26, 2015. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-84-2). LIPIcs – Leibniz International Proceedings in Informatics 35, 190-204 (2015). MSC: 68Q55 18C50 68Q60 PDF BibTeX XML Cite \textit{B. Klin} and \textit{B. Nachyła}, LIPIcs -- Leibniz Int. Proc. Inform. 35, 190--204 (2015; Zbl 1366.68158) Full Text: DOI
Anureev, I. S. Operational semantics development for procedural programming languages based on conceptual transition systems. (English) Zbl 1374.68094 Jt. Bull. NCC IIS, Ser. Comput. Sci. 38, 1-28 (2015). MSC: 68N15 68Q55 PDF BibTeX XML Cite \textit{I. S. Anureev}, Jt. Bull. NCC IIS, Ser. Comput. Sci. 38, 1--28 (2015; Zbl 1374.68094) Full Text: Link
Fox, Chris; Lappin, Shalom Type-theoretic logic with an operational account of intensionality. (English) Zbl 1357.03038 Synthese 192, No. 3, 563-584 (2015). MSC: 03B15 PDF BibTeX XML Cite \textit{C. Fox} and \textit{S. Lappin}, Synthese 192, No. 3, 563--584 (2015; Zbl 1357.03038) Full Text: DOI
Roscoe, A. W. The expressiveness of CSP with priority. (English) Zbl 1351.68148 Ghica, Dan (ed.), Proceedings of the 31st conference on the mathematical foundations of programming semantics (MFPS XXXI), Nijmegen, The Netherlands, June 22–25, 2015. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 319, 387-401, electronic only (2015). MSC: 68Q55 68Q10 68Q85 PDF BibTeX XML Cite \textit{A. W. Roscoe}, Electron. Notes Theor. Comput. Sci. 319, 387--401 (2015; Zbl 1351.68148) Full Text: DOI
Gay, Simon J.; Puthoor, Ittoop V. Equational reasoning about quantum protocols. (English) Zbl 06631936 Krivine, Jean (ed.) et al., Reversible computation. 7th international conference, RC 2015, Grenoble, France, July 16–17, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-20859-6/pbk; 978-3-319-20860-2/ebook). Lecture Notes in Computer Science 9138, 155-170 (2015). MSC: 68Q05 68Q10 81P68 94C10 PDF BibTeX XML Cite \textit{S. J. Gay} and \textit{I. V. Puthoor}, Lect. Notes Comput. Sci. 9138, 155--170 (2015; Zbl 06631936) Full Text: DOI
Bonchi, Filippo; Sobocinski, Pawel; Zanasi, Fabio Full abstraction for signal flow graphs. (English) Zbl 1346.68143 Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’15, Mumbai, India, January 12–18, 2015. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-3300-9). 515-526 (2015). MSC: 68R10 68Q55 PDF BibTeX XML Cite \textit{F. Bonchi} et al., in: Proceedings of the 42nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL '15, Mumbai, India, January 12--18, 2015. New York, NY: Association for Computing Machinery (ACM). 515--526 (2015; Zbl 1346.68143) Full Text: DOI
Alves, Sandra; Fernández, Maribel A framework for the analysis of access control policies with emergency management. (English) Zbl 1342.68190 Ayala-Rincón, Mauricio (ed.) et al., Proceedings of the 9th workshop on logical and semantic frameworks, with applications (LSFA 2014), Brasilia, Brazil, September 8–9, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 312, 89-105, electronic only (2015). MSC: 68Q55 68Q42 PDF BibTeX XML Cite \textit{S. Alves} and \textit{M. Fernández}, Electron. Notes Theor. Comput. Sci. 312, 89--105 (2015; Zbl 1342.68190) Full Text: DOI
Tarasyuk, I. V.; Maciá, H.; Valero, Valentin Stochastic process reduction for performance evaluation in dtsiPBC. (English) Zbl 1346.60118 Sib. Èlektron. Mat. Izv. 12, 513-551 (2015). MSC: 60J20 60J10 60K15 68Q85 PDF BibTeX XML Cite \textit{I. V. Tarasyuk} et al., Sib. Èlektron. Mat. Izv. 12, 513--551 (2015; Zbl 1346.60118) Full Text: DOI
Wei, Kun; Woodcock, Jim Towards algebraic semantics of circus time. (English) Zbl 06596637 Naumann, David, Unifying theories of programming. 5th international symposium, UTP 2014, Singapore, May 13, 2014. Revised selected papers. Berlin: Springer (ISBN 978-3-319-14805-2/pbk). Lecture Notes in Computer Science 8963, 84-104 (2015). MSC: 68N30 PDF BibTeX XML Cite \textit{K. Wei} and \textit{J. Woodcock}, Lect. Notes Comput. Sci. 8963, 84--104 (2015; Zbl 06596637) Full Text: DOI
Damiani, Ferruccio; Viroli, Mirko Type-based self-stabilisation for computational fields. (English) Zbl 1448.68336 Log. Methods Comput. Sci. 11, No. 4, Paper No. 21, 53 p. (2015). MSC: 68Q85 68N18 68Q55 PDF BibTeX XML Cite \textit{F. Damiani} and \textit{M. Viroli}, Log. Methods Comput. Sci. 11, No. 4, Paper No. 21, 53 p. (2015; Zbl 1448.68336) Full Text: DOI
Din, Crystal Chang; Owe, Olaf Compositional reasoning about active objects with shared futures. (English) Zbl 1343.68166 Formal Asp. Comput. 27, No. 3, 551-572 (2015). MSC: 68Q85 68Q55 68Q60 PDF BibTeX XML Cite \textit{C. C. Din} and \textit{O. Owe}, Formal Asp. Comput. 27, No. 3, 551--572 (2015; Zbl 1343.68166) Full Text: DOI
Gall, Daniel; Frühwirth, Thom A formal semantics for the cognitive architecture ACT-R. (English) Zbl 06488531 Proietti, Maurizio (ed.) et al., Logic-based program synthesis and transformation. 24th international symposium, LOPSTR 2014, Canterbury, UK, September 9–11, 2014. Revised selected papers. Cham: Springer (ISBN 978-3-319-17821-9/pbk; 978-3-319-17822-6/ebook). Lecture Notes in Computer Science 8981, 74-91 (2015). MSC: 68N30 PDF BibTeX XML Cite \textit{D. Gall} and \textit{T. Frühwirth}, Lect. Notes Comput. Sci. 8981, 74--91 (2015; Zbl 06488531) Full Text: DOI
Matos, Armando B. The efficiency of primitive recursive functions: a programmer’s view. (English) Zbl 1328.68046 Theor. Comput. Sci. 594, 65-81 (2015). MSC: 68N30 03D20 68Q25 68Q55 PDF BibTeX XML Cite \textit{A. B. Matos}, Theor. Comput. Sci. 594, 65--81 (2015; Zbl 1328.68046) Full Text: DOI
Lucas, Salvador; Meseguer, José Localized operational termination in general logics. (English) Zbl 06448707 De Nicola, Rocco (ed.) et al., Software, services, and systems. Essays dedicated to Martin Wirsing on the occasion of his retirement from the chair of programming and software engineering, Munich, Germany, 2015. Essays. Cham: Springer (ISBN 978-3-319-15544-9/pbk). Lecture Notes in Computer Science 8950, 91-114 (2015). MSC: 68N30 03B70 68Q55 PDF BibTeX XML Cite \textit{S. Lucas} and \textit{J. Meseguer}, Lect. Notes Comput. Sci. 8950, 91--114 (2015; Zbl 06448707) Full Text: DOI
Ciobanu, Gabriel; Horne, Ross; Sassone, Vladimiro Minimal type inference for linked data consumers. (English) Zbl 1329.68085 J. Log. Algebr. Methods Program. 84, No. 4, 485-504 (2015). MSC: 68P05 68M11 68Q55 PDF BibTeX XML Cite \textit{G. Ciobanu} et al., J. Log. Algebr. Methods Program. 84, No. 4, 485--504 (2015; Zbl 1329.68085) Full Text: DOI
Bacci, Giorgio; Miculan, Marino Structural operational semantics for continuous state stochastic transition systems. (English) Zbl 1327.68168 J. Comput. Syst. Sci. 81, No. 5, 834-858 (2015). MSC: 68Q85 60J05 68Q55 68Q87 PDF BibTeX XML Cite \textit{G. Bacci} and \textit{M. Miculan}, J. Comput. Syst. Sci. 81, No. 5, 834--858 (2015; Zbl 1327.68168) Full Text: DOI
Wang, Bing; Deng, Bo; Xing, Fei; Wang, Dongxia; Yao, Yiping Partitioned event graph: formalizing LP-based modelling of parallel discrete-event simulation. (English) Zbl 1310.93027 Math. Comput. Model. Dyn. Syst. 21, No. 2, 153-179 (2015). MSC: 93A30 93C65 00A72 00A71 93B17 65Y05 68Q55 PDF BibTeX XML Cite \textit{B. Wang} et al., Math. Comput. Model. Dyn. Syst. 21, No. 2, 153--179 (2015; Zbl 1310.93027) Full Text: DOI
Li, Qin; Zhao, Yongxin; Zhu, Huibiao; He, Jifeng A UTP semantic model for Orc language with execution status and fault handling. (English) Zbl 1403.68041 Front. Comput. Sci. 8, No. 5, 709-725 (2014). MSC: 68N30 68Q55 68Q85 PDF BibTeX XML Cite \textit{Q. Li} et al., Front. Comput. Sci. 8, No. 5, 709--725 (2014; Zbl 1403.68041) Full Text: DOI
Anureev, I. S. Domain-specific transition systems and their application to a formal definition of a model programming language. (English) Zbl 1374.68111 Jt. Bull. NCC IIS, Ser. Comput. Sci. 37, 23-39 (2014). MSC: 68N30 68Q55 68Q85 68T30 PDF BibTeX XML Cite \textit{I. S. Anureev}, Jt. Bull. NCC IIS, Ser. Comput. Sci. 37, 23--39 (2014; Zbl 1374.68111) Full Text: Link
Colvin, Robert J. An operational semantics for object-oriented concepts based on the class hierarchy. (English) Zbl 1342.68057 Formal Asp. Comput. 26, No. 3, 491-535 (2014). MSC: 68N19 68Q55 68Q85 PDF BibTeX XML Cite \textit{R. J. Colvin}, Formal Asp. Comput. 26, No. 3, 491--535 (2014; Zbl 1342.68057) Full Text: DOI
Ueno, Katsuhiro; Fukasawa, Yutaka; Morihata, Akimasa; Ohori, Atsushi The essence of Ruby. (English) Zbl 06546215 Garrigue, Jacques (ed.), Programming languages and systems. 12th Asian symposium, APLAS 2014, Singapore, Singapore, November 17–19, 2014, Proceedings. Berlin: Springer (ISBN 978-3-319-12735-4/pbk). Lecture Notes in Computer Science 8858, 78-98 (2014). MSC: 68N15 68Q55 PDF BibTeX XML Cite \textit{K. Ueno} et al., Lect. Notes Comput. Sci. 8858, 78--98 (2014; Zbl 06546215) Full Text: DOI
Bach Poulsen, Casper; Mosses, Peter D. Generating specialized interpreters for modular structural operational semantics. (English) Zbl 06514628 Gupta, Gopal (ed.) et al., Logic-based program synthesis and transformation. 23rd international symposium, LOPSTR 2013, Madrid, Spain, September 18–19, 2013. Revised selected papers. Cham: Springer (ISBN 978-3-319-14124-4/pbk; 978-3-319-14125-1/ebook). Lecture Notes in Computer Science 8901, 220-236 (2014). MSC: 68N20 68N17 68Q55 68Q60 PDF BibTeX XML Cite \textit{C. Bach Poulsen} and \textit{P. D. Mosses}, Lect. Notes Comput. Sci. 8901, 220--236 (2014; Zbl 06514628) Full Text: DOI
Li, He; Luo, Jie; Li, Wei A formal semantics for debugging synchronous message passing-based concurrent programs. (English) Zbl 1314.68101 Sci. China, Inf. Sci. 57, No. 12, Article ID 128101, 18 p. (2014). MSC: 68N19 68Q55 PDF BibTeX XML Cite \textit{H. Li} et al., Sci. China, Inf. Sci. 57, No. 12, Article ID 128101, 18 p. (2014; Zbl 1314.68101) Full Text: DOI
Fernández, Maribel; Kirchner, Hélène; Mackie, Ian; Pinaud, Bruno Visual modelling of complex systems: towards an abstract machine for PORGY. (English) Zbl 1432.68252 Beckmann, Arnold (ed.) et al., Language, life, limits. 10th conference on computability in Europe, CiE 2014, Budapest, Hungary, June 23–27, 2014. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 8493, 183-193 (2014). MSC: 68Q55 68Q42 PDF BibTeX XML Cite \textit{M. Fernández} et al., Lect. Notes Comput. Sci. 8493, 183--193 (2014; Zbl 1432.68252) Full Text: DOI
Din, Crystal Chang; Owe, Olaf A sound and complete reasoning system for asynchronous communication with shared futures. (English) Zbl 1371.68190 J. Log. Algebr. Methods Program. 83, No. 5-6, 360-383 (2014). MSC: 68Q85 03B70 68N30 68Q55 PDF BibTeX XML Cite \textit{C. C. Din} and \textit{O. Owe}, J. Log. Algebr. Methods Program. 83, No. 5--6, 360--383 (2014; Zbl 1371.68190) Full Text: DOI