Tool
Validity
Validity checker for a spatial logic, as described in the paper “Deciding Validity in a Spatial Logic for Trees” by Calcagno, Cardelli, and Gordon. Last published: July 16, 2002.
Publication
Region Analysis and a Ï”-Calculus with Groups
Publication
Finite-Control Mobile Ambients
Publication
Arbiter-Free Synchronization
Publication