@inproceedings{fbc6c56099cf47c08bb7b786625c2d96,
title = "FIFO nets: A new model of parallel computation",
abstract = "We introduce a new model of parallel computation, namely the FIFO nets. First, we introduce some basic definitions. A restriction of this model has the power of the Turing machine. Monogeneous Fifo nets are then introduced. The coverability tree is a procedure to decide whether a monogeneous net is bounded or not. At last, regularity is decidable for monogeneous nets.",
author = "A. Finkel and G. Memmi",
note = "Publisher Copyright: {\textcopyright} 1982, Springer-Verlag.; 6th GI-Conference on Theoretical Computer Science, 1983 ; Conference date: 05-01-1983 Through 07-01-1983",
year = "1982",
month = jan,
day = "1",
doi = "10.1007/BFb0036474",
language = "English",
isbn = "9783540119739",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "111--121",
editor = "Cremers, \{Armin B.\} and Hans-Peter Kriegel",
booktitle = "Theoretical Computer Science - 6th Gl-Conference",
}