Event structures for the reversible early internal π-calculus

[PDF] arxiv.org

An axiomatic theory for reversible computation

I Lanese, I Phillips, I Ulidowski - ACM Transactions on Computational …, 2024 - dl.acm.org
Undoing computations of a concurrent system is beneficial in many situations, such as in
reversible debugging of multi-threaded programs and in recovery from errors due to …
被引用次数：4 相关文章 所有 6 个版本

Algebraic modelling of concurrent systems and its practical application

W Tang, S Li, H Li - International Journal of Computing …, 2023 - inderscienceonline.com
For decades, formal methods have greatly contributed to the modelling and validation of
concurrent systems. Event structure is a powerful and efficient formal method. However, the …
相关文章 所有 4 个版本

Preface to the special issue on the 12th Workshop on Programming Language Approaches to Concurrency and Communication-Centric Software (PLACES) 2020

S Balzer, L Padovani - Journal of Logical and Algebraic Methods in …, 2022 - Elsevier
This volume contains the JLAMP special issue on the twelfth edition of the workshop on
Programming Language Approaches to Concurrency and Communication-cEntric Software …
相关文章
[HTML] nih.gov

[HTML][HTML] Event Structures for the Reversible Early Internal [... formula...]-Calculus

E Graversen, I Phillips, N Yoshida - Reversible Computation - ncbi.nlm.nih.gov
The equation M2-calculus is a widely used process calculus, which models communications
between processes and allows the passing of communication links. Various operational …
相关文章