Search results
Lecture Notes in Computer Science > Stepwise Refinement of Distributed Systems Models, Formalisms, Correctness > 386-400
Theoretical Computer Science > 2011 > 412 > 18 > 1729-1744
Theoretical Computer Science > 2001 > 258 > 1-2 > 491-522