16 citations · 41 across the 7 of their papers we have counts for
1 paper · 2 filters
Martin Raussen
Directed paths have been used by several authors to describe concurrent executions of a program. Spaces of directed paths in an appropriate state space contain executions with all…