Miquel Bertran

From MaRDI portal
Person:466916

Available identifiers

zbMath Open bertran.miquelMaRDI QIDQ466916

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/Q57545292007-08-22Paper
https://portal.mardi4nfdi.de/entity/Q47786942002-11-19Paper
Note on Orthogonal Polynomials inv-Variables1975-01-01Paper

Research outcomes over time

This page was built for person: Miquel Bertran

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