Zobrazeno 1 - 10
of 127
pro vyhledávání: '"Name-passing process calculi"'
Autor:
Rickmann, Christina
Topological self-stabilization describes the ability of a distributed system to let the nodes themselves establish a meaningful overlay network. Independent from the initial network topology, the system converges to the desired topology via forwardin
Externí odkaz:
http://arxiv.org/abs/1604.04197
Autor:
Fiore, Marcelo, Staton, Sam
Publikováno v:
In Information and Computation 2009 207(2):209-236
Autor:
Fiore, Marcelo, Staton, Sam
Publikováno v:
In Information and Computation 2006 204(4):524-560
Autor:
Fiore, Marcelo, Staton, Sam
Publikováno v:
In Electronic Notes in Theoretical Computer Science 11 December 2004 106:91-104
Kniha
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:
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
Publikováno v:
Computing with New Resources ISBN: 9783319133492
Computing with New Resources
Computing with New Resources
We study symmetries and duality between input and output in the \(\pi \)-calculus. We show that in dualisable versions of \(\pi \), including \(\pi \) and fusions, duality breaks with the addition of ordinary input/output types. We illustrate two pro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::63de0d6aeeba9b92546fd15c2e661c93
https://doi.org/10.1007/978-3-319-13350-8_23
https://doi.org/10.1007/978-3-319-13350-8_23
Conference
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:
Sam Staton
This thesis is about the formal semantics of name-passing process calculi. We study operational models by relating various different notions of model, and we analyse structural operational semantics by extracting a congruence rule format from a model
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::34914457afe4fe786e3892b48e4bd5e6
Autor:
Sam Staton, Marcelo Fiore
Publikováno v:
LICS
We introduce a mathematical structural operational semantics that yields a congruence result for bisimilarity and is suitable for investigating rule formats for name-passing systems. Indeed, we instantiate this general abstract model theory in a fram
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::91e8151f932a79548f135aa07d58a1bc
https://doi.org/10.1109/lics.2006.7
https://doi.org/10.1109/lics.2006.7