TTSLI

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.
Sorted by year (citations)

  1. Lecland, Benoit; Réty, Pierre: TTSLI: An implementation of tree-tuple synchronized languages (2002)