Specification transformers: a predicate transformer approach to composition

The Digital Librarian's Digital Library

DOCIS Documents in Computing and Information Science

Home >> Journals and Conference Proceedings >> Acta Informatica

Specification transformers: a predicate transformer approach to composition

Michel Charpentier, K. Mani Chandy

Journal Title: Acta Informatica

Date: 2004

Volume: 40

Issue: 4

p. 265 - 301

We have been looking for this document on the Web. We think we have found the following, freely available version(s) of it:

http://www.cs.unh.edu/~charpov/Publis/Pdf/cc04.pdf

http://www.cs.unh.edu/~charpov/Publis/Postscripts/cc04.ps.gz

For further information about this item go to:

http://dx.doi.org/10.1007/s00236-003-0130-y

This data comes from DBLP

This page is maintained by Angela Cornwell and Thomas Krichel.
It was last updated on 2006-04-12