Carl Kesselman

The Derivation of Compositional Programs

TitleThe Derivation of Compositional Programs
Publication TypeTechnical Report
Year of Publication1992
AuthorsM. K. Chandy, and C. Kesselman
InstitutionCalifornia Institute of Technology
Groups: