A Theory of Consistency for Modular Synchronous Systems

Institute for Software Research