Substitution Systems - A Family of System Models Based on Concurrency.

Hartmann J. Genrich Kurt Lautenbach P. S. Thiagarajan Substitution Systems - A Family of System Models Based on Concurrency. 698-723 1980 conf/mfcs/1980 MFCS db/conf/mfcs/mfcs80.html#GenrichLT80 http://dx.doi.org/10.1007/BFb0022544