A process specification formalism based on static COLD.

DSpace/Manakin Repository

Bergstra, J.A.; Baeten, J.C.M.; Mauw, S.; Veltink, G.

(1991) Lecture Notes in Computer Science, volume 490, pp. 303 - 335

(Article in proceedings)

Download/Full Text

ISSN: 0302-9743

Publisher: Springer Verlag

See more statistics about this item