References

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