10 citations · 30 across the 11 of their papers we have counts for
1 paper · 1 filter
David Mestel, A. W. Roscoe
Hoare's Communicating Sequential Processes (CSP) admits a rich universe of semantic models closely related to the van Glabbeek spectrum. In this paper we study finite observational…