The correctness of concurrencies in (reversible) concurrent calculi

Elsevier, Journal of Logical and Algebraic Methods in Programming, (136), p. 100924, 2024

Journal article published in 2024 by Clément Aubert

This paper is available in a repository.

Full text: Download

Preprint: archiving allowed

Upload

Postprint: archiving forbidden

Published version: archiving forbidden

Policy details

Data provided by