Confluence Analysis for Distributed Programs: A Model-Theoretic Approach.
| Autor: | Marczak, William R., Alvaro, Peter, Conway, Neil, Hellerstein, Joseph M., Maier, David |
|---|---|
| Zdroj: | Datalog in Academia & Industry; 2012, p135-147, 13p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|