Interaction categories and the foundations of typed concurrent programming - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Samson Abramsky, Simon J. Gay, Rajagopal Nagarajan. Interaction categories and the foundations of typed concurrent programming. In Manfred Broy, editor, Proceedings of the NATO Advanced Study Institute on Deductive Program Design, Marktoberdorf, Germany. pages 35-113, 1996.

This author has not been identified. Look up 'Samson Abramsky' in GoogleThis author has not been identified. Look up 'Simon J. Gay' in GoogleThis author has not been identified. Look up 'Rajagopal Nagarajan' in Google

runs on WebDSL