Java Jr
From MaRDI portal
Software:30913
swMATH19083MaRDI QIDQ30913FDOQ30913
Author name not available (Why is that?)
Cited In (12)
- Abstract interface behavior of object-oriented languages with monitors
- Fully abstract trace semantics for protected module architectures
- Trace-Relating Compiler Correctness and Secure Compilation
- Behavioral interface description of an object-oriented language with futures and promises
- An operational semantics for object-oriented concepts based on the class hierarchy
- Compositional reasoning about active objects with shared futures
- A sound and complete reasoning system for asynchronous communication with shared futures
- A System-Level Game Semantics
- Compositional Reasoning for Explicit Resource Management in Channel-Based Concurrency
- Observable behavior of distributed systems: component reasoning for concurrent objects
- On the Relation of Interaction Semantics to Continuations and Defunctionalization
- Full Abstraction at Package Boundaries of Object-Oriented Languages
This page was built for software: Java Jr
