会员服务
Reversible computations are computations
Arxiv
0+阅读 · 12月15日
Generalized Security-Preserving Refinement for Concurrent Systems
Arxiv
0+阅读 · 11月10日
A Synthetic Reconstruction of Multiparty Session Types (with Appendix)
Arxiv
0+阅读 · 11月27日
Asynchronous Wait-Free Runtime Verification and Enforcement of Linearizability
Arxiv
0+阅读 · 2023年5月2日
Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach
Arxiv
0+阅读 · 2023年3月28日
参考链接
微信扫码咨询专知VIP会员
Top