DMCA
Interface Theories for Component-based Design (2001)
Cached
Download Links
- [www-cad.eecs.berkeley.edu]
- [www-cad.eecs.berkeley.edu]
- [www.eecs.berkeley.edu]
- DBLP
Other Repositories/Bibliography
by
Luca De Alfaro
,
Thomas A. Henzinger
| Citations: | 154 - 20 self |
BibTeX
@INPROCEEDINGS{Alfaro01interfacetheories,
author = {Luca De Alfaro and Thomas A. Henzinger},
title = {Interface Theories for Component-based Design},
booktitle = {},
year = {2001},
pages = {148--165},
publisher = {Springer-Verlag}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
We classify component-based models of computation into component models and interface models. A component model specifies for each component how the component behaves in an arbitrary environment; an interface model specifies for each component what the component expects from the environment.
