Researchr is a web site for finding, collecting, sharing, and reviewing scientific publications, for researchers by researchers.
Sign up for an account to create a profile with publication list, tag and review your related work, and share bibliographies with your co-authors.
Marco Bernardo 0001, Claudio Antares Mezzina. Bridging Causal Reversibility and Time Reversibility: A Stochastic Process Algebraic Approach. Logical Methods in Computer Science, 19(2), 2023. [doi]
Possibly Related PublicationsThe following publications are possibly variants of this publication: Towards Bridging Time and Causal ReversibilityMarco Bernardo 0001, Claudio Antares Mezzina. forte 2020: 22-38 [doi] Causal Reversibility Implies Time ReversibilityMarco Bernardo 0001, Ivan Lanese, Andrea Marin, Claudio Antares Mezzina, Sabina Rossi, Claudio Sacerdoti Coen. qest 2023: 270-287 [doi] Causally consistent reversible choreographies: a monitors-as-memories approachClaudio Antares Mezzina, Jorge A. Pérez. ppdp 2017: 127-138 [doi]
The following publications are possibly variants of this publication: