Towards a Design Calculus for CSP

Rudolf Berghammer, Burghard von Karger. Towards a Design Calculus for CSP. Science of Computer Programming, 26(1-3):99-115, 1996.

Authors

Rudolf Berghammer

This author has not been identified. Look up 'Rudolf Berghammer' in Google

Burghard von Karger

This author has not been identified. Look up 'Burghard von Karger' in Google