Pages that link to "Item:Q5415605"
From MaRDI portal
The following pages link to Separation Logic Semantics for Communicating Processes (Q5415605):
Displaying 5 items.
- A calculus and logic of bunched resources and processes (Q906271) (← links)
- Event algebra for transition systems composition application to timed automata (Q1656550) (← links)
- Denotational semantics of channel mobility in UTP-CSP (Q1982650) (← links)
- Mechanized semantics for the clight subset of the C language (Q2655325) (← links)
- Propositional Dynamic Logic with Storing, Recovering and Parallel Composition (Q5179014) (← links)
