Alan Jeffrey

Alan Jeffrey: Causality for free!: parametricity implies causality for functional reactive programs. PLPV 2013: 57-68

Alan Jeffrey: LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs. PLPV 2012: 49-60

Alan Jeffrey, Julian Rathke: The Lax Braided Structure of Streaming I/O. CSL 2011: 292-306

Alan Jeffrey, Peter F. Patel-Schneider: Integrity Constraints for Linked Data. Description Logics 2011

Andrew D. Gordon, Robert Harper, John Harrison, Alan Jeffrey, Peter Sewell: Robin Milner 1934--2010: verification, languages, and concurrency. POPL 2011: 473-474

Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely: Towards a Theory of Accountability and Audit. ESORICS 2009: 152-167

Alan Jeffrey, Taghrid Samak: Model Checking Firewall Policy Configurations. POLICY 2009: 60-67

Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely: Lambda-RBAC: Programming with Role-Based Access Control. Logical Methods in Computer Science 4(1) (2008)

Alan Jeffrey, Julian Rathke: Full abstraction for polymorphic pi-calculus. Theor. Comput. Sci. 390(2-3): 171-196 (2008)

Michael Benedikt, Alan Jeffrey, Ruy Ley-Wild: Stream firewalling of xml constraints. SIGMOD Conference 2008: 487-498

Michael Benedikt, Alan Jeffrey: Efficient and Expressive Tree Filters. FSTTCS 2007: 461-472

Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely: Lambda-RBAC: Programming with Role-Based Access Control. CoRR abs/0712.1205 (2007)

Christian Haack, Alan Jeffrey: Pattern-matching spi-calculus. Inf. Comput. 204(8): 1195-1263 (2006)

Radha Jagadeesan, Alan Jeffrey, James Riely: Typed parametric polymorphism for aspects. Sci. Comput. Program. 63(3): 267-296 (2006)

Radha Jagadeesan, Alan Jeffrey, Corin Pitcher, James Riely: lambda-RBAC: Programming with Role-Based Access Control. ICALP (2) 2006: 456-467

Alan Jeffrey, Julian Rathke: Contextual equivalence for higher-order pi-calculus revisited. Logical Methods in Computer Science 1(1) (2005)

Alan Jeffrey, Julian Rathke: A fully abstract may testing semantics for concurrent objects. Theor. Comput. Sci. 338(1-3): 17-63 (2005)

Andrew D. Gordon, Alan Jeffrey: Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus. CONCUR 2005: 186-201

Christian Haack, Alan Jeffrey: Timed Spi-Calculus with Types for Secrecy and Authenticity. CONCUR 2005: 202-216

Alan Jeffrey, Julian Rathke: Java Jr: Fully Abstract Trace Semantics for a Core Java Language. ESOP 2005: 423-438

Alan Jeffrey, Julian Rathke: Full Abstraction for Polymorphic Pi-Calculus. FoSSaCS 2005: 266-281

Alan Jeffrey, Julian Rathke: Contextual equivalence for higher-order pi-calculus revisited. CoRR abs/cs/0503067 (2005)

Andrew D. Gordon, Alan Jeffrey: Types and effects for asymmetric cryptographic protocols. Journal of Computer Security 12(3-4): 435-483 (2004)

Alan Jeffrey, Julian Rathke: A theory of bisimulation for a fragment of concurrent ML with local names. Theor. Comput. Sci. 323(1-3): 1-48 (2004)

Glenn Bruns, Radha Jagadeesan, Alan Jeffrey, James Riely: µABC: A Minimal Aspect Calculus. CONCUR 2004: 209-224

Christian Haack, Alan Jeffrey: Pattern-Matching Spi-Calculus. Formal Aspects in Security and Trust 2004: 55-70

Andrew D. Gordon, Alan Jeffrey: Authenticity by Typing for Security Protocols. Journal of Computer Security 11(4): 451-520 (2003)

Andrew D. Gordon, Alan Jeffrey: Typing correspondence assertions for communication protocols. Theor. Comput. Sci. 300(1-3): 379-409 (2003)

