Takayasu Ito Logic of Execution: An Outline. 79-90 1989 conf/concur/1989 Concurrency: Theory, Language, And Architecture db/conf/concur/concur1989.html#Ito89 http://dx.doi.org/10.1007/3-540-53932-8_45