Jean-Pierre Talpin David Nowak A Synchronous Semantics of Higher-Order Processes for Modeling Reconfigurable Reactive Systems. 78-89 1998 conf/fsttcs/1998 FSTTCS db/conf/fsttcs/fsttcs98.html#TalpinN98 http://dx.doi.org/10.1007/b71635