Sciweavers

3653 search results - page 4 / 731
» On Recognizable Timed Languages
Sort
View
70
Voted
FOSSACS
2000
Springer
15 years 1 months ago
On Recognizable Stable Trace Languages
We relate several models of concurrency introduced in the literature in order to extend classical Mazurkiewicz traces. These are mainly Droste's concurrent automata and Arnold...
Jean-François Husson, Rémi Morin
CAI
2007
Springer
14 years 11 months ago
Recognizable Picture Languages and Polyominoes
Giusi Castiglione, Roberto Vaglica
ITA
2006
14 years 9 months ago
Unambiguous recognizable two-dimensional languages
Marcella Anselmo, Dora Giammarresi, Maria Madonia,...
ECEASST
2010
14 years 7 months ago
Recognizable Graph Languages for Checking Invariants
Christoph Blume, Harrie Jan Sander Bruggink, Barba...