37 search results - page 3 / 8 » fsttcs 2007 |
FSTTCS
2007
Springer
14 years 2 months ago
2007
Springer
FSTTCS
2007
Springer
14 years 5 months ago
2007
Springer
FSTTCS
2007
Springer
14 years 5 months ago
2007
Springer
FSTTCS
2007
Springer
14 years 5 months ago
2007
Springer
We introduce PEP, the Post Embedding Problem, a variant of PCP where one compares strings with the subword relation, and PEPreg , a further variant where solutions are constrained ...
FSTTCS
2007
Springer
14 years 5 months ago
2007
Springer
We show that any regular set of basic MSCs can be implemented by a deadlock-free communicating finite-state machine with local termination: Processes stop in local dead-states ind...