Author:
Jeffrey Alan,Rathke Julian
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Characteristic bisimulation for higher-order session processes;Acta Informatica;2016-12-24
2. On parameterization of higher-order processes;International Journal of Computer Mathematics;2016-07-26
3. Modelling MAC-Layer Communications in Wireless Systems;Logical Methods in Computer Science;2015-03-31
4. HOCore in Coq;Interactive Theorem Proving;2015
5. Location-independent routing in process network overlays;Service Oriented Computing and Applications;2014-12-10