## Stem synchroniz$ (all stems)

### 6 papers:

- LATA-2012-IbarraT #automaton #multi #turing machine
- Weak Synchronization and Synchronizability of Multitape Pushdown Automata and Turing Machines (OHI, NQT), pp. 337–350.
- VMCAI-2012-BasuBO #communication #verification
- Synchronizability for Verification of Asynchronously Communicating Systems (SB, TB, MO), pp. 56–71.
- LATA-2007-Martugin #automaton
- A series of slowly synchronizable automata with a zero state over a small alphabet (PVM), pp. 391–402.
- SAC-2006-ChenJH #detection #fault #generative #multi #sequence #testing
- A new method of generating synchronizable test sequences that detect output-shifting faults based on multiple UIO sequences (KC, FJ, CdH), pp. 1791–1797.
- IWPTS-1993-LuoDBVG #distributed #finite #generative #sequence #state machine #testing
- Generating Synchronizable Test Sequences Based on Finite State Machine with Distributed Ports (GL, RD, GvB, PV, AG), pp. 139–153.
- PLDI-1987-Waters #performance
- Efficient interpretation of synchronizable series expressions (RCW), pp. 74–85.