CAAL: Concurrency Workbench, Aalborg Edition

December 11, 2017 in by

by Jesper R. Andersen, Niklas Andersen, Søren Enevoldsen, Mathias M. Hansen, Kim G. Larsen, Simon R. Olesen, Jiří Srba, Jacob K. Wortmann
Reference:
Jesper R. Andersen, Niklas Andersen, Søren Enevoldsen, Mathias M. Hansen, Kim G. Larsen, Simon R. Olesen, Jiří Srba, Jacob K. Wortmann. CAAL: Concurrency Workbench, Aalborg Edition. In Proceedings of the 12th International Colloquium on Theoretical Aspects of Computing (ICTAC’15), pages 573-582. Volume 9399 of Lecture notes in Computer Science. Springer, 2015.
Bibtex Entry:
@inproceedings{AAEHLOSW-ictac15,
  author =        {Andersen, Jesper R. and Andersen, Niklas and
                   Enevoldsen, S{o}ren and Hansen, Mathias M. and
                   Larsen, Kim G. and Olesen, Simon R. and
                   Srba, Ji{v{r}}{'i} and Wortmann, Jacob K.},
  booktitle =     {Proceedings of the 12th International Colloquium on
                   Theoretical Aspects of Computing ({ICTAC}'15)},
  editor =        {Leucker, Martin and Rueda, Camilo and
                   Valencia, Frank D.},
  pages =         {573-582},
  publisher =     {Springer},
  series =        {Lecture notes in Computer Science},
  title =         {{CAAL}: Concurrency Workbench, {A}alborg Edition},
  volume =        {9399},
  year =          {2015},
  doi =           {10.1007/978-3-319-25150-9_33},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  AAEHLOSW-ictac15.pdf},
  category =      {conf},
  wps =           {wp1},
  partners =      {AAU},
  casstingpart =  {100},
}