(2012): Volumes 7200–7249 - Index of files in - University of Utah
(2012): Volumes 7200–7249 - Index of files in - University of Utah
(2012): Volumes 7200–7249 - Index of files in - University of Utah
You also want an ePaper? Increase the reach of your titles
YUMPU automatically turns print PDFs into web optimized ePapers that Google loves.
REFERENCES 63<br />
Computer Science, 7211:108–127, <strong>2012</strong>. CODEN LNCSD9. ISSN 0302-<br />
9743 (pr<strong>in</strong>t), 1611-3349 (electronic). URL http://l<strong>in</strong>k.spr<strong>in</strong>ger.com/<br />
chapter/10.1007/978-3-642-28869-2_6/.<br />
Chang:<strong>2012</strong>:CNL<br />
[226] Stephen Chang and Matthias Felleisen. The call-by-need lambda calculus,<br />
revisited. Lecture Notes <strong>in</strong> Computer Science, 7211:128–147,<br />
<strong>2012</strong>. CODEN LNCSD9. ISSN 0302-9743 (pr<strong>in</strong>t), 1611-3349 (electronic).<br />
URL http://l<strong>in</strong>k.spr<strong>in</strong>ger.com/chapter/10.1007/978-3-<br />
642-28869-2_7/.<br />
Chen:<strong>2012</strong>:CST<br />
[227] Taolue Chen, Chris Chilton, and Bengt Jonsson. A compositional specification<br />
theory for component behaviours. Lecture Notes <strong>in</strong> Computer<br />
Science, 7211:148–168, <strong>2012</strong>. CODEN LNCSD9. ISSN 0302-9743 (pr<strong>in</strong>t),<br />
1611-3349 (electronic). URL http://l<strong>in</strong>k.spr<strong>in</strong>ger.com/chapter/10.<br />
1007/978-3-642-28869-2_8/.<br />
Cousot:<strong>2012</strong>:PAI<br />
[228] Patrick Cousot and Michael Monerau. Probabilistic abstract <strong>in</strong>terpretation.<br />
Lecture Notes <strong>in</strong> Computer Science, 7211:169–193, <strong>2012</strong>. CODEN<br />
LNCSD9. ISSN 0302-9743 (pr<strong>in</strong>t), 1611-3349 (electronic). URL http://<br />
l<strong>in</strong>k.spr<strong>in</strong>ger.com/chapter/10.1007/978-3-642-28869-2_9/.<br />
Denielou:<strong>2012</strong>:MST<br />
[229] Pierre-Malo Deniélou and Nobuko Yoshida. Multiparty session types meet<br />
communicat<strong>in</strong>g automata. Lecture Notes <strong>in</strong> Computer Science, 7211:<br />
194–213, <strong>2012</strong>. CODEN LNCSD9. ISSN 0302-9743 (pr<strong>in</strong>t), 1611-3349<br />
(electronic). URL http://l<strong>in</strong>k.spr<strong>in</strong>ger.com/chapter/10.1007/978-<br />
3-642-28869-2_10/.<br />
Dimoulas:<strong>2012</strong>:CMB<br />
[230] Christos Dimoulas and Sam Tob<strong>in</strong>-Hochstadt. Complete monitors for<br />
behavioral contracts. Lecture Notes <strong>in</strong> Computer Science, 7211:214–<br />
233, <strong>2012</strong>. CODEN LNCSD9. ISSN 0302-9743 (pr<strong>in</strong>t), 1611-3349<br />
(electronic). URL http://l<strong>in</strong>k.spr<strong>in</strong>ger.com/chapter/10.1007/978-<br />
3-642-28869-2_11/.<br />
Downen:<strong>2012</strong>:SAD<br />
[231] Paul Downen and Zena M. Ariola. A systematic approach to delimited<br />
control with multiple prompts. Lecture Notes <strong>in</strong> Computer Science, 7211:<br />
234–253, <strong>2012</strong>. CODEN LNCSD9. ISSN 0302-9743 (pr<strong>in</strong>t), 1611-3349<br />
(electronic). URL http://l<strong>in</strong>k.spr<strong>in</strong>ger.com/chapter/10.1007/978-<br />
3-642-28869-2_12/.