CAAL: Concurrency Workbench, Aalborg Edition.

Jesper Rank Andersen, Nicklas Andersen, Sren Enevoldsen, Mathias M. Hansen, Kim G. Larsen, Simon R. Olesen, Jir Srba, Jacob K. Wortmann

Browse the full ICTAC paper archive.