@article{Pahl200267,
title = "A Formal Composition and Interaction Model for a Web Component Platform",
journal = "Electronic Notes in Theoretical Computer Science",
volume = "66",
number = "4",
pages = "67 - 81",
year = "2002",
note = "Formal Methods and Component Interaction (ICALP 2002 Satellite Workshop)",
issn = "1571-0661",
doi = "DOI: 10.1016/S1571-0661(04)80450-X",
url = "http://www.sciencedirect.com/science/article/B75H1-4DDWHXP-2C/2/ff7c7612998a3d8d270d6f5395eafbe9",
author = "Claus Pahl"
}