Date: Wed, 20 Nov 1996 19:11:43 GMT Server: Apache/1.1.1 Content-type: text/html Compositional Systems Research Group at Caltech

Compositional Systems Research Group at Caltech

Bringing Theory to the Marketplace


Compositional Systems Research Group Goals

We are developing formal methods and tools to enable users to write correct parallel and distributed programs. We believe program compositionality is a powerful means to these ends.



Research Group Projects




Thanking our Sponsors


[ Home ] [ People ] [ Papers ] [ Releases ] [ Mailing Lists ] [ Related Work ] [ Past Projects ] [ Group Resources ]

This is the home page of the Compositional Systems Research Group of the Center for Research on Parallel Computation , located in the Caltech Computer Science Dept . It is maintained by Adam Rifkin and Joseph Kiniry. This page was last modified on Thursday, 14-Nov-96 15:06:18 PST