The -calculus: notes on labelled semantics (1999)

by P Quaglia
Venue:Bulletin of the EATCS