(2012): Volumes 7200–7249 - Index of files in - University of Utah

REFERENCES 71
Peters:2012:IGE
[275] Kirstin Peters. Is it a “good” encoding of mixed choice? Lecture Notes in
Computer Science, 7213:210–224, 2012. CODEN LNCSD9. ISSN 0302-
9743 (print), 1611-3349 (electronic). URL http://link.springer.com/
chapter/10.1007/978-3-642-28729-9_14/.
Crafa:2012:ESS
[276] Silvia Crafa and Daniele Varacca. Event structure semantics of parallel
extrusion in the pi-calculus. Lecture Notes in Computer Science, 7213:
225–239, 2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349
(electronic). URL http://link.springer.com/chapter/10.1007/978-
3-642-28729-9_15/.
Gorin:2012:NES
[277] Daniel Gorín and Lutz Schröder. Narcissists are easy, stepmothers are
hard. Lecture Notes in Computer Science, 7213:240–254, 2012. CODEN
LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic). URL http://
link.springer.com/chapter/10.1007/978-3-642-28729-9_16/.
Kurz:2012:NRL
[278] Alexander Kurz and Tomoyuki Suzuki. On nominal regular languages with
binders. Lecture Notes in Computer Science, 7213:255–269, 2012. CODEN
LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic). URL http://
link.springer.com/chapter/10.1007/978-3-642-28729-9_17/.
Chatterjee:2012:RSE
[279] Krishnendu Chatterjee. Robustness of structurally equivalent concurrent
parity games. Lecture Notes in Computer Science, 7213:270–285,
2012. CODEN LNCSD9. ISSN 0302-9743 (print), 1611-3349 (electronic).
URL http://link.springer.com/chapter/10.1007/978-3-
642-28729-9_18/.
Brihaye:2012:SPE
[280] Thomas Brihaye and Véronique Bruyère. Subgame perfection for equilibria
in quantitative reachability games. Lecture Notes in Computer Science,
7213:286–300, 2012. CODEN LNCSD9. ISSN 0302-9743 (print),
1611-3349 (electronic). URL http://link.springer.com/chapter/10.
1007/978-3-642-28729-9_19/.
Bouyer:2012:CGO
[281] Patricia Bouyer and Romain Brenguier. Concurrent games with ordered
objectives. Lecture Notes in Computer Science, 7213:301–315,