Concurrencies in Reversible Concurrent Calculi-Reference-Cited by-同舟云学术

Concurrencies in Reversible Concurrent Calculi

Published:2022 Issue: Volume: Page:146-163
ISSN:0302-9743
Container-title:Reversible Computation
language:
Short-container-title:

Author:

Aubert Clément^ORCID

Publisher

Springer International Publishing

Link

https://link.springer.com/content/pdf/10.1007/978-3-031-09005-9_10

Reference41 articles.

1. Arpit, Kumar, D.: Calculus of concurrent probabilistic reversible processes. In: ICCCT-2017: Proceedings of the 7th International Conference on Computer and Communication Technology, pp. 34–40. ICCCT-2017. ACM, New York (2017). https://doi.org/10.1145/3154979.3155004

2. Aubert, C.: Causal consistent replication in reversible concurrent calculi, October 2021. https://hal.archives-ouvertes.fr/hal-03384482. Under revision

3. Aubert, C.: Concurrencies in reversible concurrent calculi. Technical report, March 2022. https://hal.archives-ouvertes.fr/hal-03605003

4. Aubert, C., Cristescu, I.: Reversible barbed congruence on configuration structures. In: Knight, S., Lluch Lafuente, A., Lanese, I., Vieira, H.T. (eds.) ICE 2015. EPTCS, vol. 189, pp. 68–95 (2015). https://doi.org/10.4204/EPTCS.189.7

5. Aubert, C., Cristescu, I.: Contextual equivalences in configuration structures and reversibility. J. Log. Algebr. Methods Program. 86(1), 77–106 (2017). https://doi.org/10.1016/j.jlamp.2016.08.004

Cited by 6 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. An Axiomatic Theory for Reversible Computation;ACM Transactions on Computational Logic;2024-04-16

2. revTPL: The Reversible Temporal Process Language;Logical Methods in Computer Science;2024-01-31

3. The correctness of concurrencies in (reversible) concurrent calculi;Journal of Logical and Algebraic Methods in Programming;2024-01

4. Replications in Reversible Concurrent Calculi;Reversible Computation;2023

5. Implementation of a Reversible Distributed Calculus;Reversible Computation;2023