A Compositional Approach to Superimposition

@inproceedings{Boug1988ACA,
  title={A Compositional Approach to Superimposition},
  author={Luc Boug{\'e} and Nissim Francez},
  booktitle={POPL},
  year={1988}
}
A general definition of the notion of superimposition is presented. We show that previous constructions under the same name can be seen as special cases of our definition. We consider several properties of superimposition definable in our terms, notably the nonfreezing property. We also consider a syntactic representation of our construct in CSP 
Highly Cited
This paper has 84 citations. REVIEW CITATIONS

2 Figures & Tables

Statistics

0510'90'93'96'99'02'05'08'11'14'17
Citations per Year

85 Citations

Semantic Scholar estimates that this publication has 85 citations based on the available data.

See our FAQ for additional information.