Stephan van Staden
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 |
|---|---|---|
| Developments in concurrent Kleene algebra Journal of Logical and Algebraic Methods in Programming | 2016-06-22 | Paper |
| Constructing the views framework Unifying Theories of Programming | 2016-06-22 | Paper |
| Algebra unifies operational calculi Unifying Theories of Programming | 2015-12-11 | Paper |
| Freefinement Proceedings of the 39th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages | 2015-09-11 | Paper |
| On rely-guarantee reasoning Lecture Notes in Computer Science | 2015-08-27 | Paper |
| Developments in concurrent Kleene algebra Relational and Algebraic Methods in Computer Science | 2014-04-16 | Paper |
| In praise of algebra Formal Aspects of Computing | 2013-03-22 | Paper |
| The laws of programming unify process calculi Lecture Notes in Computer Science | 2012-09-05 | Paper |
Research outcomes over time
This page was built for person: Stephan van Staden
