Zobrazeno 1 - 10
of 831
pro vyhledávání: '"process calculi"'
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.
Autor:
Bouyer, Patricia, Schröder, Lutz
This open access book constitutes the proceedings of the 25th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2022, which was held during April 4-6, 2022, in Munich, Germany, as part of the European J
Externí odkaz:
https://library.oapen.org/handle/20.500.12657/54027
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:
Yoshida, Nobuko
This open access book constitutes the proceedings of the 30th European Symposium on Programming, ESOP 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021.
Externí odkaz:
https://library.oapen.org/handle/20.500.12657/48221
Autor:
Kiefer, Stefan, Tasson, Christine
This open access book constitutes the proceedings of the 24th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2021, which was held during March 27 until April 1, 2021, as part of the European Joint Co
Externí odkaz:
https://library.oapen.org/handle/20.500.12657/48218
Autor:
Bogdan Aman, Gabriel Ciobanu
Publikováno v:
IEEE Access, Vol 8, Pp 147439-147450 (2020)
Mobile membranes represent a model of computation inspired from the biological movement provided by endocytosis and exocytosis in the living cells. This paper presents a survey of the results treating the computational power of the mobile membranes,
Externí odkaz:
https://doaj.org/article/ba7e47c8e0ac498faf7505604401d3f7
Autor:
Goubault-Larrecq, Jean, König, Barbara
This open access book constitutes the proceedings of the 23rd International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2020, which took place in Dublin, Ireland, in April 2020, and was held as Part of the Euro
Externí odkaz:
http://library.oapen.org/handle/20.500.12657/37723
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.