Deriving Parallel Programs using SANDS tools
1996
Files
Abstract
This paper describes the techniques and the tools developped to construct CO-OPN specifications.
Details
Title
Deriving Parallel Programs using SANDS tools
Author(s)
Buchs, Didier ; Racloz, Pascal ; Buffo, Mathieu ; Flumet, Jacques ; Urland, Erik
Published in
Transputer Communication Journal
Volume
3
Issue
1
Pages
23-32
Date
1996
Keywords
Laboratories
LGL
Record Appears in
Scientific production and competences > I&C - School of Computer and Communication Sciences > IC Archives > LGL - Software Engineering Laboratory
Peer-reviewed publications
Work produced at EPFL
Journal Articles
Published
Peer-reviewed publications
Work produced at EPFL
Journal Articles
Published
Record creation date
2005-09-20