Zobrazeno 1 - 5
of 5
pro vyhledávání: '"Name-passing process calculi"'
Autor:
Igor Cappello, Paola Quaglia
Publikováno v:
Electronic Notes in Theoretical Computer Science. 229:109-125
A translation of Beta-binders in [email protected] is presented. Beta-binders is a bio-inspired formalism that allows the modelling of processes wrapped into boundaries. No notion of enclosing compartment can instead be found in [email protected], a
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::9b8a5077d0dec8bb01520b00fb1fa820
https://doi.org/10.1016/j.entcs.2009.02.008
https://doi.org/10.1016/j.entcs.2009.02.008
Autor:
Marcelo Fiore, Sam Staton
Publikováno v:
CMCS
We study three operational models of name-passing process calculi: coalgebras on (pre)sheaves, indexed labelled transition systems, and history dependent automata. The coalgebraic model is considered both for presheaves over the category of finite se
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::92b3400c6ddffa35e01e6bf8530944fd
https://doi.org/10.1016/j.entcs.2004.02.025
https://doi.org/10.1016/j.entcs.2004.02.025
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.