×

Found 52 Documents (Results 1–52)

Abstract specifications for concurrent maps. (English) Zbl 1485.68078

Yang, Hongseok (ed.), Programming languages and systems. 26th European symposium on programming, ESOP 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. 10201, 964-990 (2017).
MSC:  68N30 68Q60 68Q85
PDFBibTeX XMLCite
Full Text: DOI Link

Modular termination verification for non-blocking concurrency. (English) Zbl 1335.68074

Thiemann, Peter (ed.), Programming languages and systems. 25th European symposium on programming, ESOP 2016, held as part of the European joint conferences on theory and practice of software, ETAPS 2016, Eindhoven, The Netherlands, April 2–8, 2016. Proceedings. Berlin: Springer (ISBN 978-3-662-49497-4/pbk; 978-3-662-49498-1/ebook). Lecture Notes in Computer Science 9632, 176-201 (2016).
MSC:  68N30 03B70 68N19
PDFBibTeX XMLCite
Full Text: DOI Link

Steps in modular specifications for concurrent modules (invited tutorial paper). (English) Zbl 1351.68188

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, 3-18, electronic only (2015).
MSC:  68Q85 68N30 68Q60
PDFBibTeX XMLCite
Full Text: DOI

ColoSL: concurrent local subjective logic. (English) Zbl 1335.68064

Vitek, Jan (ed.), Programming languages and systems. 24th European symposium on programming, ESOP 2015, held as part of the European joint conferences on theory and practice of software, ETAPS 2015, London, UK, April 11–18, 2015. Proceedings. Berlin: Springer (ISBN 978-3-662-46668-1/pbk; 978-3-662-46669-8/ebook). Lecture Notes in Computer Science 9032, 710-735 (2015).
MSC:  68N30 03B70 68N19
PDFBibTeX XMLCite
Full Text: DOI Link

Fault-tolerant resource reasoning. (English) Zbl 1329.68080

Feng, Xinyu (ed.) et al., Programming languages and systems. 13th Asian symposium, APLAS 2015, Pohang, South Korea, November 30 – December 2, 2015. Proceedings. Cham: Springer (ISBN 978-3-319-26528-5/pbk; 978-3-319-26529-2/ebook). Lecture Notes in Computer Science 9458, 169-188 (2015).
MSC:  68N30 03B70
PDFBibTeX XMLCite
Full Text: DOI Link

Abstract local reasoning for concurrent libraries: mind the gap. (English) Zbl 1337.68069

Jacobs, Bart (ed.) et al., Proceedings of the 30th conference on the mathematical foundations of programming semantics (MFPS XXX), Ithaca, NY, USA, June 12–15, 2014. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 308, 147-166, electronic only (2014).
PDFBibTeX XMLCite
Full Text: DOI

Local reasoning for the POSIX file system. (English) Zbl 1405.68080

Shao, Zhong (ed.), Programming languages and systems. 23rd European symposium on programming, ESOP 2014, held as part of the European joint conferences on theory and practice of software, ETAPS 2014, Grenoble, France, April 5–13, 2014. Proceedings. Berlin: Springer (ISBN 978-3-642-54832-1/pbk). Lecture Notes in Computer Science 8410, 169-188 (2014).
MSC:  68N30 03B70
PDFBibTeX XMLCite
Full Text: DOI

A trusted mechanised JavaSript specification. (English) Zbl 1284.68381

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). 87-100 (2014).
MSC:  68Q60 68N30 68T15 68N15
PDFBibTeX XMLCite
Full Text: DOI

Views, compositional reasoning for concurrent programs. (English) Zbl 1301.68099

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). 287-300 (2013).
PDFBibTeX XMLCite
Full Text: DOI

Programming languages and systems. 22nd European symposium on programming, ESOP 2013, held as part of the European joint conferences on theory and practice of software, ETAPS 2013, Rome, Italy, March 16–24, 2013. Proceedings. (English) Zbl 1268.68016

Lecture Notes in Computer Science 7792. Berlin: Springer (ISBN 978-3-642-37035-9/pbk). xix, 620 p. (2013).
MSC:  68-06 68Nxx 00B25
PDFBibTeX XMLCite
Full Text: DOI

