Semantics of partial-order programs (1998)

by Mauricio Osorio
Venue:Logics in Arti Intelligence (JELIA ’98), LNCS 1489