Pages that link to "Item:Q2463558"
From MaRDI portal
The following pages link to Formalising Java RMI with explicit code mobility (Q2463558):
Displayed 5 items.
- A sound and complete reasoning system for asynchronous communication with shared futures (Q465485) (← links)
- Compositional reasoning about active objects with shared futures (Q890481) (← links)
- Security types for dynamic web data (Q935467) (← links)
- Objects and session types (Q1021571) (← links)
- Formalising Java RMI with explicit code mobility (Q2463558) (← links)