Reasoning about distributed information with infinitely many agents
| Autor: | Guzmán, Michell, Knight, Sophia, Quintero, Santiago, Ramírez, Sergio, Rueda, Camilo, Valencia, Frank |
|---|---|
| Zdroj: | In Journal of Logical and Algebraic Methods in Programming June 2021 121 |
| Databáze: | ScienceDirect |
| Externí odkaz: |
|
Full Text from ScienceDirect