Linear process logic (1988)

by S Abramsky
Venue:Physics, Les Houches