20 citations · 133 across the 34 of their papers we have counts for
1 paper · 2 filters
Alexander Kurz, Tomoyuki Suzuki, Emilio Tuosto
We propose regular expressions to abstractly model and study properties of resource-aware computations. Inspired by nominal techniques -- as those popular in process calculi -- we…