Zobrazeno 1 - 10
of 22
pro vyhledávání: '"Guzmán, Michell"'
Autor:
Guzmán, Michell, Knight, Sophia, Quintero, Santiago, Ramírez, Sergio, Rueda, Camilo, Valencia, Frank
Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. We develop the theory of scs to reason about the distributed information of potentially infinite groups. We characte
Externí odkaz:
http://arxiv.org/abs/2010.10667
Publikováno v:
In: Runtime Verification. RV 2020. Lecture Notes in Computer Science, vol 12399. Springer, Cham
Software enforcers can be used to modify the runtime behavior of software applications to guarantee that relevant correctness policies are satisfied. Indeed, the implementation of software enforcers can be tricky, due to the heterogeneity of the situ
Externí odkaz:
http://arxiv.org/abs/2010.04258
Autor:
Guzmán, Michell
Les comportement épistémiques, mobiles et spatiaux sont omniprésent dans les systèmes distribués aujourd’hui. La nature intrinsèque épistémique de ces types de systèmes provient des interactions des éleménts qui en font parties. La plupa
Externí odkaz:
http://www.theses.fr/2017SACLX064/document
Autor:
Guzmán, Michell, Knight, Sophia, Quintero, Santiago, Ramírez, Sergio, Rueda, Camilo, Valencia, Frank
Publikováno v:
In Journal of Logical and Algebraic Methods in Programming June 2021 121
Publikováno v:
In Theoretical Computer Science 5 October 2018 744:56-77
Publikováno v:
In Electronic Notes in Theoretical Computer Science 24 April 2015 312:161-177
Publikováno v:
In Electronic Notes in Theoretical Computer Science 11 March 2013 293:17-34
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Guzmán, Michell, Knight, Sophia, Quintero, Santiago, Ramírez, Sergio, Rueda, Camilo, Valencia, Frank
Publikováno v:
Journal of Logical and Algebraic Methods in Programming
Journal of Logical and Algebraic Methods in Programming, Elsevier, In press
Journal of Logical and Algebraic Methods in Programming, inPress
Journal of Logical and Algebraic Methods in Programming, Elsevier, In press
Journal of Logical and Algebraic Methods in Programming, inPress
International audience; Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. We develop the theory of scs to reason about the distributed information of potentially infi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::031f57b2a50322f9a7d20e6c98b057a4
https://hal.archives-ouvertes.fr/hal-03098441/document
https://hal.archives-ouvertes.fr/hal-03098441/document
Autor:
Guzmán, Michell, Knight, Sophia, Quintero, Santiago, Ramírez, Sergio, Rueda, Camilo, Valencia, Frank
Publikováno v:
CONCUR 2019-30th International Conference on Concurrency Theory
CONCUR 2019-30th International Conference on Concurrency Theory, Aug 2019, Amsterdam, Netherlands. pp.1-29, ⟨10.4230/LIPIcs.CONCUR.2019.29⟩
CONCUR 2019-30th International Conference on Concurrency Theory, Aug 2019, Amsterdam, Netherlands. pp.1-29, ⟨10.4230/LIPIcs.CONCUR.2019.29⟩
International audience; Spatial constraint systems (scs) are semantic structures for reasoning about spatial and epistemic information in concurrent systems. We develop the theory of scs to reason about the distributed information of potentially infi
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::c46bee04d38ca506ec3386ff88efd606
https://hal.archives-ouvertes.fr/hal-02172415
https://hal.archives-ouvertes.fr/hal-02172415