- in FOSSACS 2004 www.wischik.com/lu/research/eft.html Strong Bisimulation
- From Process Calculi to Process Frameworks Philippa Gardner 1
- Closed Action Calculi Philippa Gardner 1
- GDP Festschrift ENTCS, to appear Local Reasoning about Data Update
- to appear in TCS www.wischik.com/lu/research/explicit-fusions.html Explicit Fusions
- Equivalences between Logics and their Representing Type Theories \Lambda
- Adjunct Elimination Through Games in Static Ambient Logic
- Monday, April 14, 2003, 2:08 pm 1 Abstract. We define an operational semantics and a type system for manipulating
- From Separation Logic to First-Order Logic Cristiano Calcagno Philippa Gardner Matthew Hague
- Automatic Parallelization with Separation Logic Cristiano Calcagno, Philippa Gardner, and Mohammad Raza
- Context Logic and Tree Update
- Footprints in Local Reasoning Mohammad Raza and Philippa Gardner
- The Fusion Machine (extended abstract)
- Symmetric Action Calculi Philippa Gardner and Lucian Wischik 1
- Hiding the Complexity of Concurrent Indexes Pedro da Rocha Pinto
- Behavioural Equivalences for Dynamic Web Data Sergio Maffeis Philippa Gardner
- Linear Forwarders Philippa Gardner a
- Context Logic and Tree Update Cristiano Calcagno Philippa Gardner
- Discovering Needed Reductions Using Type Theory \Lambda Philippa Gardner y
- Reasoning about High-Level Tree Update and its Low-Level Implementation
- Decidability of Context Logic Cristiano Calcagno, Thomas Dinsdale-Young, and Philippa Gardner
- Local Reasoning about Mashups Philippa Gardner, Gareth Smith, and Adam Wright
- Adjunct Elimination in Context Logic for Cristiano Calcagno Thomas Dinsdale-Young Philippa Gardner
- Under consideration for publication in Math. Struct. in Comp. Science Abstraction and Refinement for Local
- PROCESSES IN SPACE Luca Cardelli Philippa Gardner
- Concurrent Abstract Predicates Thomas Dinsdale-Young1
- Small Specifications for Tree Update Philippa Gardner and Mark Wheelhouse
- A Process Model of Rho GTP-binding Luca Cardelli 1
- Footprints in Local Reasoning Mohammad Raza and Philippa Gardner
- Context Logic as Modal Logic: Completeness and Parametric Inexpressivity
- Adjunct Elimination in Context Logic for Trees Cristiano Calcagno, Thomas Dinsdale-Young, and Philippa Gardner
- Expressiveness and Complexity of Graph Logic University of Cambridge Computer Lab., Cambridge, UK.
- A Note on Context Logic Philippa Gardner
- Modelling Dynamic Web Data Philippa Gardner, Sergio Maffeis
- Adjunct Elimination Through Games (Extended Abstract)
- Wednesday, October 16, 2002, 4:57 pm 1 Abstract. We define an operational semantics and a type system for manipulat-
- Linear Forwarders Philippa Gardner Cosimo Laneve Lucian Wischik
- Local Hoare Reasoning about DOM Philippa A. Gardner
- HigherOrder and Reflexive Action Calculi: Their Type Theory and Models 1
- From Action Calculi to Linear Logic Andrew Barber 1 , Philippa Gardner 2 , Masahito Hasegawa 3 and
- A Spatial Logic for Querying Graphs Luca Cardelli, Philippa Gardner and Giorgio Ghelli 1
- University of London Imperial College of Science, Technology and Medicine
- Towards a Program Logic for JavaScript Philippa Gardner
- University of London Imperial College of Science, Technology and Medicine
- Imperial College London Department of Computing
