Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference5 articles.
1. A modular framework for verifying versatile distributed systems;Chevrou;J. Log. Algebraic Methods Program.,2019
2. A denotational semantics of textually aligned SPMD programs;Dabrowski;J. Log. Algebraic Methods Program.,2019
3. Axiomatization and characterization of BSP algorithms;Marquer;J. Log. Algebraic Methods Program.,2019
4. Leveraging access mode declarations in a model for memory consistency in heterogeneous systems;Henrio;J. Log. Algebraic Methods Program.,2020
5. From global choreographies to verifiable efficient distributed implementations;Jaber;J. Log. Algebraic Methods Program.,2020