Robin Milner An Action Structure for Synchronous pi-Calculus. 87-105 1993 conf/fct/1993 FCT db/conf/fct/fct93.html#Milner93