Author:
Graversen Eva,Phillips Iain,Yoshida Nobuko
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference25 articles.
1. Contextual equivalences in configuration structures and reversibility;Aubert;J. Log. Algebraic Methods Program.,2017
2. Category Theory;Awodey,2010
3. Contextual Petri Nets, asymmetric event structures, and processes;Baldan;Inf. Comput.,2001
4. Permutation of transitions: an event structure semantics for CCS and SCCS;Boudol,1989
5. Dagger traced symmetric monoidal categories and reversible programming;Bowman,2011
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Event structure semantics for multiparty sessions;Journal of Logical and Algebraic Methods in Programming;2023-02
2. Relating Reversible Petri Nets and Reversible Event Structures, Categorically;Formal Techniques for Distributed Objects, Components, and Systems;2023
3. Algebraic modelling of concurrent systems and its practical application;International Journal of Computing Science and Mathematics;2023
4. Event structures for the reversible early internal π-calculus;Journal of Logical and Algebraic Methods in Programming;2022-01
5. Event structure semantics of (controlled) reversible CCS;Journal of Logical and Algebraic Methods in Programming;2021-06