Mark-Oliver Stehr, Carolyn L. Talcott, John M. Rushby, Patrick Lincoln, Minyoung Kim, Steven Cheung, Andy Poggio. Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision. In Gul Agha, Olivier Danvy, José Meseguer, editors, Formal Modeling: Actors, Open Systems, Biological Systems - Essays Dedicated to Carolyn Talcott on the Occasion of Her 70th Birthday. Volume 7000 of Lecture Notes in Computer Science, pages 110-143, Springer, 2011. [doi]
Abstract is missing.