@INPROCEEDINGS{FaJaKuRoZe2007,
	AUTHOR		= {Farwer, Berndt and Jantzen, Matthias and Kudlek, Manfred and R{\"o}lke, Heiko and Zetzsche, Georg},
	TITLE		= {On Concurrent Finite Automata},
	BOOKTITLE	= {Proc. of the Workshop on Concurrency, Specification and Programming (CS{\&}P 2007)},
	EDITOR		= {Czaja, Ludwik},
	VOLUME		= {1},
	PAGES		= {180--190},
	YEAR		= {2007}
}