CONCUR '02 Proceedings of the 13th International Conference on Concurrency Theory
CONCUR 2005 - Concurrency Theory
Proceedings of the 2008 ACM SIGPLAN conference on Programming language design and implementation
Fairness for Chorded Languages
COORDINATION '09 Proceedings of the 11th International Conference on Coordination Models and Languages
Quantitative Analysis under Fairness Constraints
ATVA '09 Proceedings of the 7th International Symposium on Automated Technology for Verification and Analysis
Fairness Verification of BOM-Based Composed Models Using Petri Nets
PADS '11 Proceedings of the 2011 IEEE Workshop on Principles of Advanced and Distributed Simulation
Quantitatively fair scheduling
Theoretical Computer Science
Defining Fairness in Reactive and Concurrent Systems
Journal of the ACM (JACM)
Fairness for transactional events
IFL'11 Proceedings of the 23rd international conference on Implementation and Application of Functional Languages
An algorithm on fairness verification of mobile sink routing in wireless sensor network
Personal and Ubiquitous Computing
| Hi-index | 0.00 |