Fractionated Software for Networked Cyber-Physical Systems: Research Directions and Long-Term Vision

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]

Authors

Mark-Oliver Stehr

This author has not been identified. Look up 'Mark-Oliver Stehr' in Google

Carolyn L. Talcott

This author has not been identified. Look up 'Carolyn L. Talcott' in Google

John M. Rushby

This author has not been identified. Look up 'John M. Rushby' in Google

Patrick Lincoln

This author has not been identified. Look up 'Patrick Lincoln' in Google

Minyoung Kim

This author has not been identified. It may be one of the following persons: Look up 'Minyoung Kim' in Google

Steven Cheung

This author has not been identified. Look up 'Steven Cheung' in Google

Andy Poggio

This author has not been identified. Look up 'Andy Poggio' in Google