A Fully Abstract Denotational Model for Higher-Order Processes (Extended Abstract) - researchr publication

researchr

You are not signed in
Sign in
Sign up

Matthew Hennessy. A Fully Abstract Denotational Model for Higher-Order Processes (Extended Abstract). In Proceedings, Eighth Annual IEEE Symposium on Logic in Computer Science, 19-23 June 1993, Montreal, Canada. pages 397-408, IEEE Computer Society, 1993.

Abstract is missing.

runs on WebDSL