Pages that link to "Item:Q3617744"
From MaRDI portal
The following pages link to Realizability of Concurrent Recursive Programs (Q3617744):
Displaying 7 items.
- Temporal logics for concurrent recursive programs: satisfiability and model checking (Q472794) (← links)
- Step semantics for ``true'' concurrency with recursion (Q916408) (← links)
- Realizability of concurrent recursive programs (Q1620953) (← links)
- Multithreaded-Cartesian abstract interpretation of multithreaded recursive programs Is polynomial (Q1675156) (← links)
- Real-time properties of indirect recursive procedures (Q1854477) (← links)
- On Distributed Monitoring and Synthesis (Q3195680) (← links)
- Automated Synthesis of Distributed Controllers (Q3449462) (← links)