Author:
Chaki Sagar,Rajamani Sriram K.,Rehof Jakob
Cited by
40 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Separation and Encodability in Mixed Choice Multiparty Sessions;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
2. Order types: static reasoning about message races in asynchronous message passing concurrency;Proceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control;2017-10-23
3. Fencing off go: liveness and safety for channel-based programming;ACM SIGPLAN Notices;2017-05-11
4. Fencing off go: liveness and safety for channel-based programming;Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages;2017-01
5. Regular and context-free nominal traces;Acta Informatica;2016-02-23