39 citations · 56 across the 13 of their papers we have counts for
Showing cs.FLShow all
2 papers · 1 filter
cs.FL2013★ 1 cited
Fresh-Variable Automata for Service Composition
Walid Belkhir, Yannick Chevalier, Michael Rusinowitch
To model Web services handling data from an infinite domain, or with multiple sessions, we introduce fresh-variable automata, a simple extension of finite-state automata in which s…
cs.FL2013★ 4 cited
Guarded Variable Automata over Infinite Alphabets
Walid Belkhir, Yannick Chevalier, Michael Rusinowitch
We define guarded variable automata (GVAs), a simple extension of finite automata over infinite alphabets. In this model the transitions are labelled by letters or variables rangin…