Evolving concurrent systems: behavioural theory and logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Klaus-Dieter Schewe, Flavio Ferrarotti, Loredana Tec, Qing Wang, Wenya An. Evolving concurrent systems: behavioural theory and logic. In Proceedings of the Australasian Computer Science Week Multiconference, ACSW 2017, Geelong, Australia, January 31 - February 3, 2017. ACM, 2017. [doi]

This author has not been identified. Look up 'Klaus-Dieter Schewe' in GoogleThis author has not been identified. Look up 'Flavio Ferrarotti' in GoogleThis author has not been identified. Look up 'Loredana Tec' in GoogleThis author has not been identified. Look up 'Qing Wang' in GoogleThis author has not been identified. Look up 'Wenya An' in Google

runs on WebDSL