@inproceedings{6598350,
    Author = {Geeraerts, G. and Heussner, A. and Raskin, J.-F.},
    BookTitle = {Application of Concurrency to System Design (ACSD), 2013 13th International Conference on},
    File = {Queue-Dispatch Asynchronous Systems - Geeraerts, Heussner, Raskin (0) (0) - a - a - u.pdf},
    Keywords = {computational complexity;formal verification;scheduling;GCD library;Parikh coverability problem;grand central dispatch library;input-parametrized fork-join behaviour;multicore application;queue-dispatch asynchronous system;scheduler;synchronization mechanism;worst-case complexity;Cost accounting;Dispatching;Libraries;Petri nets;Protocols;Semantics;Sockets;asynchronous programming model;grand central dispatch;graph-rewriting;task-based concurrency;waiting queues},
    Month = {July},
    Pages = {150-159},
    Title = {Queue-Dispatch Asynchronous Systems},
    Year = {2013},
    bdsk-url-1 = {http://dx.doi.org/10.1109/ACSD.2013.18},
    date-added = {2014-06-17 09:30:16 +0000},
    date-modified = {2014-06-17 09:30:16 +0000},
    doi = {10.1109/ACSD.2013.18}
}

@inproceedings{6598350, Author = {Geeraerts, G. and Heussner, A. and Raskin, J.-F.}, BookTitle = {Application of Concurrency to System Design (ACSD), 2013 13th International Conference on}, File = {Queue-Dispatch Asynchronous Systems - Geeraerts, Heussner, Raskin (0) (0) - a - a - u.pdf}, Keywords = {computational complexity;formal verification;scheduling;GCD library;Parikh coverability problem;grand central dispatch library;input-parametrized fork-join behaviour;multicore application;queue-dispatch asynchronous system;scheduler;synchronization mechanism;worst-case complexity;Cost accounting;Dispatching;Libraries;Petri nets;Protocols;Semantics;Sockets;asynchronous programming model;grand central dispatch;graph-rewriting;task-based concurrency;waiting queues}, Month = {July}, Pages = {150-159}, Title = {Queue-Dispatch Asynchronous Systems}, Year = {2013}, bdsk-url-1 = {http://dx.doi.org/10.1109/ACSD.2013.18}, date-added = {2014-06-17 09:30:16 +0000}, date-modified = {2014-06-17 09:30:16 +0000}, doi = {10.1109/ACSD.2013.18} }