Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Occurrence counting"'
Publikováno v:
Theoretical Computer Science. 696:11-51
In this paper we propose a static analysis for Brane Calculi [1] , based on Abstract Interpretation [2] techniques. Our analysis statically approximates the dynamic behaviour of Brane systems, by providing a description of the possible hierarchical s
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b64f9d6d2d76d1c1064d1d21762c8670
https://doi.org/10.1016/j.tcs.2017.07.008
https://doi.org/10.1016/j.tcs.2017.07.008
Autor:
Jérôme Feret
Publikováno v:
Journal of Logic and Algebraic Programming
Journal of Logic and Algebraic Programming, Elsevier, 2004, special issue on the pi-calcucus, 63 (1), pp.59--130. ⟨10.1016/j.jlap.2004.01.005⟩
Journal of Logic and Algebraic Programming, 2004, special issue on the pi-calcucus, 63 (1), pp.59--130. ⟨10.1016/j.jlap.2004.01.005⟩
Journal of Logic and Algebraic Programming, Elsevier, 2004, special issue on the pi-calcucus, 63 (1), pp.59--130. ⟨10.1016/j.jlap.2004.01.005⟩
Journal of Logic and Algebraic Programming, 2004, special issue on the pi-calcucus, 63 (1), pp.59--130. ⟨10.1016/j.jlap.2004.01.005⟩
International audience; We propose an Abstract Interpretation-based context-free analysis for mobile systems written in the pi-calculus. Our analysis automatically captures a sound -- but not complete -- description of the potential behaviour of a mo
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::cff1b30da44d0819c1502c7c1f07299b
https://doi.org/10.1016/j.jlap.2004.01.005
https://doi.org/10.1016/j.jlap.2004.01.005
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.
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.
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.