Towards Action Refinement for Concurrent Systems with Causal Ambiguity.

Jinzhao Wu, Houguang Yue

Browse the full SEFM paper archive.