Author:
Phillips Iain,Ulidowski Irek
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference25 articles.
1. Contextual Petri nets, asymmetric event structures, and processes;Baldan;Inf. Comput.,2001
2. A logic for true concurrency;Baldan,2010
3. The chemical abstract machine;Berry;Theor. Comput. Sci.,1992
4. Permutation of transitions: an event structure semantics for CCS and SCCS;Boudol,1989
5. Reversible structures;Cardelli,2011
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Reversible Perspective on Petri Nets and Event Structures;ACM Transactions on Computational Logic;2024-08-02
2. An Axiomatic Theory for Reversible Computation;ACM Transactions on Computational Logic;2024-04-16
3. CRIL: A Concurrent Reversible Intermediate Language;Electronic Proceedings in Theoretical Computer Science;2023-09-14
4. Comparative Transition System Semantics for Cause-Respecting Reversible Prime Event Structures;Electronic Proceedings in Theoretical Computer Science;2023-09-03
5. Event structure semantics for multiparty sessions;Journal of Logical and Algebraic Methods in Programming;2023-02