Skip to content

An Algebraic Transformation System for Occam Programs.

Michael Goldsmith, A. Cox, Geoff Barrett

VenueASTACS
Year1987
ProceedingsSTACS

Browse the full STACS paper archive.