process logic. Notes by Steven Vickers (1988)

by S Linear Abramsky