Philippa Gardner Papers on DiSC'04 Modelling dynamic web data Publications Note: Links lead to the DBLP on the Web. Philippa Gardner Cristiano Calcagno , Philippa Gardner, Matthew Hague : From Separation Logic to First-Order Logic. FoSSaCS 2005 : 395-409 Cristiano Calcagno , Philippa Gardner, Uri Zarfaty : Context logic and tree update. POPL 2005 : 271-282 Philippa Gardner, Nobuko Yoshida : CONCUR 2004 - Concurrency Theory, 15th International Conference, London, UK, August 31 - September 3, 2004, Proceedings Springer 2004 Anuj Dawar , Philippa Gardner, Giorgio Ghelli : Adjunct Elimination Through Games in Static Ambient Logic. FSTTCS 2004 : 211-223 Lucian Wischik , Philippa Gardner: Strong Bisimulation for the Explicit Fusion Calculus. FoSSaCS 2004 : 484-498 Sergio Maffeis , Philippa Gardner: Behavioural Equivalences for Dynamic Web Data. IFIP TCS 2004 : 535-548 Philippa Gardner, Cosimo Laneve , Lucian Wischik : Linear Forwarders. CONCUR 2003 : 408-422 Philippa Gardner, Sergio Maffeis : Modelling Dynamic Web Data. DBPL 2003 : 130-146 Luca Cardelli , Philippa Gardner, Giorgio Ghelli : Manipulating Trees with Hidden Labels. FoSSaCS 2003 : 216-232 Philippa Gardner, Cosimo Laneve , Lucian Wischik : The Fusion Machine. CONCUR 2002 : 418-433 Luca Cardelli , Philippa Gardner, Giorgio Ghelli : A Spatial Logic for Querying Graphs. ICALP 2002 : 597-610 Philippa Gardner: From Process Calculi to Process Frameworks. CONCUR 2000 : 69-88 Philippa Gardner, Lucian Wischik : Explicit Fusions. MFCS 2000 : 373-382 Philippa Gardner: Closed Action Calculi. Theor. Comput. Sci. 228 (1-2): 77-103 (1999) Andrew Barber , Philippa Gardner, Masahito Hasegawa , Gordon D. Plotkin : From Action Calculi to Linear Logic. CSL 1997 : 78-97 Philippa Gardner, Masahito Hasegawa : Types and Models for Higher-Order Action Calculi. TACS 1997 : 583-603 Philippa Gardner: A Type-theoretic Description of Action Calculi. Electr. Notes Theor. Comput. Sci. 10 : (1997) Philippa Gardner: A name-free account of action calculi. Electr. Notes Theor. Comput. Sci. 1 : (1995) Philippa Gardner: Equivalences bewteen Logics and Their Representing Type Theories. Mathematical Structures in Computer Science 5 (3): 323-349 (1995) Philippa Gardner: Discovering Needed Reductions Using Type Theory. TACS 1994 : 555-574 Philippa Gardner: A New Type THeory for Representing Logics. LPAR 1993 : 146-157 1 [ 7 ] 2 [ 20 ] [ 21 ] 3 [ 11 ] [ 13 ] 4 [ 18 ] 5 [ 11 ] [ 13 ] [ 18 ] 6 [ 21 ] 7 [ 6 ] [ 7 ] 8 [ 12 ] [ 15 ] 9 [ 14 ] [ 16 ] 10 [ 7 ] 11 [ 9 ] [ 12 ] [ 15 ] [ 17 ] 12 [ 19 ] 13 [ 20 ] ©2005 Association for Computing Machinery