Operational Semantics for Order-Sorted Algebra - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Joseph A. Goguen, Jean-Pierre Jouannaud, José Meseguer. Operational Semantics for Order-Sorted Algebra. In Wilfried Brauer, editor, Automata, Languages and Programming, 12th Colloquium, Nafplion, Greece, July 15-19, 1985, Proceedings. Volume 194 of Lecture Notes in Computer Science, pages 221-231, Springer, 1985.

This author has not been identified. Look up 'Joseph A. Goguen' in GoogleThis author has not been identified. Look up 'Jean-Pierre Jouannaud' in GoogleThis author has not been identified. It may be one of the following persons:

José Meseguer

Look up 'José Meseguer' in Google

runs on WebDSL