Ken Pierce
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 |
|---|---|---|
| An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems Formal Aspects of Computing | 2017-04-03 | Paper |
| An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems Formal Aspects of Computing | 2017-04-03 | Paper |
| Elucidating concurrent algorithms via layers of abstraction and reification Formal Aspects of Computing | 2011-05-30 | Paper |
| Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification Lecture Notes in Computer Science | 2008-11-11 | Paper |
Research outcomes over time
This page was built for person: Ken Pierce
