MJ

swMATH24342MaRDI QIDQ36100FDOQ36100

Author name not available (Why is that?)

Cited In (9)

• Formalising Java RMI with explicit code mobility
• Automatic verification of Java programs with dynamic frames
• Specification and static enforcement of scheduler-independent noninterference in a middleweight Java
• Objects and session types
• Reconciling method overloading and dynamically typed scripting languages
• Type-based security for mobile computing integrity, secrecy and liveness
• Asynchronous Session Types and Progress for Object Oriented Languages
• Formally sound implementations of security protocols with JavaSPI
• A reduction semantics for direct-style asynchronous observables

This page was built for software: MJ