B. Claudel, Q. Sabah, und J. Stefani. Formal Techniques for Distributed Objects, Components, and Systems, Volume 9039 von Lecture Notes in Computer Science, Springer, (2015)
T. Usui, R. Behrends, J. Evans, und Y. Smaragdakis. Parallel Architectures and Compilation Techniques, 2009. PACT '09. 18th International Conference on, Seite 3--14. (September 2009)