Hitting families of schedules for asynchronous programs

<p>Asynchronous programming is a ubiquitous idiom for concurrent programming, where sequential units of code, called events, are scheduled and run atomically by a scheduler. While running, an event can post additional events for future execution by the scheduler. Asynchronous programs can have...

Full description

Bibliographic Details
Main Authors: Chistikov, D, Majumdar, R, Niksic, F
Format: Conference item
Published: Springer 2016