Formalizing and Checking Multilevel Consistency
Abstract elided by the publisher.
Related papers
- End-to-end Multilevel Hybrid Information Flow Control APLAS 2012
- Reconciling Objects and Multilevel Security (Panel) OOPSLA 1993
- An Automated Process for Implementing Multilevel Domain Models SLE 2009
- Shifting the stage - Staging with delimited control JFP 2011
- Data Locality and Load Balancing in COOL PPoPP 1993
- Verifying eventual consistency of optimistic replication systems POPL 2014
- A Formally Verified Foundation for Compositional Heterogeneous Coherence PLDI 2026
- Mandatory Security in Object-Oriented Database Systems OOPSLA 1989