Revisiting Concurrent Separation Logic and Operational Semantics | IEEE Conference Publication | IEEE Xplore