Gennady P. Agibalov Parallel Computations on Finite Partially Ordered Sets. 1-6 1997 conf/pact/1997 PaCT db/conf/pact/pact1997.html#Agibalov97