×

zbMATH — the first resource for mathematics

Found 729 Documents (Results 1–100)

Hits per Page
100
Display Format
MathJax
Result Sorting
Newest 1st
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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
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

Filter Results by …

Document Type
Reviewing State
all top 5
Author
all top 5
Serial
all top 5
Year of Publication
all top 3
Classification
all top 3
Software