Models for analysis of races in sequential networks. (English) Zbl 0308.94027
Math. Found. Comput. Sci., 3rd Symp. jadwisin 1974, Lect. Notes Comput. Sci. 28, 26-32 (1975).
MSC:
94C10 | Switching theory, application of Boolean algebra; Boolean functions (MSC2010) |