82 citations · 143 across the 7 of their papers we have counts for
1 paper · 1 filter
Johannes Borgström, Ramūnas Gutkovas, Joachim Parrow +2
Applied process calculi include advanced programming constructs such as type systems, communication with pattern matching, encryption primitives, concurrent constraints, nondetermi…