Author:
Berry Gerard,Boudol Gerard
Cited by
145 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Semantics for a Lambda Calculus for String Diagrams;Samson Abramsky on Logic and Structure in Computer Science and Beyond;2023
2. A Petri net view of covalent bonds;Theoretical Computer Science;2022-03
3. Reversibility and Predictions;Reversible Computation;2021
4. Distributability of mobile ambients;Information and Computation;2020-12
5. PSI-CALCULI REVISITED: CONNECTIVITY AND COMPOSITIONALITY;LOG METH COMPUT SCI;2020