Alan Jeffrey

Available identifiers

zbMath Open jeffrey.alan-s-aMaRDI QIDQ276477

List of research outcomes

Publication	Date of Publication	Type
A linear time process algebra	2024-04-29	Paper
On thin air reads towards an event structures model of relaxed memory	2019-05-17	Paper
On thin air reads towards an event structures model of relaxed memory	2018-04-23	Paper
Functional reactive types	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
Semantics for core Concurrent ML using computation types	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

This page was built for person: Alan Jeffrey