Sciweavers

3653 search results - page 4 / 731
» On Recognizable Timed Languages
Sort
View
FOSSACS
2000
Springer
15 years 3 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
70
Voted
MFCS
2004
Springer
15 years 5 months ago
Algebraic Recognizability of Languages
Pascal Weil
CAI
2007
Springer
15 years 1 months ago
Recognizable Picture Languages and Polyominoes
Giusi Castiglione, Roberto Vaglica
ITA
2006
14 years 11 months ago
Unambiguous recognizable two-dimensional languages
Marcella Anselmo, Dora Giammarresi, Maria Madonia,...
ECEASST
2010
14 years 9 months ago
Recognizable Graph Languages for Checking Invariants
Christoph Blume, Harrie Jan Sander Bruggink, Barba...