K. Watkins

A concurrent logical framework I: Judgments and properties

D. Walker, F. Pfenning, K. Watkins, 2003 .

On Regions and Linear Types

David Walker, Kevin Watkins, K. Watkins, 2001, ACM SIGPLAN International Conference on Functional Programming.

A concurrent logical framework I & II

Frank Pfenning, Iliano Cervesato, Kevin Watkins, 2003 .

On regions and linear types (extended abstract)

David Walker, Kevin Watkins, D. Walker, 2001, ICFP '01.

A Concurrent Logical Framework II: Examples and Applications

David Walker, Frank Pfenning, Iliano Cervesato, 2003 .

A Concurrent Logical Framework: The Propositional Fragment

David Walker, Frank Pfenning, Iliano Cervesato, 2003, TYPES.

Distributed System Security via Logical Frameworks

Jonathan M. McCune, M. Reiter, Lujo Bauer, 2004 .

Monadic concurrent linear logic programming

Frank Pfenning, Jeff Polakow, Pablo López, 2005, PPDP.