Francesc Babot
From MaRDI portal
Person:466917
Available identifiers
zbMath Open babot.francesc-xavierMaRDI QIDQ466917
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 |
|---|---|---|
| Formal communication elimination and sequentialization equivalence proofs for distributed system models | 2014-10-31 | Paper |
| Formal Sequentialization of Distributed Systems via Program Rewriting | 2013-12-20 | Paper |
| https://portal.mardi4nfdi.de/entity/Q2850665 | 2013-09-27 | Paper |
| https://portal.mardi4nfdi.de/entity/Q4778694 | 2002-11-19 | Paper |
Research outcomes over time
This page was built for person: Francesc Babot
