Ka I Pun
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 |
|---|---|---|
| Time analysis of actor programs Journal of Logical and Algebraic Methods in Programming | 2019-06-20 | Paper |
| Parallel cost analysis ACM Transactions on Computational Logic | 2019-02-07 | Paper |
| Locally abstract, globally concrete semantics of concurrent programming languages | 2018-02-02 | Paper |
| Effect-polymorphic behaviour inference for deadlock checking Journal of Logical and Algebraic Methods in Programming | 2016-11-07 | Paper |
| Deadlock checking by data race detection Fundamentals of Software Engineering | 2015-09-30 | Paper |
| Deadlock checking by data race detection Journal of Logical and Algebraic Methods in Programming | 2014-10-23 | Paper |
| Deadlock checking by a behavioral effect system for lock handling The Journal of Logic and Algebraic Programming | 2012-08-14 | Paper |
Research outcomes over time
This page was built for person: Ka I Pun
