Welterweight Java

swMATH24343MaRDI QIDQ36101FDOQ36101

Author name not available (Why is that?)

Official website: https://link.springer.com/chapter/10.1007/978-3-642-13953-6_6

Cited In (2)

• Specification and static enforcement of scheduler-independent noninterference in a middleweight Java
• A reduction semantics for direct-style asynchronous observables

This page was built for software: Welterweight Java