Extending the theory of Owicki and Gries with a logic of progress - Sciweavers

26

click to vote

more LMCS 2006 ...

espace.library.uq.edu.au

Tweet