Pages that link to "Item:Q1094866"
From MaRDI portal
The following pages link to Concurrent program schemes and their logics (Q1094866):
Displaying 6 items.
- Properties of concurrent programs (Q1346603) (← links)
- A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency (Q2414249) (← links)
- (Q4028369) (← links)
- (Q4778648) (← links)
- Transfer Principles for Reasoning About Concurrent Programs (Q4917047) (← links)
- (Q5075284) (← links)