Three Equivalent Semantics for CCS - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Gérard Boudol, Ilaria Castellani. Three Equivalent Semantics for CCS. In Irène Guessarian, editor, Semantics of Systems of Concurrent Processes, LITP Spring School on Theoretical Computer Science, La Roche Posay, France, April 23-27, 1990, Proceedings. Volume 469 of Lecture Notes in Computer Science, pages 96-141, Springer, 1990.

This author has not been identified. Look up 'Gérard Boudol' in GoogleThis author has not been identified. Look up 'Ilaria Castellani' in Google

runs on WebDSL