The following pages link to (Q4449225):
Displaying 5 items.
- An application of temporal projection to interleaving concurrency (Q2403529) (← links)
- Functional Specification of Hardware via Temporal Logic (Q3176382) (← links)
- From Philosophical to Industrial Logics (Q3601803) (← links)
- From Monadic Logic to PSL (Q5452203) (← links)
- Of temporary coalitions in terms of concurrent game models, announcements, and temporal projection (Q6562536) (← links)