Richard M. Thomas

• "When serpents bargain"
• Semantics for Concurrency