Infoscience

Journal article

Deriving Parallel Programs using SANDS tools

This paper describes the techniques and the tools developped to construct CO-OPN specifications.

    Keywords: Conform

    Reference

    • LGL-ARTICLE-1996-001

    Record created on 2005-09-20, modified on 2016-08-08

Related material