Matches in SemOpenAlex for { <https://semopenalex.org/work/W583622944> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W583622944 abstract "In this thesis we investigate two operational models of name-passing calculi: one based on coalgebra, and one based on enriched automata. We develop a semantic framework for modelling the open bisimulation in π-calculus, hyperbisimulation in Fusion calculus, and the first semantic interpretation of FOλ(nabla) logic. We consider a category theoretic model where both “variables” and “names”, usually viewed as separate notions, are particular cases of the more general notion of atoms. The key aspect of this model is to consider functors over the category of irreflexive and symmetric finite relations. The models previously proposed for the separate notions of “variables” and “names” embed faithfully in the new one, and initial algebra/final coalgebra constructions can be transferred from the formers to the latter. Moreover, the new model admits a definition of distinction-aware simultaneous substitutions. As a substantial application example, we give the first semantic interpretation of Miller-Tiu's FOλ(nabla) logic. FOλ(nabla) logic is designed for reasoning about operational semantics of languages with binding. On the operational level, a contribution of the thesis is to extend an automata-based model for a variety of name-passing calculi with their associated notion of equivalence. HD-automata, a syntax-independent operational model, has been successfully applied for modelling e.g. early and late bisimulation in π-calculus and hyperbisimulation in Fusion calculus. However, current HD-automata are not adequate for modelling open bisimulation because they can not handle distinction-preserving substitutions. We solve this technical problem by integrating the notion of distinction into the definition of named sets, the basic building blocks of HD-automata. Finally, we discuss the relationship between HD-automata with distinctions, and D-LTS." @default.
- W583622944 created "2016-06-24" @default.
- W583622944 creator A5024162879 @default.
- W583622944 creator A5042419824 @default.
- W583622944 creator A5056498850 @default.
- W583622944 date "2005-01-01" @default.
- W583622944 modified "2023-09-27" @default.
- W583622944 title "HD-Automata for Open Bisimulation" @default.
- W583622944 cites W1486385096 @default.
- W583622944 cites W1533746731 @default.
- W583622944 cites W1568003051 @default.
- W583622944 cites W1572727431 @default.
- W583622944 cites W1844378195 @default.
- W583622944 cites W1997454380 @default.
- W583622944 cites W2008838944 @default.
- W583622944 cites W2013672985 @default.
- W583622944 cites W2027689693 @default.
- W583622944 cites W2034986004 @default.
- W583622944 cites W2037276526 @default.
- W583622944 cites W2043190445 @default.
- W583622944 cites W2043338352 @default.
- W583622944 cites W2055986709 @default.
- W583622944 cites W2112885497 @default.
- W583622944 cites W2133600449 @default.
- W583622944 cites W2136660485 @default.
- W583622944 cites W2185703560 @default.
- W583622944 cites W249899439 @default.
- W583622944 cites W2913663755 @default.
- W583622944 hasPublicationYear "2005" @default.
- W583622944 type Work @default.
- W583622944 sameAs 583622944 @default.
- W583622944 citedByCount "0" @default.
- W583622944 crossrefType "journal-article" @default.
- W583622944 hasAuthorship W583622944A5024162879 @default.
- W583622944 hasAuthorship W583622944A5042419824 @default.
- W583622944 hasAuthorship W583622944A5056498850 @default.
- W583622944 hasConcept C112505250 @default.
- W583622944 hasConcept C118615104 @default.
- W583622944 hasConcept C135315306 @default.
- W583622944 hasConcept C136119220 @default.
- W583622944 hasConcept C156325763 @default.
- W583622944 hasConcept C156772000 @default.
- W583622944 hasConcept C184337299 @default.
- W583622944 hasConcept C199360897 @default.
- W583622944 hasConcept C202444582 @default.
- W583622944 hasConcept C2778249326 @default.
- W583622944 hasConcept C2780069185 @default.
- W583622944 hasConcept C33923547 @default.
- W583622944 hasConcept C41008148 @default.
- W583622944 hasConcept C527412718 @default.
- W583622944 hasConcept C80444323 @default.
- W583622944 hasConceptScore W583622944C112505250 @default.
- W583622944 hasConceptScore W583622944C118615104 @default.
- W583622944 hasConceptScore W583622944C135315306 @default.
- W583622944 hasConceptScore W583622944C136119220 @default.
- W583622944 hasConceptScore W583622944C156325763 @default.
- W583622944 hasConceptScore W583622944C156772000 @default.
- W583622944 hasConceptScore W583622944C184337299 @default.
- W583622944 hasConceptScore W583622944C199360897 @default.
- W583622944 hasConceptScore W583622944C202444582 @default.
- W583622944 hasConceptScore W583622944C2778249326 @default.
- W583622944 hasConceptScore W583622944C2780069185 @default.
- W583622944 hasConceptScore W583622944C33923547 @default.
- W583622944 hasConceptScore W583622944C41008148 @default.
- W583622944 hasConceptScore W583622944C527412718 @default.
- W583622944 hasConceptScore W583622944C80444323 @default.
- W583622944 hasLocation W5836229441 @default.
- W583622944 hasOpenAccess W583622944 @default.
- W583622944 hasPrimaryLocation W5836229441 @default.
- W583622944 hasRelatedWork W118676048 @default.
- W583622944 hasRelatedWork W1552902269 @default.
- W583622944 hasRelatedWork W1553109126 @default.
- W583622944 hasRelatedWork W1555655467 @default.
- W583622944 hasRelatedWork W1586968823 @default.
- W583622944 hasRelatedWork W1771902143 @default.
- W583622944 hasRelatedWork W1989540314 @default.
- W583622944 hasRelatedWork W2011677188 @default.
- W583622944 hasRelatedWork W2012100616 @default.
- W583622944 hasRelatedWork W2012874796 @default.
- W583622944 hasRelatedWork W2042633675 @default.
- W583622944 hasRelatedWork W2043190445 @default.
- W583622944 hasRelatedWork W2055350841 @default.
- W583622944 hasRelatedWork W2072817265 @default.
- W583622944 hasRelatedWork W2077397316 @default.
- W583622944 hasRelatedWork W2156413458 @default.
- W583622944 hasRelatedWork W2169849200 @default.
- W583622944 hasRelatedWork W2578634188 @default.
- W583622944 hasRelatedWork W2898466129 @default.
- W583622944 hasRelatedWork W2567506893 @default.
- W583622944 isParatext "false" @default.
- W583622944 isRetracted "false" @default.
- W583622944 magId "583622944" @default.
- W583622944 workType "article" @default.