A fully abstract semantics for concurrent graph reduction | IEEE Conference Publication | IEEE Xplore