@incollection(Schlatte11,
 author       = "Elvira Albert and Samir Genaim and Miguel G\'{o}mez-Zamalloa and Einar Broch Johnsen and Rudolf Schlatte and S. Lizeth {Tapia Tarifa}",
 year         = "2011",
 title        = "Simulating Concurrent Behaviors with Worst-Case Cost Bounds",
 editor       = "Michael Butler and Wolfram Schulte",
 booktitle    = "FM 2011: Formal Methods",
 series       = "Lecture Notes in Computer Science",
 volume       = "6664",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "353--368",
 doi          = "10.1007/978-3-642-21437-0\_27",
)
@article(Azar99,
 author       = "Yossi Azar and Andrei Z. Broder and Anna R. Karlin and Eli Upfal",
 year         = "1999",
 title        = "Balanced Allocations",
 journal      = "SIAM J. Comput.",
 volume       = "29",
 number       = "1",
 pages        = "180--200",
 doi          = "10.1137/S0097539795288490",
)
@article(Berenbrink07,
 author       = "Petra Berenbrink and Tom Friedetzky and Leslie Ann Goldberg and Paul Goldberg and Zengjian Hu and Russell Martin",
 year         = "2007",
 title        = "Distributed Selfish Load Balancing",
 journal      = "SIAM Journal on Computing",
 volume       = "37(4)",
 pages        = "1163--1181",
 doi          = "10.1137/060660345",
)
@inproceedings(Catalyurek07,
 author       = "Umit V. Catalyurek and Erik G. Boman and Karen D. Devine and Doruk Bozdag and Robert Heaphy and Lee Ann Riesen",
 year         = "2007",
 title        = "Hypergraph-based Dynamic Load Balancing for Adaptive Scientific Computations",
 booktitle    = "Parallel and Distributed Processing Symposium, 2007. IPDPS 2007. IEEE International",
 pages        = "1--11",
 doi          = "10.1109/IPDPS.2007.370258",
)
@article(Clavel02,
 author       = "Manuel Clavel and Francisco Dur\'{a}n and Steven Eker and Patrick Lincoln and Narciso Mart\'{i}-Oliet and Jos\'{e} Meseguer and J. F. Quesada",
 year         = "2002",
 title        = "Maude: specification and programming in rewriting logic",
 journal      = "Theoretical Computer Science",
 volume       = "285",
 number       = "2",
 pages        = "187--243",
 doi          = "10.1016/S0304-3975(01)00359-0",
)
@inproceedings(Cosenza11,
 author       = "Biagio Cosenza and Gennaro Cordasco and Rosario De Chiara and Vittorio Scarano",
 year         = "2011",
 title        = "Distributed Load Balancing for Parallel Agent-Based Simulations",
 booktitle    = "Parallel, Distributed and Network-Based Processing (PDP), 2011 19th Euromicro International Conference on",
 pages        = "62--69",
 doi          = "10.1109/PDP.2011.22",
)
@unpublished(DamP13,
 author       = "Mads Dam and Karl Palmskog",
 year         = "2013",
 title        = "Efficient and Fully Abstract Routing of Futures in Object Network Overlays",
 url          = "http://www.csc.kth.se/~palmskog/publications/efarfono.pdf",
 note         = "Manuscript, submitted for publication",
)
@unpublished(Dam13,
 author       = "Mads Dam and Karl Palmskog",
 year         = "2013",
 title        = "Location Independent Routing in Process Network Overlays",
 url          = "http://www.csc.kth.se/~palmskog/publications/lirpno.pdf",
 note         = "Manuscript, submitted for publication",
)
@inproceedings(Mansour05,
 author       = "Eyal Even-Dar and Yishay Mansour",
 year         = "2005",
 title        = "Fast convergence of selfish rerouting",
 booktitle    = "Proceedings of the sixteenth annual ACM-SIAM symposium on Discrete algorithms",
 series       = "SODA '05",
 publisher    = "Society for Industrial and Applied Mathematics",
 address      = "Philadelphia, PA, USA",
 pages        = "772--781",
)
@article(Fischer09,
 author       = "Simon Fischer and Berthold V\"{o}cking",
 year         = "2009",
 title        = "Adaptive routing with stale information",
 journal      = "Theoretical Computer Science",
 volume       = "410",
 number       = "36",
 pages        = "3357--3371",
 doi          = "10.1016/j.tcs.2008.01.055",
)
@misc(FullABS,
 author       = "{FP7-231620 (HATS) Project}",
 year         = "2011",
 title        = "Deliverable 1.2: Full {ABS} Modeling Framework",
 url          = "http://www.hats-project.eu/sites/default/files/Deliverable12.pdf",
)
@incollection(johnsen10fmco,
 author       = "Einar Broch Johnsen and Reiner H\"ahnle and Jan Sch\"afer and Rudolf Schlatte and Martin Steffen",
 year         = "2012",
 title        = "{ABS}: A Core Language for Abstract Behavioral Specification",
 editor       = "Bernhard K. Aichernig and Frank S. de Boer and Marcello M. Bonsangue",
 booktitle    = "Formal Methods for Components and Objects",
 series       = "Lecture Notes in Computer Science",
 volume       = "6957",
 publisher    = "Springer Berlin Heidelberg",
 pages        = "142--164",
 doi          = "10.1007/978-3-642-25271-6\_8",
)
@misc(kryonet,
 author       = "{KryoNet authors}",
 title        = "{KryoNet} project",
 url          = "http://code.google.com/p/kryonet/",
)
@techreport(Palmskog13,
 author       = "Karl Palmskog",
 year         = "2013",
 title        = "The Formal Semantics of {C}ore {ABS} and {ABS-NET}",
 type         = "Technical Report",
 institution  = "KTH Royal Institute of Technology",
 url          = "http://urn.kb.se/resolve?urn=urn:nbn:se:kth:diva-127894",
)
@misc(abs-net,
 author       = "Karl Palmskog and Mads Dam and Andreas Lundblad and Ali Jafari",
 title        = "{ABS-NET} programs",
 url          = "http://www.csc.kth.se/~palmskog/abs-net/",
)
@article(Sewell10,
 author       = "Peter Sewell and Pawe\l T. Wojciechowski and Asis Unyapoth",
 year         = "2010",
 title        = "Nomadic {P}ict: Programming languages, communication infrastructure overlays, and semantics for mobile computation",
 journal      = "ACM Trans. Program. Lang. Syst.",
 volume       = "32",
 number       = "4",
 pages        = "12:1--12:63",
 doi          = "10.1145/1734206.1734209",
)
@inproceedings(Stoica01,
 author       = "Ion Stoica and Robert Morris and David Karger and M. Frans Kaashoek and Hari Balakrishnan",
 year         = "2001",
 title        = "Chord: A scalable peer-to-peer lookup service for internet applications",
 booktitle    = "Proceedings of the 2001 conference on Applications, technologies, architectures, and protocols for computer communications",
 series       = "SIGCOMM '01",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "149--160",
 doi          = "10.1145/383059.383071",
)
@inproceedings(Fredlund10,
 author       = "Hans Svensson and Lars-{\r A}ke Fredlund and Clara Benac Earle",
 year         = "2010",
 title        = "A unified semantics for future {E}rlang",
 booktitle    = "Proceedings of the 9th ACM SIGPLAN workshop on Erlang",
 series       = "Erlang '10",
 publisher    = "ACM",
 address      = "New York, NY, USA",
 pages        = "23--32",
 doi          = "10.1145/1863509.1863514",
)