Funder
EPSRC
European Cooperation in Science and Technology
Subject
Software,Theoretical Computer Science,Computational Theory and Mathematics,Logic
Reference32 articles.
1. Contextual equivalences in configuration structures and reversibility;Aubert;J. Log. Algebraic Methods Program.,2017
2. On the expressiveness of internal mobility in name-passing calculi;Boreale;Theor. Comput. Sci.,1998
3. Flow models of distributed computations: three equivalent semantics for CCS;Boudol;Inf. Comput.,1994
4. Permutation of transitions: an event structure semantics for CCS and SCCS;Boudol,1989
5. Strategies as concurrent processes;Castellan;Electron. Notes Theor. Comput. Sci.,2014
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献