Publisher
Springer International Publishing
Reference22 articles.
1. Carothers, C.D., Perumalla, K.S., Fujimoto, R.: Efficient optimistic parallel simulations using reverse computation. TOMACS 9(3), 224–253 (1999)
2. CauDEr repository (2022). https://github.com/mistupv/cauder
3. CauDEr with imperative primitives repository (2022). https://github.com/PietroLami/cauder
4. Lecture Notes in Computer Science;V Danos,2004
5. Erlang/OTP 24.1.5. https://www.erlang.org/doc/index.html
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献