Germán Vidal
- A Theory of Reversibility for Erlang
2018/06/19 by Ivan Lanese, Naoki Nishida, Lanese, Ivan +5 · 2 voices · 1 citation
#cs.PL #cs.LO
- From Reversible Computation to Checkpoint-Based Rollback Recovery for Message-Passing Concurrent Programs
2023/09/09 by Germán Vidal, Vidal, Germán · 1 citation
Computer Science · Engineering · #Distributed systems and fault tolerance #FOS: Computer and information sciences #Programming Languages (cs.PL) #Radiation Effects in Electronics #Security and Verification in Computing