VOLUME 16 2011 NUMBER 1

Sergey Avgustinovich, Sergey Kitaev, Artem Pyatkin, Alexander Valyuzhenich:
On Square-Free Permutations3–10
Pascal Caron, Jean-Marc Champarnaud, Ludovic Mignot:
Multi-Bar and Multi-Tilde Regular Operators11–36
Michael Soltys:
Feasible Proofs of Szpilrajn's Theorem – A Proof-Complexity Framework for Concurrent Automata37–48
Ariel Stulman:
Generating Optimal Distinguishing Sequences for Testing Timed Protocols49–65