Interaction Categories I: Synchronous processes (1995)

by S Abramsky