A Rely-Guarantee-Based Simulation for Cooperative Semantics.

Kevin Tran, Johannes man Pohjola, Rob Sison, Gerwin Klein

Browse the full ICTAC paper archive.