1. Simple universal cellular automation and its one-way and totalistic version;Albert;Complex Systems,1987
2. An equational axiomatization of systolic systems;Bartha;Theoret. Comput. Sci.,1987
3. Interpretations of systolic flowchart schemes;Bartha,1989
4. Simulation of large networks on smaller networks;Bodlaender,1984
5. Reasoning about synchronous systems;Brooks,1984