Alan Jeffrey

Available identifiers

zbMath Open jeffrey.alan-s-aMaRDI QIDQ276477

List of research outcomes

Publication	Date of Publication	Type
On Thin Air Reads Towards an Event Structures Model of Relaxed Memory	2019-05-17	Paper
Functional reactive types	2018-04-23	Paper
On Thin Air Reads Towards an Event Structures Model of Relaxed Memory	2018-04-23	Paper
A theory of weak bisimulation for core CML	2016-09-01	Paper
An extensible approach to session polymorphism	2016-07-28	Paper
Contextual equivalence for higher-order \(\pi\)-calculus revisited	2016-05-03	Paper
Functional reactive programming with liveness guarantees	2015-03-30	Paper
Typing Correspondence Assertions for Communication Protocols	2013-04-26	Paper
The Lax Braided Structure of Streaming I/O	2012-09-18	Paper
Lambda-RBAC: Programming with Role-Based Access Control	2008-08-07	Paper
Efficient and Expressive Tree Filters	2008-04-24	Paper
Full abstraction for polymorphic \(\pi \)-calculus	2008-03-05	Paper
Contextual equivalence for higher-order pi-calculus revisited	2007-10-11	Paper
λ-RBAC: Programming with Role-Based Access Control	2007-09-11	Paper
Typed parametric polymorphism for aspects	2006-12-14	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper
CONCUR 2005 – Concurrency Theory	2006-11-01	Paper
Pattern-matching spi-calculus	2006-08-17	Paper
Foundations of Software Science and Computational Structures	2005-11-10	Paper
Programming Languages and Systems	2005-09-13	Paper
CONCUR 2004 - Concurrency Theory	2005-08-23	Paper
A fully abstract may testing semantics for concurrent objects	2005-06-30	Paper
A theory of bisimulation for a fragment of concurrent ML with local names	2004-10-01	Paper
https://portal.mardi4nfdi.de/entity/Q4418581	2003-08-11	Paper
Typing correspondence assertions for communication protocols	2003-07-30	Paper
https://portal.mardi4nfdi.de/entity/Q4778711	2002-11-19	Paper
https://portal.mardi4nfdi.de/entity/Q2704322	2001-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4501137	2000-09-03	Paper
A fully abstract semantics for a higher-order functional language with nondeterministic computation	2000-08-23	Paper
A theory of weak bisimulation for Core CML	1999-03-28	Paper
https://portal.mardi4nfdi.de/entity/Q4222929	1999-01-06	Paper
https://portal.mardi4nfdi.de/entity/Q4222765	1998-12-10	Paper
A complete axiomatization of timed bisimulation for a class of timed regular behaviours	1997-02-27	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Alan Jeffrey