This page presents a technical description of SPL. A more general presentation is available on the SPL project page.
The queuing example used with our prototype.