A Calculus of Communicating Systems (book)

GPTKB entity