Fifo nets: a new model of parallel computation

[1]  Raymond E. Miller,et al.  Homomorphisms between Models of Parallel Computation , 1982, J. Comput. Syst. Sci..

[2]  Rüdiger Valk,et al.  Petri Nets and Regular Languages , 1981, J. Comput. Syst. Sci..

[3]  Kurt Jensen,et al.  Coloured Petri Nets and the Invariant-Method , 1981, Theor. Comput. Sci..

[4]  Bernard Vauquelin,et al.  Automates a File , 1980, Theor. Comput. Sci..

[5]  Kurt Lautenbach,et al.  The Analysis of Distributed Systems by Means of Predicate ? Transition-Nets , 1979, Semantics of Concurrent Computation.

[6]  Richard M. Karp,et al.  Parallel Program Schemata , 1969, J. Comput. Syst. Sci..

[7]  Marvin Minsky,et al.  Computation : finite and infinite machines , 2016 .