%0 Journal Article %1 journals/fuin/LanesePV21 %A Lanese, Ivan %A Palacios, Adrián %A Vidal, Germán %D 2021 %J Fundam. Informaticae %K dblp %N 3 %P 229-266 %T Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs. %U http://dblp.uni-trier.de/db/journals/fuin/fuin178.html#LanesePV21 %V 178

@article{journals/fuin/LanesePV21, added-at = {2022-06-23T00:00:00.000+0200}, author = {Lanese, Ivan and Palacios, Adrián and Vidal, Germán}, biburl = {https://www.bibsonomy.org/bibtex/27ffdaefa9dc0424a5245cd52f56df3e1/dblp}, ee = {https://doi.org/10.3233/FI-2021-2005}, interhash = {161e0aa620ac0458965da56b698405c7}, intrahash = {7ffdaefa9dc0424a5245cd52f56df3e1}, journal = {Fundam. Informaticae}, keywords = {dblp}, number = 3, pages = {229-266}, timestamp = {2024-04-08T10:04:19.000+0200}, title = {Causal-Consistent Replay Reversible Semantics for Message Passing Concurrent Programs.}, url = {http://dblp.uni-trier.de/db/journals/fuin/fuin178.html#LanesePV21}, volume = 178, year = 2021 }