Defining concurrent processes constructively (1994)

by Y Takayama
Venue:Theoretical Computer Science