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
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
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
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
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
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