Author:
Bernardi Giovanni,Hennessy Matthew
Publisher
Centre pour la Communication Scientifique Directe (CCSD)
Subject
General Computer Science,Theoretical Computer Science
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A theory of monitors;Information and Computation;2021-12
2. Two notions of sub-behaviour for session-based client/server systems: 10 Years Later;22nd International Symposium on Principles and Practice of Declarative Programming;2020-09-08
3. Service Equivalence via Multiparty Session Type Isomorphisms;Electronic Proceedings in Theoretical Computer Science;2019-04-02
4. Testing for Coordination Fidelity;Models, Languages, and Tools for Concurrent and Distributed Programming;2019
5. Full-abstraction for client testing preorders;Science of Computer Programming;2018-12