Interface Theories for Component-Based Design

  title={Interface Theories for Component-Based Design},
  author={Luca de Alfaro and Thomas A. Henzinger},
We classify component based models of computation into compo nent models and interface models A component model speci es for each com ponent how the component behaves in an arbitrary environment an interface model speci es for each component what the component expects from the en vironment Component models support compositional abstraction and there fore component based veri cation Interface models support compositional re nement and therefore component based design Many aspects of interface… CONTINUE READING
Highly Influential
This paper has highly influenced 35 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS
Highly Cited
This paper has 436 citations. REVIEW CITATIONS



Citations per Year

437 Citations

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

See our FAQ for additional information.