David Walker

18 papers A* 1A 1B 8Journal 4Unranked 3
YearRankTypeTitle / Venue / Authors
2005 J jnl
Types and full abstraction for polyadic
Inf. Comput.
Paola Quaglia, David Walker
2001 J jnl
A Process-Calculus Analysis of Concurrent Operations on B-Trees.
J. Comput. Syst. Sci.
Anna Philippou, David Walker
2001 B conf
On Barbed Equivalences in pi-Calculus.
CONCUR
Davide Sangiorgi, David Walker
2001 — book
The Pi-Calculus - a theory of mobile processes.
Davide Sangiorgi, David Walker
2000 — conf
Concurrent objects as mobile processes.
Proof, Language, and Interaction
Xinxin Liu, David Walker
2000 B conf
On Synchronous and Asynchronous Mobile Processes.
FoSSaCS
Paola Quaglia, David Walker
1998 — conf
On Encoding p-pi in m-pi.
FSTTCS
Paola Quaglia, David Walker
1998 J jnl
On Transformations of Concurrent-Object Programs.
Theor. Comput. Sci.
Anna Philippou, David Walker
1998 J jnl
Partial Confluence of Proceses and Systems of Objects.
Theor. Comput. Sci.
Xinxin Liu, David Walker
1997 B conf
A Rigorous Analysis of Concurrent Operations on B-Trees.
CONCUR
Anna Philippou, David Walker
1997 A* conf
On Confluence in the pi-Calculus.
ICALP
Anna Philippou, David Walker
1996 B conf
On Transformations of Concurrent Object Programs.
CONCUR
Anna Philippou, David Walker
1996 B conf
Social Confluence in Client-Server Systems.
CSL
Anna Philippou, David Walker
1995 B conf
A Polymorphic Type System for the Polyadic pi-calculus.
CONCUR
Xinxin Liu, David Walker
1995 — conf
Confluence of Processes and Systems of Objects.
TAPSOFT
Xinxin Liu, David Walker
1995 B conf
On Sharing and Determinacy in Concurrent Systems.
CONCUR
Anna Philippou, David Walker
1994 A conf
Algebraic Proofs of Properties of Objects.
ESOP
David Walker
1994 B conf
On Bisimulation in the pi-calculus.
CONCUR
David Walker