Closed action calculi (1999)

by Philippa Gardner
Venue:Theoretical Computer Science