A synchronous semantics of higher-order processes for modeling reconfigurable reactive systems (1998)

by Jean-Pierre Talpin, David Nowak
Venue:In Foundations of Software Technology and Theoretical Computer Science (FST & TCS ’98