- -RBAC: Programming with Role-Based Access Control Radha Jagadeesan1, , Alan Jeffrey2, , Corin Pitcher1 , and James Riely1,
- A core data and behaviour language for E-LOTOS Alan Jeffrey
- Full Abstraction for Polymorphic Pi-Calculus Alan Jeffrey 1,2 and Julian Rathke3
- A theory of bisimulation for a fragment of concurrent ML with local names Alan Jeffrey
- !"#%$'&)(10325476 8@9BADCFEDGIHQPRGIS
- A Fully Abstract May Testing Semantics for Concurrent Objects Alan Jeffrey
- Authenticity by Typing for Security Protocols Andrew D. Gordon
- Full Abstraction for Polymorphic Pi-Calculus Alan Jeffrey 1 and Julian Rathke2
- !"#%$&"!')(10203(42"56(7)84(79@BACDEDD@F"G2"IHQPR SUTWV)X`Y)acb7deacf
- Confidential Safety via Correspondence Assertions Radha Jagadeesan
- A Calculus of Untyped Aspect-Oriented Programs Radha Jagadeesan, Alan Jeffrey, and James Riely
- A theory of bisimulation for a fragment of concurrent ML with local names
- A distributed object calculus Alan Jeffrey
- A Fully Abstract May Testing Semantics for Concurrent Alan Jeffrey
- Types and Effects for Asymmetric Cryptographic Protocols
- A chemical abstract machine for graph reduction Extended abstract
- Towards a proposal for datatypes in E-LOTOS Source: Belgium, France, Romania, United Kingdom
- E-LOTOS core language Alan Jeffrey
- A Language-Based Approach to Programmable Networks Ian Wakeman Alan Jeffrey
- Font installation software for TEX vf pfa pfbtex
- A categorical and graphical treatment of closure conversion Ralf Schweimeier, University of Sussex
- PATTERN-MATCHING SPI-CALCULUS Christian Haack
- Logical Methods in Computer Science Vol. 1 (1:4) 2005, 22 pages
- Efficient and Expressive Tree Filters Michael Benedikt1
- Logical Methods in Computer Science Volume 00, Number 0, Pages 000000
- Pattern-Matching Spi-Calculus Christian Haack
- Typed Parametric Polymorphism for Aspects Radha Jagadeesan a,1 Alan Jeffrey b,1 James Riely a,2
- Authenticity by Typing for Security Protocols Andrew D. Gordon
- Stream Firewalling of XML Constraints Michael Benedikt
- Dynamic Model Checking of C Cryptographic Protocol Implementations
- Java Jr.: Fully abstract trace semantics for a core Java language.
- Secrecy Despite Compromise: Types, Cryptography, and the Pi-Calculus
- Timed Spi-calculus with Types for Secrecy and Authenticity
- Typing One-to-One and One-to-Many Correspondences in Security Protocols
- A symbolic labelled transition system for coinductive subtyping of F Alan Jeffrey
- Robin Milner, 1934-2010 Concurrency: interaction, bisimulation, naming
- A fully abstract semantics for a higher-order functional language with nondeterministic computation
- J. Functional Programming 1 (1): 1000, January 1993 c 1993 Cambridge University Press 1
- A complete axiomatization of timed bisimulation for a class of timed regular behaviours
- Towards a theory of bisimulation for local names Alan Jeffrey
- A fully abstract semantics for a concurrent functional language with monadic types
- UNIVERSITY OF SUSSEX COMPUTER SCIENCE
- Semantics for a fragment of LOTOS with functional data and abstract datatypes
- UNIVERSITY OF SUSSEX COMPUTER SCIENCE
- UNIVERSITY OF SUSSEX COMPUTER SCIENCE
- Types and Effects for Asymmetric Cryptographic Protocols Andrew D. Gordon
- A fully abstract semantics for a nondeterministic functional language with
- Semantics for core Concurrent ML using computation types
- Integrity Constraints for Linked Data Alan Jeffrey and Peter F. PatelSchneider
- The Lax Braided Structure of Streaming I/O Alan Jeffrey1
- LTL types FRP Linear-time Temporal Logic Propositions as Types
- Dynamic Information Flow Analysis for Featherweight JavaScript
- A fully abstract semantics for concurrent graph reduction
- Model Checking Firewall Policy Configurations Alan Jeffrey
- As XDuce is to XML, so ? is to RDF Programming Languages for the Semantic Web
