Chu spaces and their interpretation as concurrent objects (1995)

by V R Pratt
Venue:In Computer Science Today: Recent Trends and Developments, volume 1000 of LNCS