Publisher
Springer Science and Business Media LLC
Subject
Computational Theory and Mathematics,Computer Networks and Communications,Hardware and Architecture,Theoretical Computer Science
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Session-based concurrency, declaratively;Acta Informatica;2021-03-18
2. Expressiveness of concurrent intensionality;Theoretical Computer Science;2020-10
3. On the relative expressiveness of higher-order session processes;Information and Computation;2019-10
4. Comparing Process Calculi Using Encodings;Electronic Proceedings in Theoretical Computer Science;2019-08-22
5. Stronger Validity Criteria for Encoding Synchrony;The Art of Modelling Computational Systems: A Journey from Logic and Concurrency to Security and Privacy;2019