×

Found 91 Documents (Results 1–91)

100
MathJax

The benefit of being non-lazy in probabilistic \(\lambda \)-calculus. Applicative bisimulation is fully abstract for non-lazy probabilistic call-by-name. (English) Zbl 07299479

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). 327-340 (2020).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Contextual equivalence for signal flow graphs. (English) Zbl 07250933

Goubault-Larrecq, Jean (ed.) et al., Foundations of software science and computation structures. 23rd international conference, FOSSACS 2020, held as part of the European joint conferences on theory and practice of software, ETAPS 2020, Dublin, Ireland, April 25–30, 2020. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 12077, 77-96 (2020).
MSC:  68Nxx 68Qxx
PDF BibTeX XML Cite
Full Text: DOI arXiv

Fully abstract models of the probabilistic \(\lambda\)-calculus. (English) Zbl 07533341

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 16, 17 p. (2018).
MSC:  03B70
PDF BibTeX XML Cite
Full Text: DOI

Eager functions as processes. (English) Zbl 1452.03044

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). 364-373 (2018).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI arXiv HAL

Observably deterministic concurrent strategies and intensional full abstraction for parallel-or. (English) Zbl 1441.68144

Miller, Dale (ed.), 2nd international conference on formal structures for computation and deduction. FSCD 2017, Oxford, UK, September 3–9, 2017. Proceedings. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik. LIPIcs – Leibniz Int. Proc. Inform. 84, Article 12, 16 p. (2017).
MSC:  68Q85 68Q55 91A80
PDF BibTeX XML Cite
Full Text: DOI

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
Full Text: DOI

On the characterization of models of \(\mathcal{H}^*\). (English) Zbl 1394.03022

Proceedings of the joint meeting of the twenty-third EACSL annual conference on computer science logic, CSL, and the 2014 29th annual ACM/IEEE symposium on logic in computer science, LICS 2014, Vienna, Austria, July 14–18, 2014. Los Alamitos, CA: IEEE Computer Society (ISBN 978-1-4503-2886-9). Paper No. 24, 10 p. (2014).
MSC:  03B40
PDF BibTeX XML Cite
Full Text: DOI

Game semantics for interface middleweight Java. (English) Zbl 1284.68375

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 517-528 (2014).
MSC:  68Q55 68N15 68Q65
PDF BibTeX XML Cite
Full Text: DOI Link

Probabilistic coherence spaces are fully abstract for probabilistic PCF. (English) Zbl 1284.68268

Proceedings of the 41st ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’14, San Diego, CA, USA, January 22–24, 2014. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-2544-8). 309-320 (2014).
PDF BibTeX XML Cite
Full Text: DOI Link

A fully abstract game semantics for parallelism with non-blocking synchronization on shared variables. (English) Zbl 1356.68139

Ronchi della Rocca, Simona (ed.), Computer science logic 2013. Selected papers of the 27th CSL workshop and 22nd annual conference of the European Association for Computer Science Logic (EACSL), Torino, Italy, September 2–5, 2013. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-60-6). LIPIcs – Leibniz International Proceedings in Informatics 23, 578-596 (2013).
PDF BibTeX XML Cite
Full Text: DOI

Layout randomization and nondeterminism. (English) Zbl 1334.68045

Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 29-50 (2013).
MSC:  68N30 68Q55
PDF BibTeX XML Cite
Full Text: DOI

Fully abstract compilation to JavaScript. (English) Zbl 1301.68100

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 371-384 (2013).
MSC:  68N30 68N20
PDF BibTeX XML Cite
Full Text: DOI Link

Full abstraction for nominal Scott domains. (English) Zbl 1301.68103

Proceedings of the 40th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’13, Rome, Italy, January 23–25, 2013. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1832-7). 3-14 (2013).
PDF BibTeX XML Cite
Full Text: DOI Link

The resource lambda calculus is short-sighted in its relational model. (English) Zbl 1381.03021

Hasegawa, Masahito (ed.), Typed lambda calculi and applications. 11th international conference, TLCA 2013, Eindhoven, The Netherlands, June 26–28, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-38945-0/pbk). Lecture Notes in Computer Science 7941, 93-108 (2013).
MSC:  03B40 03F52 18C20
PDF BibTeX XML Cite
Full Text: DOI

The buffered \(\pi\)-calculus: a model for concurrent languages. (English) Zbl 1377.68147

Dediu, Adrian-Horia (ed.) et al., Language and automata theory and applications. 7th international conference, LATA 2013, Bilbao, Spain, April 2–5, 2013. Proceedings. Berlin: Springer (ISBN 978-3-642-37063-2/pbk). Lecture Notes in Computer Science 7810, 250-261 (2013).
MSC:  68Q85 68N15
PDF BibTeX XML Cite
Full Text: DOI arXiv

A truly concurrent process semantics over multi-pomsets of consumable resources. (English) Zbl 1342.68245

Berger, Ulrich (ed.) et al., Proceedings of the 28th conference on the mathematical foundations of programming semantics (MFPS XXVIII), Bath, UK, June 6–9, 2012. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 286, 307-321 (2012).
MSC:  68Q85 68Q55
PDF BibTeX XML Cite
Full Text: DOI

A resource analysis of the \(\pi\)-calculus. (English) Zbl 1342.68246

Mislove, Michael (ed.) et al., Proceedings of the 27th conference on the mathematical foundations of programming semantics (MFPS XXVII), Pittsburgh, PA, USA, May 25–28, 2011. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 276, 313-334 (2011).
MSC:  68Q85 03B70 68Q55
PDF BibTeX XML Cite
Full Text: DOI

An equivalence-preserving CPS translation via multi-language semantics. (English) Zbl 1323.68088

