Author:
Berry G.,Ramesh S.,Shyamasundar R. K.
Cited by
38 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. ERC20: Correctness via Linearizability and Interference Freedom of the Underlying Smart Contract;Proceedings of the 20th International Conference on Security and Cryptography;2023
2. Symmetric distributed applications;Proceedings of the 8th ACM SIGPLAN International Workshop on Reactive and Event-Based Languages and Systems;2021-10-17
3. PolyGraph: a data flow model with frequency arithmetic;International Journal on Software Tools for Technology Transfer;2020-09-02
4. The Design and Implementation of the Synchronous Language CÉU;ACM Transactions on Embedded Computing Systems;2017-11-30
5. A methodology to take credit for high-level verification during RTL verification;Formal Methods in System Design;2017-09-19