Operational Semantics for Order-Sorted Algebra.

Joseph A. Goguen, Jean-Pierre Jouannaud, Jos Meseguer

Browse the full ICALP paper archive.