Computable concurrent processes (1995)

by Yiannis N Moschovakis
Venue:Theoretical Computer Science