Communication for alternating machines
Properties of a model of parallel computation generalizing the concept of alternation (the so-called synchronized alternation) is investigated and several results are obtained. The model supports a simple form of communications (via states) among parallel processes. It seems to be a useful tool for investigating both nondeterminism and parallelism.
scientific article; zbMATH DE number 120175
scientific article