vix.ing
·
top
·
new
·
best
·
stats
·
spec
Larissa A. Meinicke
Distributive Laws for Parallel Composition in Rely-Guarantee Concurrency
2026/07/20 by
Ian J. Hayes
,
Larissa A. Meinicke
#cs.PL
#cs.LO