Pages that link to "Item:Q967521"
From MaRDI portal
The following pages link to From flow logic to static type systems for coordination languages (Q967521):
Displaying 8 items.
- Social coordination with locally observable types (Q722617) (← links)
- Flow-sensitive type systems and the ambient calculus (Q1029816) (← links)
- Dead code elimination based pointer analysis for multithreaded programs (Q1939745) (← links)
- Recognition of logically related regions based heap abstraction (Q1942939) (← links)
- A formal approach to the engineering of domain-specific distributed systems (Q2291825) (← links)
- (Q2980974) (← links)
- Secure Guarded Commands (Q3297842) (← links)
- Coordination Models and Languages (Q5717739) (← links)