Author name cluster

Y Roos

Possible papers associated with this exact author name in Arrow. This page groups case-insensitive exact name matches and is not a full identity disambiguation profile.

1 paper

1 author row

I&C Journal 2001 Journal Article

Synchronization Languages and Rewriting Systems

M Clerbout
Y Roos
I Ryl

We extend the rewriting system defined by Guo et al. in order to characterize closure properties of synchronization languages. The extension is shown to have well-known properties of commutation systems and to be the rewriting system which suits the synchronization languages best. We give a characterization of finite synchronization languages in terms of languages closed under the extension.

Details DOI