Towards a program logic for JavaScript. (English) Zbl 1321.68193

Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’12, Philadelphia, PA, USA, January 22–28, 2012. New York, NY: Association for Computing Machinery (ACM) (ISBN 978-1-4503-1083-3). 31-44 (2012).
PDFBibTeX XMLCite
Full Text: DOI

Processes in space. (English) Zbl 1286.68345

Ferreira, Fernando (ed.) et al., Programs, proofs, processes. 6th conference on computability in Europe, CiE 2010, Ponta Delgada, Azores, Portugal, June 30–July 4, 2010. Proceedings. Berlin: Springer (ISBN 978-3-642-13961-1/pbk). Lecture Notes in Computer Science 6158, 78-87 (2010).
MSC:  68Q85 51N10 68U05
PDFBibTeX XMLCite
Full Text: DOI

A process model of actin polymerisation. (English) Zbl 1283.92047

Cannata, Nicola (ed.) et al., Proceedings of the 2nd workshop – from biology to concurrency and back (FBTC 2008), Reykjavik, Iceland, July 12, 2008. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 229, No. 1, 127-144 (2009).
MSC:  92C45 68Q85 92C10
PDFBibTeX XMLCite
Full Text: DOI

Database programming languages. 12th international symposium, DBPL 2009, Lyon, France, August 23–24, 2009. Proceedings. (English) Zbl 1169.68303

Lecture Notes in Computer Science 5708. Berlin: Springer (ISBN 978-3-642-03792-4/pbk). vii, 101 p. (2009).
PDFBibTeX XMLCite
Full Text: DOI

Automatic parallelization with separation logic. (English) Zbl 1234.68080

Castagna, Giuseppe (ed.), Programming languages and systems. 18th European symposium on programming, ESOP 2009, held as part of the joint European conferences on theory and practice of software, ETAPS 2009, York, UK, March 22–29, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-00589-3/pbk). Lecture Notes in Computer Science 5502, 348-362 (2009).
MSC:  68N30 68N19
PDFBibTeX XMLCite
Full Text: DOI

A process model of rho GTP-binding proteins in the context of phagocytosis. (English) Zbl 1279.68252

Cannata, Nicola (ed.) et al., Proceedings of the first workshop “From biology to concurrency and back (FBTC 2007)”, Lisbon, Portugal, September 8, 2007. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 194, No. 3, 87-102 (2008).
MSC:  68Q85 68Q87 92C40
PDFBibTeX XMLCite
Full Text: DOI

Footprints in local reasoning. (English) Zbl 1139.68020

Amadio, Roberto (ed.), Foundations of software science and computational structures. 11th international conference, FOSSACS 2008, held as part of the joint European conferences on theory and practice of software, ETAPS 2008, Budapest, Hungary, March 29–April 6, 2008. Proceedings. Berlin: Springer (ISBN 978-3-540-78497-5/pbk). Lecture Notes in Computer Science 4962, 201-215 (2008).
MSC:  68N30 03B70
PDFBibTeX XMLCite
Full Text: DOI arXiv

Context logic as modal logic, completeness and parametric inexpressivity. (English) Zbl 1295.68079

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). 123-134 (2007).
MSC:  68N30 03B45 03B70
PDFBibTeX XMLCite
Full Text: DOI

Local reasoning about tree update. (English) Zbl 1273.03111

Brookes, Steve (ed.) et al., Proceedings of the 22nd annual conference on mathematical foundations of programming semantics (MFPS XXII), Genova, Italy, May 23–27, 2006. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 158, 399-424 (2006).
MSC:  03B70 68P05
PDFBibTeX XMLCite
Full Text: Link

Context logic and tree update. (English) Zbl 1369.68132

Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on principles of programming languages, POPL ’05, Long Beach, CA, USA, January 12–14, 2005. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-58113-830-X). 271-282 (2005).
PDFBibTeX XMLCite
Full Text: DOI Link

From separation logic to first-order logic. (English) Zbl 1119.03022

Sassone, Vladimiro (ed.), Foundations of software science and computation structures. 8th international conference, FOSSACS 2005, held as part of the joint European conferences on theory and practice of software, ETAPS 2005, Edinburgh, UK, April 4–8, 2005. Proceedings. Berlin: Springer (ISBN 3-540-25388-2/pbk). Lecture Notes in Computer Science 3441, 395-409 (2005).
MSC:  03B70 03B25 68P05
PDFBibTeX XMLCite
Full Text: DOI

