Loading...
research article
Deriving Parallel Programs using SANDS tools
This paper describes the techniques and the tools developped to construct CO-OPN specifications.
Loading...
Name
buchs-sands.ps
Access type
openaccess
Size
110.48 KB
Format
Postscript
Checksum (MD5)
2eae6e92a673e275162118e9494569be