Asynchronous Cellular Automata for Infinite Traces

@inproceedings{Gastin1992AsynchronousCA,
  title={Asynchronous Cellular Automata for Infinite Traces},
  author={Paul Gastin and Antoine Petit},
  booktitle={ICALP},
  year={1992}
}

From This Paper

Topics from this paper.