Author:
Atzei Nicola,Bartoletti Massimo
Publisher
Springer International Publishing
Cited by
4 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. A Runtime Environment for Contract Automata;Formal Methods;2023
2. Input urgent semantics for asynchronous timed session types;Journal of Logical and Algebraic Methods in Programming;2019-10
3. On Urgency in Asynchronous Timed Session Types;Electronic Proceedings in Theoretical Computer Science;2018-10-04
4. Honesty by typing;Logical Methods in Computer Science;2017-04-27