↓ Skip to main content

Formal Techniques for Distributed Systems

Overview of attention for book
Attention for Chapter 4: Behavioural Equivalences over Migrating Processes with Timers
Altmetric Badge

Citations

dimensions_citation
2 Dimensions

Readers on

mendeley
5 Mendeley