Skip to main content

An algebraic transformation system for occam programs

Michael Goldsmith‚ Anthony Cox and Geoff Barrett

Book Title
STACS 87
Organisation
Springer Berlin/Heidelberg
Pages
481–481
Year
1987