Radha Jagadeesan, Alan Jeffrey, James Riely: A Calculus of Untyped Aspect-Oriented Programs. ECOOP 2003: 54-73

Andrew D. Gordon, Alan Jeffrey: Types and Effects for Asymmetric Cryptographic Protocols. CSFW 2002: 77-91

Andrew D. Gordon, Alan Jeffrey: Typing One-to-One and One-to-Many Correspondences in Security Protocols. ISSS 2002: 263-282

Alan Jeffrey, Julian Rathke: A Fully Abstract May Testing Semantics for Concurrent Objects. LICS 2002: 101-112

Ian Wakeman, Alan Jeffrey, Tim Owen, Damyan Pepper: SafetyNet: A language-based approach to programmable networks. Computer Networks 36(1): 101-114 (2001)

Andrew D. Gordon, Alan Jeffrey: Typing Correspondence Assertions for Communication Protocols. Electr. Notes Theor. Comput. Sci. 45: 119-140 (2001)

Andrew D. Gordon, Alan Jeffrey: Authenticity by Typing for Security Protocols. CSFW 2001: 145-159

Alan Jeffrey: A Symbolic Labelled Transition System for Coinductive Subtyping of F_µ< Types. LICS 2001: 323-333

Andrew D. Gordon, Alan Jeffrey: A Type and Effect Analysis of Security Protocols. SAS 2001: 432-432

Alan Jeffrey: Preface. Electr. Notes Theor. Comput. Sci. 41(3): 89 (2000)

William Ferreira, Matthew Hennessy, Alan Jeffrey: Combining the typed lambda-calculus with CCS. Proof, Language, and Interaction 2000: 511-534

Alan Jeffrey, Julian Rathke: A Theory of Bisimulation for a Fragment of Concurrent ML with Local Names. LICS 2000: 311-321

Ralf Schweimeier, Alan Jeffrey: A Categorical and Graphical Treatment of Closure Conversion. Electr. Notes Theor. Comput. Sci. 20: 481-511 (1999)

Alan Jeffrey: A Fully Abstract Semantics for a Higher-Order Functional Language with Nondeterministic Computation. Theor. Comput. Sci. 228(1-2): 105-150 (1999)

Alan Jeffrey, Julian Rathke: Towards a Theory of Bisimulation for Local Names. LICS 1999: 56-66

William Ferreira, Matthew Hennessy, Alan Jeffrey: A Theory of Weak Bisimulation for Core CML. J. Funct. Program. 8(5): 447-491 (1998)

Alan Jeffrey: Premonoidal categories and flow graphs. Electr. Notes Theor. Comput. Sci. 10: 51 (1997)

William Ferreira, Matthew Hennessy, Alan Jeffrey: A Theory of Weak Bisimulation for Core CML. ICFP 1996: 201-212

Alan Jeffrey: Handbook of mathematical formulas and integrals. Academic Press 1995, isbn 978-0-12-382580-3, pp. I-XXIV, 1-410

Alan Jeffrey: A fully abstract semantics for a nondeterministic functional language with monadic types. Electr. Notes Theor. Comput. Sci. 1: 290-301 (1995)

Luca Aceto, Alan Jeffrey: A Complete Axiomatization of Timed Bisimulation for a Class of Timed Regular Behaviours. Theor. Comput. Sci. 152(2): 251-268 (1995)

Alan Jeffrey: A Fully Abstract Semantics for a Concurrent Functional Language with Monadic Types. LICS 1995: 255-264

Carolyn Brown, Alan Jeffrey: Allegories of Circuits. LFCS 1994: 56-68

Alan Jeffrey: A Fully Abstract Semantics for Concurrent Graph Reduction. LICS 1994: 82-91

Alan Jeffrey: A Chemical Abstract Machine for Graph Reduction. MFPS 1993: 293-303

Alan Jeffrey: Translating Timed Process Algebra into Prioritized Process Algebra. FTRTFT 1992: 493-506

Alan Jeffrey: A Linear Time Process Algebra. CAV 1991: 432-442

Alan Jeffrey: Abstract Timed Observation and Process Algebra. CONCUR 1991: 332-345