A Pi-Calculus Semantics of Java

Authors: Bart Jacobs and Frank Piessens.

• The Full Definition
• The Full Definition (old version)
• The Isabelle2002/HOL Theory Files