Pages that link to "Item:Q2403529"
From MaRDI portal
The following pages link to An application of temporal projection to interleaving concurrency (Q2403529):
Displaying 3 items.
- A temporal programming model with atomic blocks based on projection temporal logic (Q1633057) (← links)
- Expressive completeness by separation for discrete time interval temporal logic with expanding modalities (Q6551701) (← links)
- Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection (Q6562536) (← links)