A Formal Model of a Generalized CSP-like Language

Preben Folkjär, Dines Bjørner. A Formal Model of a Generalized CSP-like Language. In IFIP Congress. pages 95-99, 1980.

Abstract

Abstract is missing.