Thomas Arts, Juan J. Sánchez,
Global Scheduler Properties derived from Local Restrictions. ACM
Sigplan Erlang Workshop at the Principles, Logics, and Implementations
of high-level programming languages (ACM Sigplan Erlang Workshop at
PLI2002). ACM Sigplan Proceedings of the Erlang Workshop 2002.
Pittsburgh, USA. October, 2002. Ed. ACM.