Formal Sequentialization of Distributed Systems via Program Rewriting

Miquel Bertran, Francesc Babot, August Climent

Producció científica: Article en revista indexadaArticleAvaluat per experts

2 Cites (Scopus)

Fingerprint

Navegar pels temes de recerca de 'Formal Sequentialization of Distributed Systems via Program Rewriting'. Junts formen un fingerprint únic.

Computer Science