Strong bisimulation for the explicit fusion calculus. (English) Zbl 1126.68512

Walukiewicz, Igor (ed.), Foundations of software science and computation structures. 7th international conference, FOSSACS 2004, held as part of the joint European conferences on theory and practice of software, ETAPS 2004, Barcelona, Spain, March 29 – April 2, 2004. Procedings. Berlin: Springer (ISBN 3-540-21298-1/pbk). Lecture Notes in Computer Science 2987, 484-498 (2004).
MSC:  68Q85 68N30
PDFBibTeX XMLCite
Full Text: DOI

Adjunct elimination through games in static ambient logic (extended abstract). (English) Zbl 1117.03338

Lodaya, Kamal (ed.) et al., FSTTCS 2004: Foundations of software technology and theoretical computer science. 24th international conference, Chennai, India, December 16–18, 2004. Proceedings. Berlin: Springer (ISBN 3-540-24058-6/pbk). Lecture Notes in Computer Science 3328, 211-223 (2004).
MSC:  03B70 68P05
PDFBibTeX XMLCite
Full Text: DOI

Behavioural equivalences for dynamic web data. (English) Zbl 1088.68555

Levy, Jean-Jacques (ed.) et al., Exploring new frontiers of theoretical informatics. IFIP 18th world computer congress, TC1 3rd international conference on theoretical computer science (TCS2004), 22–27 August 2004, Toulouse, France. Boston, MA: Kluwer Academic Publishers (ISBN 1-4020-8140-5/hbk). IFIP, International Federation for Information Processing 155, 535-548 (2004).
MSC:  68P05
PDFBibTeX XMLCite

CONCUR 2004 – concurrency theory. 15th international conference, London, UK, August 31 – September 3, 2004. Proceedings. (English) Zbl 1058.68006

Lecture Notes in Computer Science 3170. Berlin: Springer (ISBN 3-540-22940-X/pbk). xiii, 529 p. (2004).
MSC:  68-06 68Q85 00B25
PDFBibTeX XMLCite

Manipulating trees with hidden labels. (English) Zbl 1029.68092

Gordon, Andrew D. (ed.), Foundations of software science and computations structure. 6th international conference, FOSSACS 2003, held as part of the joint European conferences on theory and practice of software, ETAPS 2003, Warsaw, Poland, April 7-11, 2003. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2620, 216-232 (2003).
MSC:  68Q55 68P10
PDFBibTeX XMLCite
Full Text: Link

A spatial logic for querying graphs. (English) Zbl 1057.68606

Widmayer, Peter (ed.) et al., Automata, languages and programming. 29th international colloquium, ICALP 2002, Málaga, Spain, July 8–13, 2002. Proceedings. Berlin: Springer (ISBN 3-540-43864-5). Lect. Notes Comput. Sci. 2380, 597-610 (2002).
MSC:  68P15 68Q85 05C20
PDFBibTeX XMLCite
Full Text: Link

Explicit fusions. (English) Zbl 0996.68523

Nielsen, Mogens (ed.) et al., Mathematical foundations of computer science 2000. 25th international symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1893, 373-382 (2000).
MSC:  68Q85
PDFBibTeX XMLCite

A type-theoretic description of action calculi. (English) Zbl 0925.68080

Gordon, Andrew (ed.) et al., HOOTS II. 2nd workshop on higher-order operational techniques in semantics. Stanford Univ., Palo Alto, CA, USA, December 8–12, 1997. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 10, electronic paper No. 7 (1997).
MSC:  68N15
PDFBibTeX XMLCite
Full Text: Link

Types and models for higher-order action calculi. (English) Zbl 0885.03036

Abadi, Martín (ed.) et al., Theoretical aspects of computer software. 3rd international symposium, TACS ’97. Sendai, Japan, September 23–26, 1997. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1281, 583-603 (1997).
PDFBibTeX XMLCite

A name-free account of action calculi. (English) Zbl 0910.68152

Brookes, Steve (ed.) et al., Mathematical foundations of programming semantics. Proceedings of the 11th conference (MFPS), Tulane Univ., New Orleans, LA, USA, March 29 - April 1, 1995. Amsterdam: Elsevier, Electronic Notes in Theoretical Computer Science. 1, 18 p. (1995).
MSC:  68Q99 68Q85
PDFBibTeX XMLCite
Full Text: Link

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software