Layers as Knowledge Transitions in the Design of Distributed Systems
Abstract elided by the publisher.
Related papers
- A Functional Layer for Description Logics: Knowledge Representation Meets Object-Oriented Programing OOPSLA 1996
- A Typed Language for Distributed Mobile Processes (Extended Abstract) POPL 1998
- Foundational and Compositional Verification of Layered Concurrent Objects ECOOP 2026
- Cross-layer memory management for managed language applications OOPSLA 2015
- Towards Programming with Knowledge Expressions POPL 1986
- Formal verification of a distributed dynamic reconfiguration protocol CPP 2022
- POSTER: IOGP: An Incremental Online Graph Partitioning for Large-Scale Distributed Graph Databases PPoPP 2017
- Translation: Myth or Reality? (Panel Session) OOPSLA 1996