Report - A Logic for Modular Descriptions of Asynchronous and Synchronized Concurrent Systems

Please pass captcha verification before submit form