Report - Elementary Transition Systems and Refinementpure.au.dk/portal/files/22732161/PB-346.pdf0 Introduction Elementary transition systems were introduced in [NRT] as a model of dis-tributed

Please pass captcha verification before submit form