Type Consistency Checking for Concurrent Independent Processes - researchr publication

researchr

You are not signed in
Sign in
Sign up

Aurel Cornell. Type Consistency Checking for Concurrent Independent Processes. In Maurice Nivat, Charles Rattray, Teodor Rus, Giuseppe Scollo, editors, Algebraic Methodology and Software Technology (AMAST 91), Proceedings of the Second International Conference on Methodology and Software Technology, Iowa City, USA, 22-25 May 1991. Workshops in Computing, pages 132-141, Springer, 1991.

Abstract is missing.

runs on WebDSL