Výsledky vyhledávání - "Systèmes concurrents et distribués"

Sémantique opérationnelle des interactions pour la vérification d'exécutions partiellement observées de systèmes distribués

Autor: Mahe, Erwan

Publikováno v: Formal Languages and Automata Theory [cs.FL]. Université Paris-Saclay, 2021. English. ⟨NNT : 2021UPAST062⟩

Interactions represent asynchronous communications in a distributed context and can be represented graphically in an intuitive manner while allowing the specification of precise scheduling policies for ordering events. In this thesis, we formalize su

Externí odkaz: https://explore.openaire.eu/search/publication?articleId=dedup_wf_001::2ba7e45a7b0ecff26c576c0377787e46
https://tel.archives-ouvertes.fr/tel-03369906/file/2021UPAST062_MAHE_archivage.pdf

Zobrazit plný text záznamu

Vyhledávací nástroje:

Upřesnit hledání