On the Verification of Concurrent, Asynchronous Programs with Waiting Queues

December 9, 2017 in by

by Gilles Geeraerts, Alexander Heußner, Jean-François Raskin
Reference:
Gilles Geeraerts, Alexander Heußner, Jean-François Raskin. On the Verification of Concurrent, Asynchronous Programs with Waiting Queues. In ACM Transactions on Embedded Computing Systems 14(3):58. ACM Press, May 2015.
Bibtex Entry:
@string{may="May"}
@article{GHR-tecs14,
  author =        {Geeraerts, Gilles and Heu{ss}ner, Alexander and
                   Raskin, Jean-Fran{c{c}}ois},
  journal =       {ACM Transactions on Embedded Computing Systems},
  month =         may,
  number =        {3},
  pages =         {58},
  publisher =     {ACM~Press},
  title =         {On the Verification of Concurrent, Asynchronous
                   Programs with Waiting Queues},
  volume =        {14},
  year =          {2015},
  doi =           {10.1145/2700072},
  url =           {http://www.cassting-project.eu/wp-content/uploads/
                  GHR-acmtecs14.pdf},
  category =      {jour},
  wps =           {wp1},
  partners =      {ULB},
  casstingpart =  {25},
}