| 2008 |
|---|
| 5 | EE | Kevin Watkins,
Iliano Cervesato,
Frank Pfenning,
David Walker:
Specifying Properties of Concurrent Computations in CLF.
Electr. Notes Theor. Comput. Sci. 199: 67-87 (2008) |
| 2005 |
|---|
| 4 | EE | Pablo López,
Frank Pfenning,
Jeff Polakow,
Kevin Watkins:
Monadic concurrent linear logic programming.
PPDP 2005: 35-46 |
| 2003 |
|---|
| 3 | EE | Kevin Watkins,
Iliano Cervesato,
Frank Pfenning,
David Walker:
A Concurrent Logical Framework: The Propositional Fragment.
TYPES 2003: 355-377 |
| 2001 |
|---|
| 2 | | David Walker,
Kevin Watkins:
On Regions and Linear Types.
ICFP 2001: 181-192 |
| 1996 |
|---|
| 1 | EE | Ran Libeskind-Hadas,
Kevin Watkins,
Thomas Hehre:
Fault-Tolerant Multicast Routing in the Mesh with No Virtual Channels.
HPCA 1996: 180-190 |
