Formal Sequentialization of Distributed Systems via Program Rewriting

Miquel Bertran*, Francesc Babot, August Climent

*Autor corresponent d’aquest treball

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