A coalgebraic introduction to csp (1999)

by U Wolter
Venue:In Proc. of CMCS’99