Pages that link to "Item:Q2463558"
From MaRDI portal
The following pages link to Formalising Java RMI with explicit code mobility (Q2463558):
Displaying 6 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)
- How Java's language design reflects the requirements of mobile code (Q2758757) (← links)