↓ Skip to main content

Formal Techniques for Distributed Objects, Components, and Systems

Overview of attention for book
Attention for Chapter 12: Computing Race Variants in Message-Passing Concurrent Programming with Selective Receives
Altmetric Badge

Citations

dimensions_citation
1 Dimensions