1. Google Play.
https://play.google.com/store/apps
2. Grand Central Dispatch.
https://developer.apple.com/library/ios/documentation/Performance/Reference/GCD_libdispatch_Ref
3. Java AWT EventQueue.
http://docs.oracle.com/javase/7/docs/api/java/awt/EventQueue.html
4. TinyOS.
http://www.tinyos.net
5. Abdulla, P., Aronis, S., Jonsson, B., Sagonas, K.: Optimal dynamic partial order reduction. In: POPL, pp. 373–384. ACM (2014)