Affiliation:
1. Imperial College London
Publisher
Open Publishing Association
Cited by
5 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Zooid: a DSL for certified multiparty computation: from mechanised metatheory to certified multiparty processes;Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation;2021-06-18
2. $$\pi $$ with Leftovers: A Mechanisation in Agda;Formal Techniques for Distributed Objects, Components, and Systems;2021
3. Occurrence of North American Porcupine (Erethizon dorsatum) in the Black Hills, South Dakota;Western North American Naturalist;2020-06-20
4. Intrinsically-Typed Mechanized Semantics for Session Types;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07
5. Proof-relevant π-calculus: a constructive account of concurrency and causality;Mathematical Structures in Computer Science;2017-05-04