An algebraic transformation system for occam programs

• Authors:

• M. Goldsmith;A. Cox;G. Barrett

• Affiliations:

• -;-;-

• Venue:
• 4th Annual Symposium on Theoretical Aspects of Computer Sciences on STACS 87
• Year:
• 1987