Han-Hing Dang
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Extended transitive separation logic Journal of Logical and Algebraic Methods in Programming | 2015-06-10 | Paper |
| Modal algebra and Petri nets Acta Informatica | 2015-04-16 | Paper |
| Exploring modal worlds Journal of Logical and Algebraic Methods in Programming | 2014-09-08 | Paper |
| Abstract dynamic frames Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
| Transitive Separation Logic Relational and Algebraic Methods in Computer Science | 2012-09-21 | Paper |
| Reverse exchange for concurrency and local reasoning Lecture Notes in Computer Science | 2012-09-05 | Paper |
| Algebraic separation logic The Journal of Logic and Algebraic Programming | 2011-07-18 | Paper |
| Variable side conditions and greatest relations in algebraic separation logic Relational and Algebraic Methods in Computer Science | 2011-06-17 | Paper |
| Towards algebraic separation logic Relations and Kleene Algebra in Computer Science | 2009-12-11 | Paper |
Research outcomes over time
This page was built for person: Han-Hing Dang
