August Climent

From MaRDI portal
Person:466918

Available identifiers

zbMath Open climent.augustMaRDI QIDQ466918

List of research outcomes





PublicationDate of PublicationType
Formal communication elimination and sequentialization equivalence proofs for distributed system models2014-10-31Paper
Formal sequentialization of distributed systems via program rewriting2013-12-20Paper
An input/output semantics for distributed program equivalence reasoning2013-09-27Paper
https://portal.mardi4nfdi.de/entity/Q47786942002-11-19Paper
https://portal.mardi4nfdi.de/entity/Q44408562002-01-01Paper

Research outcomes over time

This page was built for person: August Climent

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