TTSLI: An implementation of tree-tuple synchronized languages. Tree-Tuple Synchronized Languages have first been introduced by means of Tree-Tuple Synchronized Grammars (TTSG), and have been reformulated recently by means of (so-called) Constraint Systems (CS), which allowed one to prove more properties. A number of applications to rewriting and to concurrency have been presented.
References in zbMATH (referenced in 1 article , 1 standard article )
Showing result 1 of 1.