48 citations · 174 across the 34 of their papers we have counts for
1 paper · 2 filters
Emanuele D'Osualdo, C. -H. Luke Ong
This paper is concerned with the shape invariants satisfied by the communication topology of π-terms, and the automatic inference of these invariants. A π-term P is hierarchical if…