MJ
From MaRDI portal
Software:36100
No author found.
Related Items (9)
A reduction semantics for direct-style asynchronous observables ⋮ Formally sound implementations of security protocols with JavaSPI ⋮ Formalising Java RMI with explicit code mobility ⋮ Specification and static enforcement of scheduler-independent noninterference in a middleweight Java ⋮ Automatic verification of Java programs with dynamic frames ⋮ Asynchronous Session Types and Progress for Object Oriented Languages ⋮ Reconciling method overloading and dynamically typed scripting languages ⋮ Objects and session types ⋮ Type-Based Security for Mobile Computing Integrity, Secrecy and Liveness
This page was built for software: MJ
