Ernst-Rüdiger Olderog. Specification-Oriented Programming in TCSP. In Krzysztof R. Apt, editor, Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984. Volume 13 of NATO ASI Series, pages 397-435, Springer, 1984. [doi]
No references recorded for this publication.
No citations of this publication recorded.