A formal method for synthesising components of shared resource systems

King-Sing Cheung. A formal method for synthesising components of shared resource systems. Comput. Syst. Sci. Eng., 22(6), 2007.

Abstract

Abstract is missing.