Explicit Modeling of Influences, and of Their Absence, in Distributed Systems
Abstract elided by the publisher.
Related papers
- Interactively verifying absence of explicit information flows in Android apps OOPSLA 2015
- Distributed Explicit State Model Checking of Deadlock Freedom CAV 2013
- Hosting an object heap on manycore hardware: an exploration DLS 2009
- Type Systems for Distributed Data Structures POPL 2000
- Model-driven generative framework for automated OMG DDS performance testing in the cloud GPCE 2013
- A Framework for Scalbale Dissemination-Based Systems OOPSLA 1997
- Some Practical Problems and Their Influence on Semantics ESOP 1996
- Formalising Java RMI with explicit code mobility OOPSLA 2005