Searching for authors named "Alan Jeffrey" – sorted by Relevance.
47 documents found, showing 1 through 10.
Next 10 →
-
A Fully Abstract Semantics for a Higher-Order Functional Language With Nondeterministic Computation
- … ALAN JEFFREY ABSTRACT. This paper is about the relationship between the theory of monadic types…
- Cited by 9 (3 self) – Add To MetaCart
-
Semantics for a fragment of LOTOS with functional data and datatypes
- …Semantics for a fragment of LOTOS with functional data and abstract datatypes Alan Jeffrey…
- Cited by 4 (2 self) – Add To MetaCart
-
A Fully Abstract Semantics for a Nondeterministic Functional Language With Monadic Types
- … functional language with monadic types Alan Jeffrey 1 School of Cognitive and Computing Sciences University…
- Cited by 5 (2 self) – Add To MetaCart
-
A symbolic labelled transition system for coinductive subtyping of F_μ≤ types (Extended Abstract)
- …A symbolic labelled transition system for coinductive subtyping of F types Alan Jeffrey De…
- Cited by 2 (0 self) – Add To MetaCart
-
A fully abstract semantics for concurrent graph reduction (Extended Abstract)
- …A fully abstract semantics for concurrent graph reduction: extended abstract Alan Jeffrey Abstract…
- Cited by 12 (1 self) – Add To MetaCart
-
A fully abstract may testing semantics for concurrent objects
- …A Fully Abstract May Testing Semantics for Concurrent Objects Alan Jeffrey CTI, DePaul University…
- Cited by 32 (3 self) – Add To MetaCart
-
Semantics for core Concurrent ML using computation types
- …Semantics for core Concurrent ML using computation types Alan Jeffrey Abstract This paper…
- Cited by 4 (0 self) – Add To MetaCart
-
A Fully Abstract Semantics for a Concurrent Functional Language With Monadic Types
- …A fully abstract semantics for a concurrent functional language with monadic types Alan Jeffrey…
- Cited by 17 (4 self) – Add To MetaCart
-
A Chemical Abstract Machine for Graph Reduction
- …UNIVERSITY OF SUSSEX COMPUTER SCIENCE A chemical abstract machine for graph reduction Alan Jeffrey…
- Cited by 5 (1 self) – Add To MetaCart
-
A Typed, Prioritized Process Algebra
- …UNIVERSITY OF SUSSEX COMPUTER SCIENCE A typed, prioritized process algebra Alan Jeffrey Report 13…
- Cited by 2 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
