Publication
A Chart Semantics for the Pi-calculus
Publication
One-Time Programs
Publication
Interactive PCP 2008
Publication
One Useful Logic That Defines Its Own Truth
Publication