20 citations · 133 across the 34 of their papers we have counts for
Showing 2013Show all
2 papers · 1 filter
cs.FL2013★ 1 cited
Nominal Regular Expressions for Languages over Infinite Alphabets. Extended Abstract
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…
cs.SE2013
On Recovering from Run-time Misbehaviour in ADR
Kyriakos Poyias, Emilio Tuosto
We propose a monitoring mechanism for recording the evolution of systems after certain computations, maintaining the history in a tree-like structure. Technically, we develop the m…