Canonical Automata via Distributive Law Homomorphisms. Stefan Zetzsche, Gerco van Heerdt, Matteo Sammartino, and Alexandra Silva. EPTCS 351, 2021, 296-313. 2021 shelley2024-07-26T09:03:55+00:00 Share this content FacebookXLinkedInWhatsAppEmail Related Posts Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures. Semantics of Remote Direct Memory Access: Operational and Declarative Models of RDMA on TSO Architectures. A Key-Value store for Ocaml. A Key-Value store for Ocaml. PrideMM: A Solver for Relaxed Memory Models. PrideMM: A Solver for Relaxed Memory Models. Structuring the synthesis of heap-manipulating programs. Structuring the synthesis of heap-manipulating programs.
by