Zobrazeno 1 - 10
of 28
pro vyhledávání: '"Todoran, Eneia Nicolae"'
Publikováno v:
EPTCS 410, 2024, pp. 18-37
We develop denotational and operational semantics designed with continuations for process calculi based on CCS extended with mechanisms offering support for multiparty interactions. We investigate the abstractness of this continuation semantics. We s
Externí odkaz:
http://arxiv.org/abs/2410.23761
Publikováno v:
In Information Sciences August 2022 604:298-319
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.
Publikováno v:
Natural Computing; Mar2023, Vol. 22 Issue 1, p41-54, 14p
Publikováno v:
Journal of Membrane Computing; June 2023, Vol. 5 Issue: 2 p81-99, 19p
Autor:
Todoran, Eneia Nicolae1 eneia.todoran@cs.utcluj.ro, Papaspyrou, Nikolaos2 nickie@softlab.ntua.gr
Publikováno v:
Fundamenta Informaticae. 2017, Vol. 153 Issue 1-2, p125-146. 22p.
Autor:
Ciobanu, Gabriel1 gabriel@info.uaic.ro, Todoran, Eneia Nicolae2 eneia.todoran@cs.utcluj.ro
Publikováno v:
Fundamenta Informaticae. 2014, Vol. 131 Issue 3-4, p373-388. 16p.
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:
TODORAN, ENEIA NICOLAE
Publikováno v:
Studia Universitatis Babes-Bolyai, Informatica; Dec2017, Vol. 62 Issue 2, p93-108, 16p
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.