Investigate double [strictly precedes]

heron-solver / heron

🏺 Simulation Solver for Timed Causality Models in TESL

MIT License

5 stars 1 forks source link

Open hai-nguyen-van opened 6 years ago

hai-nguyen-van commented 6 years ago

What behavior for ?

c1 weakly precedes c2
c2 weakly precedes c1