Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference36 articles.
1. Reversible barbed congruence on configuration structures;Aubert,2015
2. Operational and denotational semantics for the reversible π-calculus;Cristescu,2015
3. On the existence of symmetric algorithms to find leaders in networks of communicating sequential processes;Bougé;Acta Inform.,1988
4. Communicating Sequential Processes;Hoare,1985
5. Reversible communicating systems;Danos,2004
Cited by
14 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献