The Φ-Calculus: A language for distributed control of reconfigurable embedded systems. In: (2003)

by W C Rounds, H Song
Venue:HSCC 2003, LNCS 2623,