Return to Issue Details Series-parallel composition of graph-logical models of fault-tolerant multiprocessor systems Download Download PDF