Pages that link to "Item:Q3643269"
From MaRDI portal
The following pages link to A Relatively Complete Axiomatisation of Projection onto State in the Duration Calculus (Q3643269):
Displaying 4 items.
- On the completeness and decidability of duration calculus with iteration (Q557828) (← links)
- An application of temporal projection to interleaving concurrency (Q2403529) (← links)
- Prefix and projection onto state in duration calculus (Q2842576) (← links)
- Sharpening the incompleteness of the duration calculus (Q2851075) (← links)