TY  - JOUR
T1  - A Formal Composition and Interaction Model for a Web Component Platform
JO  - Electronic Notes in Theoretical Computer Science
VL  - 66
IS  - 4
SP  - 67
EP  - 81
PY  - 2002/9
T2  - Formal Methods and Component Interaction (ICALP 2002 Satellite Workshop)
AU  - Pahl, Claus
SN  - 1571-0661
M3  - doi: DOI: 10.1016/S1571-0661(04)80450-X
UR  - http://www.sciencedirect.com/science/article/B75H1-4DDWHXP-2C/2/ff7c7612998a3d8d270d6f5395eafbe9
ER  -