61 citations · 79 across the 7 of their papers we have counts for
1 paper · 2 filters
Alan Jeffrey, James Riely
To model relaxed memory, we propose confusion-free event structures over an alphabet with a justification relation. Executions are modeled by justified configurations, where every…