An Atomic Calculus of Communicating Systems - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Abdellatif Obaid, Luigi Logrippo. An Atomic Calculus of Communicating Systems. In Harry Rudin, Colin H. West, editors, Protocol Specification, Testing and Verification VII, Proceedings of the IFIP WG6.1 Seventh International Conference on Protocol Specification, Testing and Verification, Zurich, Switzerland, 5-8 May, 1987. pages 91-104, North-Holland, 1987.

This author has not been identified. Look up 'Abdellatif Obaid' in GoogleThis author has not been identified. Look up 'Luigi Logrippo' in Google

runs on WebDSL