Proceedings of the 16th ACM SIGPLAN international conference on functional programming, ICFP ’11, Tokyo, Japan, September 19–21, 2011. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-0865-6). ACM SIGPLAN Notices 46, No. 9, 431-444 (2011).
PDF BibTeX XML Cite
Full Text: DOI Link

Full abstraction for resource calculus with tests. (English) Zbl 1247.03020

Bezem, Marc (ed.), Computer science logic (CSL’11). 25th international workshop, 20th annual conference of the EACSL, Bergen, Norway, September 12–15, 2011. Wadern: Schloss Dagstuhl – Leibniz Zentrum für Informatik (ISBN 978-3-939897-32-3). LIPIcs – Leibniz International Proceedings in Informatics 12, 97-111, electronic only (2011).
MSC:  03B40 03B70 03F52
PDF BibTeX XML Cite
Full Text: DOI arXiv Link

Full abstraction without synchronization primitives. (English) Zbl 1342.68061

Mislove, Michael (ed.) et al., Proceedings of the 26th conference on the mathematical foundations of programming semantics (MFPS 2010), Ottawa, Canada, May 6–10, 2010. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 265, 423-436 (2010).
PDF BibTeX XML Cite
Full Text: DOI

Typed closure conversion preserves observational equivalence. (English) Zbl 1323.68350

Proceedings of the 13th ACM SIGPLAN international conference on functional programming, ICFP ’08, Victoria, BC, Canada, September 20–28, 2008. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-59593-919-7). ACM SIGPLAN Notices 43, No. 9, 157-168 (2008).
PDF BibTeX XML Cite
Full Text: DOI Link

Sequentiality and the CPS semantics of fresh names. (English) Zbl 1316.68067

Fiore, Marcelo (ed.), Proceedings of the 23rd conference on the mathematical foundations of programming semantics (MFPS XXIII), New Orleans, LA, USA, April 11–14, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 173, 203-219 (2007).
MSC:  68Q55 06B35
PDF BibTeX XML Cite
Full Text: DOI

Secure implementations of typed channel abstractions. (English) Zbl 1295.68078

Proceedings of the 34th ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’07, Nice, France, January 17–19, 2007. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-575-4). 251-262 (2007).
PDF BibTeX XML Cite
Full Text: DOI

Observability, connectivity, and replay in a sequential calculus of classes. (English) Zbl 1143.68359

de Boer, Frank S. (ed.) et al., Formal methods for components and objects. Third international symposium, FMCO 2004, Leiden, The Netherlands, November 2–5, 2004. Revised lectures. Berlin: Springer (ISBN 3-540-29131-8/pbk). Lecture Notes in Computer Science 3657, 296-316 (2005).
MSC:  68N30 68N19
PDF BibTeX XML Cite
Full Text: DOI

Object connectivity and full abstraction for a concurrent calculus of classes. (English) Zbl 1108.68538

Liu, Zhiming (ed.) et al., Theoretical aspects of computing – ICTAC 2004. First international colloquium, Guiyang, China, September 20–24, 2004. Revised selected papers. Berlin: Springer (ISBN 3-540-25304-1/pbk). Lecture Notes in Computer Science 3407, 37-51 (2005).
MSC:  68Q85
PDF BibTeX XML Cite
Full Text: DOI

On the semantics of the bad-variable constructor in Algol-like languages. (English) Zbl 1337.68053

Brookes, Steven (ed.), Proceedings of the 19th conference on mathematical foundations of programming semantics (MFPS XIX), Montreal, Canada, March 19–22, 2003. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 83, 169-186, electronic only (2003).
MSC:  68N15 68Q55
PDF BibTeX XML Cite
Full Text: DOI

A fully abstract relational model of syntactic control of interference. (English) Zbl 1020.68048

Bradfield, Julian (ed.), Computer science logic. 16th international workshop, CSL 2002, 11th annual conference of the EACSL, Edinburgh, Scotland, GB, September 22-25, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2471, 247-261 (2002).
MSC:  68Q55 68N15 03B70
PDF BibTeX XML Cite
Full Text: Link

Logical full abstraction and PCF. (English) Zbl 0961.68081

Ginzburg, Jonathan (ed.) et al., The Tbilisi symposium on logic, language and computation: Selected papers, Gudauri, Georgia, October 19-22, 1995. Stanford, CA: CSLI Publications. Studies in Logic, Language and Information. 333-352 (1998).
MSC:  68Q55
PDF BibTeX XML Cite

Current trends in the semantics of dataflow. (English) Zbl 0803.68069

Droste, Manfred (ed.) et al., Semantics of programming languages and model theory. Papers presented at the international conference and Research Center for Computer Science, Schloß Dägstuhl, Germany, June 23-29, 1991. Yverdon: Gordon and Breach Science Publishers. Algebra Log. Appl. 5, 245-268 (1993).
MSC:  68Q55
PDF BibTeX XML Cite

Reasoning about sequential functions via logical relations. (English) Zbl 0798.68097

Fourman, M. P. (ed.) et al., Applications of categories in computer science. Proceedings of the LMS symposium, held at the University of Durham, England, UK, from 20 to 30 July, 1991. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 177, 258-269 (1992).
MSC:  68Q55 68N15
PDF BibTeX XML Cite

Sequentiality and full abstraction. (English) Zbl 0798.68098

Fourman, M. P. (ed.) et al., Applications of categories in computer science. Proceedings of the LMS symposium, held at the University of Durham, England, UK, from 20 to 30 July, 1991. Cambridge: Cambridge University Press. Lond. Math. Soc. Lect. Note Ser. 177, 66-94 (1992).
MSC:  68Q55 68N15
PDF BibTeX XML Cite

Filter Results by …

Document Type

Reviewing State

all top 5

Author

all top 5

Year of Publication

all top 3

Classification

all top 3

Software