Ken Pierce

From MaRDI portal
Person:520239

Available identifiers

zbMath Open pierce.ken-gMaRDI QIDQ520239

List of research outcomes





PublicationDate of PublicationType
An empirical comparison of formalisms for modelling and analysis of dynamic reconfiguration of dependable systems2017-04-03Paper
Elucidating concurrent algorithms via layers of abstraction and reification2011-05-30Paper
Splitting Atoms with Rely/Guarantee Conditions Coupled with Data Reification2008-11-11Paper

Research outcomes over time

This page was built for person: Ken Pierce

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:520239&oldid=7660211"
Powered by MediaWiki