An Internal Language for Interaction Categories - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Roy L. Crole, Simon J. Gay, Rajagopal Nagarajan. An Internal Language for Interaction Categories. In Chris Hankin, Ian Mackie, Rajagopal Nagarajan, editors, Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Møller Centre, Cambridge, 11-14 September 1994. pages 85-104, Imperial College Press, 1994.

This author has not been identified. Look up 'Roy L. Crole' 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