Similar Items: Explicit fairness in testing semantics
- Full abstraction for fair testing in CCS (expanded version)
- Multi-Level Online Group Pruning for Deep Semantic Segmentation: Balancing Efficiency and Class Fairness
- An Explicit Framework for Interaction Nets
- A Theory of Explicit Substitutions with Safe and Full Composition
- Software Model Checking with Explicit Scheduler and Symbolic Threads
- Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency