Self-assessment procedure XXI: a self-assessment procedure on concurrency
Communications of the ACM
Implementation of classical mutual exclusion algorithms in Ada
ACM SIGAda Ada Letters
A proposal for certain process management and intercommunication primitives
ACM SIGOPS Operating Systems Review
On the correctness issues in two-process mutual exclusion algorithms
ACM SIGSOFT Software Engineering Notes
Using model checkers in an introductory course on operating systems
ACM SIGOPS Operating Systems Review
Model checking machine code with the GNU debugger
SPIN'05 Proceedings of the 12th international conference on Model Checking Software
Application of TLRO to refute an incorrect mutual exclusion algorithm
ACM SIGSOFT Software Engineering Notes
| Hi-index | 48.23 |