1. Bowen Alpern and Fred B Schneider . 1985. Defining liveness. Information processing letters 21, 4 ( 1985 ), 181–185. Bowen Alpern and Fred B Schneider. 1985. Defining liveness. Information processing letters 21, 4 (1985), 181–185.
2. Opacity proof for CaPR+ algorithm
3. Parwat Singh Anjana , Sweta Kumari , Sathya Peri , Sachin Rathor , and Archit Somani . 2019 . An efficient framework for optimistic concurrent execution of smart contracts . In 2019 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP). IEEE, 83–92 . Parwat Singh Anjana, Sweta Kumari, Sathya Peri, Sachin Rathor, and Archit Somani. 2019. An efficient framework for optimistic concurrent execution of smart contracts. In 2019 27th Euromicro International Conference on Parallel, Distributed and Network-Based Processing (PDP). IEEE, 83–92.
4. Towards a Notion of Transaction in Graph Rewriting
5. M. Bardohl R.and Minas G. Taentzer and A. Schurr. 1999. Application of graph transformation to visual languages. Handbook of graph grammars and computing by graph transformation 2 (1999) 105. M. Bardohl R.and Minas G. Taentzer and A. Schurr. 1999. Application of graph transformation to visual languages. Handbook of graph grammars and computing by graph transformation 2 (1999) 105.