Pages that link to "Item:Q5465879"
From MaRDI portal
The following pages link to FSTTCS 2004: Foundations of Software Technology and Theoretical Computer Science (Q5465879):
Displayed 7 items.
- Abstraction for concurrent objects (Q615951) (← links)
- Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language (Q652158) (← links)
- Resources, concurrency, and local reasoning (Q879368) (← links)
- Static analysis of embedded real-time concurrent software with dynamic priorities (Q1650954) (← links)
- Static Analysis of Run-Time Errors in Embedded Critical Parallel C Programs (Q3000591) (← links)
- Granularity and Concurrent Separation Logic (Q3090832) (← links)
- Retracing CSP (Q5262957) (← links)