Dinsdale-Young, Thomas; da Rocha Pinto, Pedro; Gardner, Philippa A perspective on specifying and verifying concurrent modules. (English) Zbl 1395.68187 J. Log. Algebr. Methods Program. 98, 1-25 (2018). MSC: 68Q60 68N30 68Q85 PDFBibTeX XMLCite \textit{T. Dinsdale-Young} et al., J. Log. Algebr. Methods Program. 98, 1--25 (2018; Zbl 1395.68187) Full Text: DOI
Xiong, Shale; da Rocha Pinto, Pedro; Ntzik, Gian; Gardner, Philippa 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 \textit{S. Xiong} et al., Lect. Notes Comput. Sci. 10201, 964--990 (2017; Zbl 1485.68078) Full Text: DOI Link
Raad, Azalea; Santos, José Fragoso; Gardner, Philippa DOM: specification and client reasoning. (English) Zbl 1483.68089 Igarashi, Atsushi (ed.), Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10017, 401-422 (2016). MSC: 68N30 03B70 PDFBibTeX XMLCite \textit{A. Raad} et al., Lect. Notes Comput. Sci. 10017, 401--422 (2016; Zbl 1483.68089) Full Text: DOI Link
Raad, Azalea; Hobor, Aquinas; Villard, Jules; Gardner, Philippa Verifying concurrent graph algorithms. (English) Zbl 1483.68203 Igarashi, Atsushi (ed.), Programming languages and systems. 14th Asian symposium, APLAS 2016, Hanoi, Vietnam, November 21–23, 2016. Proceedings. Cham: Springer. Lect. Notes Comput. Sci. 10017, 314-334 (2016). MSC: 68Q60 03B70 68R10 68W10 PDFBibTeX XMLCite \textit{A. Raad} et al., Lect. Notes Comput. Sci. 10017, 314--334 (2016; Zbl 1483.68203) Full Text: DOI Link
da Rocha Pinto, Pedro; Dinsdale-Young, Thomas; Gardner, Philippa; Sutherland, Julian 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 \textit{P. da Rocha Pinto} et al., Lect. Notes Comput. Sci. 9632, 176--201 (2016; Zbl 1335.68074) Full Text: DOI Link
da Rocha Pinto, Pedro; Dinsdale-Young, Thomas; Gardner, Philippa 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 \textit{P. da Rocha Pinto} et al., Electron. Notes Theor. Comput. Sci. 319, 3--18 (2015; Zbl 1351.68188) Full Text: DOI
Raad, Azalea; Villard, Jules; Gardner, Philippa 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 \textit{A. Raad} et al., Lect. Notes Comput. Sci. 9032, 710--735 (2015; Zbl 1335.68064) Full Text: DOI Link
Ntzik, Gian; da Rocha Pinto, Pedro; Gardner, Philippa 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 \textit{G. Ntzik} et al., Lect. Notes Comput. Sci. 9458, 169--188 (2015; Zbl 1329.68080) Full Text: DOI Link
Gardner, Philippa; Raad, Azalea; Wheelhouse, Mark; Wright, Adam 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). MSC: 68N30 03B70 68P05 68Q60 68Q85 PDFBibTeX XMLCite \textit{P. Gardner} et al., Electron. Notes Theor. Comput. Sci. 308, 147--166 (2014; Zbl 1337.68069) Full Text: DOI
Gardner, Philippa; Ntzik, Gian; Wright, Adam 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 \textit{P. Gardner} et al., Lect. Notes Comput. Sci. 8410, 169--188 (2014; Zbl 1405.68080) Full Text: DOI
Bodin, Martin; Chargueraud, Arthur; Filaretti, Daniele; Gardner, Philippa; Maffeis, Sergio; Naudziuniene, Daiva; Schmitt, Alan; Smith, Gareth 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 \textit{M. Bodin} et al., in: 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). 87--100 (2014; Zbl 1284.68381) Full Text: DOI
Dinsdale-Young, Thomas; Birkedal, Lars; Gardner, Philippa; Parkinson, Matthew; Yang, Hongseok 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). MSC: 68N30 68N19 68Q55 68Q60 PDFBibTeX XMLCite \textit{T. Dinsdale-Young} et al., in: 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). 287--300 (2013; Zbl 1301.68099) Full Text: DOI
Felleisen, Matthias (ed.); Gardner, Philippa (ed.) 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 \textit{M. Felleisen} (ed.) and \textit{P. Gardner} (ed.), 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. Berlin: Springer (2013; Zbl 1268.68016) Full Text: DOI
Gardner, Philippa Anne; Maffeis, Sergio; Smith, Gareth David 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). MSC: 68N30 03B70 68N15 68M11 PDFBibTeX XMLCite \textit{P. A. Gardner} et al., in: 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). 31--44 (2012; Zbl 1321.68193) Full Text: DOI
Cardelli, Luca; Gardner, Philippa Processes in space. (English) Zbl 1251.68153 Theor. Comput. Sci. 431, 40-55 (2012). MSC: 68Q85 PDFBibTeX XMLCite \textit{L. Cardelli} and \textit{P. Gardner}, Theor. Comput. Sci. 431, 40--55 (2012; Zbl 1251.68153) Full Text: DOI
Cardelli, Luca; Gardner, Philippa 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 \textit{L. Cardelli} and \textit{P. Gardner}, Lect. Notes Comput. Sci. 6158, 78--87 (2010; Zbl 1286.68345) Full Text: DOI
Calcagno, Cristiano; Dinsdale-Young, Thomas; Gardner, Philippa Adjunct elimination in context logic for trees. (English) Zbl 1200.68224 Inf. Comput. 208, No. 5, 474-499 (2010). MSC: 68T27 03B60 PDFBibTeX XMLCite \textit{C. Calcagno} et al., Inf. Comput. 208, No. 5, 474--499 (2010; Zbl 1200.68224) Full Text: DOI Link
Cardelli, Luca; Caron, Emmanuelle; Gardner, Philippa; Kahramanoğulları, Ozan; Phillips, Andrew 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 \textit{L. Cardelli} et al., Electron. Notes Theor. Comput. Sci. 229, No. 1, 127--144 (2009; Zbl 1283.92047) Full Text: DOI
Gardner, Philippa (ed.); Geerts, Floris (ed.) 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). MSC: 68-06 68N15 68P15 00B25 PDFBibTeX XMLCite \textit{P. Gardner} (ed.) and \textit{F. Geerts} (ed.), Database programming languages. 12th international symposium, DBPL 2009, Lyon, France, August 23--24, 2009. Proceedings. Berlin: Springer (2009; Zbl 1169.68303) Full Text: DOI
Cardelli, Luca; Caron, Emmanuelle; Gardner, Philippa; Kahramanoğulları, Ozan; Phillips, Andrew A process model of Rho GTP-binding proteins. (English) Zbl 1173.68040 Theor. Comput. Sci. 410, No. 33-34, 3166-3185 (2009). MSC: 68Q85 92B05 92C37 PDFBibTeX XMLCite \textit{L. Cardelli} et al., Theor. Comput. Sci. 410, No. 33--34, 3166--3185 (2009; Zbl 1173.68040) Full Text: DOI
Raza, Mohammad; Gardner, Philippa Footprints in local reasoning. (English) Zbl 1163.68011 Log. Methods Comput. Sci. 5, No. 2, Paper 4, 27 p. (2009). MSC: 68N30 PDFBibTeX XMLCite \textit{M. Raza} and \textit{P. Gardner}, Log. Methods Comput. Sci. 5, No. 2, Paper 4, 27 p. (2009; Zbl 1163.68011) Full Text: DOI
Raza, Mohammad; Calcagno, Cristiano; Gardner, Philippa 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 \textit{M. Raza} et al., Lect. Notes Comput. Sci. 5502, 348--362 (2009; Zbl 1234.68080) Full Text: DOI
Cardelli, Luca; Gardner, Philippa; Kahramanoğulları, Ozan 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 \textit{L. Cardelli} et al., Electron. Notes Theor. Comput. Sci. 194, No. 3, 87--102 (2008; Zbl 1279.68252) Full Text: DOI
Raza, Mohammad; Gardner, Philippa 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 \textit{M. Raza} and \textit{P. Gardner}, Lect. Notes Comput. Sci. 4962, 201--215 (2008; Zbl 1139.68020) Full Text: DOI arXiv
Maffeis, Sergio; Gardner, Philippa Behavioural equivalences for dynamic web data. (English) Zbl 1135.68005 J. Log. Algebr. Program. 75, No. 1, 86-138 (2008). MSC: 68M10 68Q85 68P05 PDFBibTeX XMLCite \textit{S. Maffeis} and \textit{P. Gardner}, J. Log. Algebr. Program. 75, No. 1, 86--138 (2008; Zbl 1135.68005) Full Text: DOI
Calcagno, Cristiano; Gardner, Philippa; Zarfaty, Uri 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 \textit{C. Calcagno} et al., in: 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). 123--134 (2007; Zbl 1295.68079) Full Text: DOI
Cardelli, Luca; Gardner, Philippa; Ghelli, Giorgio Manipulating trees with hidden labels. (English) Zbl 1277.68116 Cardelli, Luca (ed.) et al., Computation, meaning, and logic. Articles dedicated to Gordon Plotkin. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 172, 177-201 (2007). MSC: 68Q55 68P05 PDFBibTeX XMLCite \textit{L. Cardelli} et al., Electron. Notes Theor. Comput. Sci. 172, 177--201 (2007; Zbl 1277.68116) Full Text: DOI
Calcagno, Cristiano; Gardner, Philippa; Zarfaty, Uri Local reasoning about data update. (English) Zbl 1277.68064 Cardelli, Luca (ed.) et al., Computation, meaning, and logic. Articles dedicated to Gordon Plotkin. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 172, 133-175 (2007). MSC: 68P05 03B70 68Q42 PDFBibTeX XMLCite \textit{C. Calcagno} et al., Electron. Notes Theor. Comput. Sci. 172, 133--175 (2007; Zbl 1277.68064) Full Text: DOI
Gardner, Philippa; Laneve, Cosimo; Wischik, Lucian Linear forwarders. (English) Zbl 1129.68047 Inf. Comput. 205, No. 10, 1526-1550 (2007). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Gardner} et al., Inf. Comput. 205, No. 10, 1526--1550 (2007; Zbl 1129.68047) Full Text: DOI
Dawar, Anuj; Gardner, Philippa; Ghelli, Giorgio Expressiveness and complexity of graph logic. (English) Zbl 1114.03028 Inf. Comput. 205, No. 3, 263-310 (2007). MSC: 03B70 68P15 68Q25 PDFBibTeX XMLCite \textit{A. Dawar} et al., Inf. Comput. 205, No. 3, 263--310 (2007; Zbl 1114.03028) Full Text: DOI
Zarfaty, Uri; Gardner, Philippa 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 \textit{U. Zarfaty} and \textit{P. Gardner}, Electron. Notes Theor. Comput. Sci. 158, 399--424 (2006; Zbl 1273.03111) Full Text: Link
Gardner, Philippa (ed.); Yoshida, Nobuko (ed.) Special issue: Concurrrency theory (CONCUR 2004). Selected, revised and extended papers based on the presentations at the 15th international conference on concurrency theory, London, UK, August 31–September 3, 2004. (English) Zbl 1098.68506 Theor. Comput. Sci. 358, No. 2-3, 149-334 (2006). MSC: 68-06 00B25 PDFBibTeX XML
Calcagno, Cristiano; Gardner, Philippa; Zarfaty, Uri 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). MSC: 68N30 03B70 68P05 68Q42 PDFBibTeX XMLCite \textit{C. Calcagno} et al., in: 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). 271--282 (2005; Zbl 1369.68132) Full Text: DOI Link
Calcagno, Cristiano; Gardner, Philippa; Hague, Matthew 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 \textit{C. Calcagno} et al., Lect. Notes Comput. Sci. 3441, 395--409 (2005; Zbl 1119.03022) Full Text: DOI
Wischik, Lucian; Gardner, Philippa Explicit fusions. (English) Zbl 1077.68066 Theor. Comput. Sci. 340, No. 3, 606-630 (2005). MSC: 68Q85 PDFBibTeX XMLCite \textit{L. Wischik} and \textit{P. Gardner}, Theor. Comput. Sci. 340, No. 3, 606--630 (2005; Zbl 1077.68066) Full Text: DOI
Gardner, Philippa; Maffeis, Sergio Modelling dynamic web data. (English) Zbl 1077.68004 Theor. Comput. Sci. 342, No. 1, 104-131 (2005). MSC: 68M10 PDFBibTeX XMLCite \textit{P. Gardner} and \textit{S. Maffeis}, Theor. Comput. Sci. 342, No. 1, 104--131 (2005; Zbl 1077.68004) Full Text: DOI
Wischik, Lucian; Gardner, Philippa 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 \textit{L. Wischik} and \textit{P. Gardner}, Lect. Notes Comput. Sci. 2987, 484--498 (2004; Zbl 1126.68512) Full Text: DOI
Dawar, Anuj; Gardner, Philippa; Ghelli, Giorgio 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 \textit{A. Dawar} et al., Lect. Notes Comput. Sci. 3328, 211--223 (2004; Zbl 1117.03338) Full Text: DOI
Maffeis, Sergio; Gardner, Philippa 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 \textit{S. Maffeis} and \textit{P. Gardner}, IFIP, Int. Fed. Inf. Process. 155, 535--548 (2004; Zbl 1088.68555)
Gardner, Philippa (ed.); Yoshida, Nobuko (ed.) 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 \textit{P. Gardner} (ed.) and \textit{N. Yoshida} (ed.), CONCUR 2004 -- concurrency theory. 15th international conference, London, UK, August 31 -- September 3, 2004. Proceedings. Berlin: Springer (2004; Zbl 1058.68006)
Gardner, Philippa; Laneve, Cosimo; Wischik, Lucian Linear forwarders. (English) Zbl 1274.68233 Amadio, Roberto (ed.) et al., CONCUR 2003 – concurrency theory. 14th international conference, Marseille, France, September 3–5, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40753-7/pbk). Lect. Notes Comput. Sci. 2761, 415-430 (2003). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Gardner} et al., Lect. Notes Comput. Sci. 2761, 415--430 (2003; Zbl 1274.68233) Full Text: DOI
Cardelli, Luca; Gardner, Philippa; Ghelli, Giorgio 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 \textit{L. Cardelli} et al., Lect. Notes Comput. Sci. 2620, 216--232 (2003; Zbl 1029.68092) Full Text: Link
Cardelli, Luca; Gardner, Philippa; Ghelli, Giorgio 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 \textit{L. Cardelli} et al., Lect. Notes Comput. Sci. 2380, 597--610 (2002; Zbl 1057.68606) Full Text: Link
Gardner, Philippa; Laneve, Cosimo; Wischik, Lucian The fusion machine (Extended abstract). (English) Zbl 1012.68527 Brim, Luboš (ed.) et al., CONCUR 2002 - concurrency theory. 13th international conference, Brno, Czech Republic, August 20-23, 2002. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 2421, 418-433 (2002). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Gardner} et al., Lect. Notes Comput. Sci. 2421, 418--433 (2002; Zbl 1012.68527) Full Text: Link
Gardner, Philippa From process calculi to process frameworks. (English) Zbl 0999.68137 Palamidessi, Catuscia (ed.), CONCUR 2000 - Concurrency theory. 11th international conference, University Park, PA, USA, August 22-25, 2000. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 1877, 69-88 (2000). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Gardner}, Lect. Notes Comput. Sci. 1877, 69--88 (2000; Zbl 0999.68137)
Gardner, Philippa; Wischik, Lucian 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 \textit{P. Gardner} and \textit{L. Wischik}, Lect. Notes Comput. Sci. 1893, 373--382 (2000; Zbl 0996.68523)
Gardner, Philippa Closed action calculi. (English) Zbl 0954.68114 Theor. Comput. Sci. 228, No. 1-2, 77-103 (1999). MSC: 68Q85 03B40 PDFBibTeX XMLCite \textit{P. Gardner}, Theor. Comput. Sci. 228, No. 1--2, 77--103 (1999; Zbl 0954.68114) Full Text: DOI
Gardner, Philippa 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 \textit{P. Gardner}, in: HOOTS II. 2nd workshop on Higher-order operational techniques in semantics. Stanford Univ., Palo Alto, CA, USA, December 8--12, 1997. Amsterdam: Elsevier. electronic paper No. 7 (1997; Zbl 0925.68080) Full Text: Link
Gardner, Philippa; Hasegawa, Masahito 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). MSC: 03B70 68N01 03B40 18D15 PDFBibTeX XMLCite \textit{P. Gardner} and \textit{M. Hasegawa}, Lect. Notes Comput. Sci. 1281, 583--603 (1997; Zbl 0885.03036)
Gardner, Philippa 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 \textit{P. Gardner}, in: Mathematical foundations of programming semantics. Proceedings of the 11th conference (MFPS), Tulane Univ., New Orleans, LA, USA, March 29 - April 1, 1995. Amsterdam: Elsevier. 18 p. (1995; Zbl 0910.68152) Full Text: Link
Gardner, Philippa Discovering needed reductions using type theory. (English) Zbl 0942.03508 Hagiya, Masami (ed.) et al., Theoretical aspects of computer software. 2nd international Symposium TACS ’94, Sendai, Japan, April 19-22, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 789, 555-574 (1994). MSC: 03B40 68Q55 68N18 PDFBibTeX XMLCite \textit{P. Gardner}, Lect. Notes Comput. Sci. 789, 555--574 (1994; Zbl 0942.03508)
Gardner, Philippa A new type theory for representing logics. (English) Zbl 0793.68089 Voronkov, Andrei (ed.), Logic programming and automated reasoning. 4th international conference, LPAR ’93, St. Petersburg, Russia, July 13-20, 1993. Proceedings. Berlin: Springer-Verlag. Lect. Notes Comput. Sci. 698, 146-157 (1993). MSC: 68Q45 03B15 PDFBibTeX XMLCite \textit{P. Gardner}, Lect. Notes Comput. Sci. 698, 146--157 (1993; Zbl 0793.68089)