Skip to content

Semantic Specifications for the Rewrite Rule Machine.

Joseph A. Goguen

VenueBCONCUR
Year1989
ProceedingsConcurrency: Theory, Language, And Architecture

Browse the full CONCUR paper archive.