4 citations · 14 across the 13 of their papers we have counts for
3 papers · 1 filter
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…
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…
Computer-Aided Derivation of Multi-scale Models: A Rewriting Framework
Bin Yang, Walid Belkhir, Michel Lenczner
We introduce a framework for computer-aided derivation of multi-scale models. It relies on a combination of an asymptotic method used in the field of partial differential equations…