16 citations · 18 across the 3 of their papers we have counts for
1 paper · 1 filter
David Castro-Perez, Nobuko Yoshida
This paper presents CAMP, a new static performance analysis framework for message-passing concurrent and distributed systems, based on the theory of multiparty session types (MPST)…