Event-Based Programming Without Inversion of Control
Lecture notes in computer science2006pp. 4–22
Citations Over TimeTop 1% of 2006 papers
Related Papers
- → Using model checkers in an introductory course on operating systems(2008)10 cited
- → Speeding Lamport's fast mutual exclusion algorithm(1993)41 cited
- → An efficient solution to the mutual exclusion problem using weak semaphores(1987)7 cited
- Computing with infinitely many processes under assumptions on concurrency and participation(2000)
- Using Model Checkers in an Introductory Course on Operating Systems(2007)