Kevin Watkins

Publication Activity (10 Years)

Years Active: 1996-2008
Publications (10 Years): 0

Publications

Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker
Specifying Properties of Concurrent Computations in CLF. Electron. Notes Theor. Comput. Sci. 199 (2008)
Pablo López, Frank Pfenning, Jeff Polakow, Kevin Watkins
Monadic concurrent linear logic programming. PPDP (2005)
Kevin Watkins, Iliano Cervesato, Frank Pfenning, David Walker
A Concurrent Logical Framework: The Propositional Fragment. TYPES (2003)
David Walker, Kevin Watkins
On Regions and Linear Types. ICFP (2001)
Ran Libeskind-Hadas, Kevin Watkins, Thomas Hehre
Fault-Tolerant Multicast Routing in the Mesh with No Virtual Channels. HPCA (1996)