Concurrency and Conflict in CSP - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Marta Z. Kwiatkowska, Iain Phillips. Concurrency and Conflict in CSP. In Geoffrey L. Burn, Simon J. Gay, Mark Ryan, editors, Theory and Formal Methods 1993, Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31 March 1993. Workshops in Computing, pages 209-225, Springer, 1993.

This author has not been identified. Look up 'Marta Z. Kwiatkowska' in GoogleThis author has not been identified. Look up 'Iain Phillips' in Google

runs on WebDSL