Matches in SemOpenAlex for { <https://semopenalex.org/work/W2343912571> ?p ?o ?g. }
Showing items 1 to 95 of
95
with 100 items per page.
- W2343912571 abstract "This paper is a further step in exploring the labelled transitions and bisimulations of fusion calculi. We follow a recent theory by the same authors and previously applied to the pi-calculus for lifting calculi with structural axioms to bialgebras and, thus, we provide a compositional model of the fusion calculus with explicit fusions. In such a model, the bisimilarity relation induced by the unique morphism to the final coalgebra coincides with fusion hyperequivalence and it is a congruence with respect to the operations of the calculus. The key novelty in our work is that we give an account of explicit fusions through labelled transitions. Interestingly enough, this approach allows to exploit for the fusion calculus essentially the same algebraic structure used for the pi-calculus." @default.
- W2343912571 created "2016-06-24" @default.
- W2343912571 creator A5022685369 @default.
- W2343912571 creator A5061468940 @default.
- W2343912571 date "2006-01-01" @default.
- W2343912571 modified "2023-09-26" @default.
- W2343912571 title "A Compositional Coalgebraic Model of Fusion Calculus 1" @default.
- W2343912571 cites W1486385096 @default.
- W2343912571 cites W1508631686 @default.
- W2343912571 cites W1546623424 @default.
- W2343912571 cites W1573313194 @default.
- W2343912571 cites W1579004089 @default.
- W2343912571 cites W1844378195 @default.
- W2343912571 cites W1895954544 @default.
- W2343912571 cites W1966145112 @default.
- W2343912571 cites W2013672985 @default.
- W2343912571 cites W2023964182 @default.
- W2343912571 cites W2027689693 @default.
- W2343912571 cites W2077397316 @default.
- W2343912571 cites W2079822631 @default.
- W2343912571 cites W2088189323 @default.
- W2343912571 cites W2101032471 @default.
- W2343912571 cites W2108241722 @default.
- W2343912571 cites W2118229393 @default.
- W2343912571 cites W2122767292 @default.
- W2343912571 cites W2127358709 @default.
- W2343912571 cites W2133600449 @default.
- W2343912571 cites W2136660485 @default.
- W2343912571 cites W2149278248 @default.
- W2343912571 cites W3021003119 @default.
- W2343912571 cites W3029749730 @default.
- W2343912571 cites W2567506893 @default.
- W2343912571 cites W3023288486 @default.
- W2343912571 hasPublicationYear "2006" @default.
- W2343912571 type Work @default.
- W2343912571 sameAs 2343912571 @default.
- W2343912571 citedByCount "0" @default.
- W2343912571 crossrefType "journal-article" @default.
- W2343912571 hasAuthorship W2343912571A5022685369 @default.
- W2343912571 hasAuthorship W2343912571A5061468940 @default.
- W2343912571 hasConcept C136119220 @default.
- W2343912571 hasConcept C137212723 @default.
- W2343912571 hasConcept C161771561 @default.
- W2343912571 hasConcept C167729594 @default.
- W2343912571 hasConcept C199343813 @default.
- W2343912571 hasConcept C202444582 @default.
- W2343912571 hasConcept C2524010 @default.
- W2343912571 hasConcept C2777686260 @default.
- W2343912571 hasConcept C2778249326 @default.
- W2343912571 hasConcept C2984882572 @default.
- W2343912571 hasConcept C33923547 @default.
- W2343912571 hasConcept C41008148 @default.
- W2343912571 hasConcept C71924100 @default.
- W2343912571 hasConcept C80444323 @default.
- W2343912571 hasConceptScore W2343912571C136119220 @default.
- W2343912571 hasConceptScore W2343912571C137212723 @default.
- W2343912571 hasConceptScore W2343912571C161771561 @default.
- W2343912571 hasConceptScore W2343912571C167729594 @default.
- W2343912571 hasConceptScore W2343912571C199343813 @default.
- W2343912571 hasConceptScore W2343912571C202444582 @default.
- W2343912571 hasConceptScore W2343912571C2524010 @default.
- W2343912571 hasConceptScore W2343912571C2777686260 @default.
- W2343912571 hasConceptScore W2343912571C2778249326 @default.
- W2343912571 hasConceptScore W2343912571C2984882572 @default.
- W2343912571 hasConceptScore W2343912571C33923547 @default.
- W2343912571 hasConceptScore W2343912571C41008148 @default.
- W2343912571 hasConceptScore W2343912571C71924100 @default.
- W2343912571 hasConceptScore W2343912571C80444323 @default.
- W2343912571 hasLocation W23439125711 @default.
- W2343912571 hasOpenAccess W2343912571 @default.
- W2343912571 hasPrimaryLocation W23439125711 @default.
- W2343912571 hasRelatedWork W1552902269 @default.
- W2343912571 hasRelatedWork W1555655467 @default.
- W2343912571 hasRelatedWork W1790914901 @default.
- W2343912571 hasRelatedWork W1973719799 @default.
- W2343912571 hasRelatedWork W1974825923 @default.
- W2343912571 hasRelatedWork W2029280613 @default.
- W2343912571 hasRelatedWork W2029401959 @default.
- W2343912571 hasRelatedWork W2030716060 @default.
- W2343912571 hasRelatedWork W2042633675 @default.
- W2343912571 hasRelatedWork W2079091345 @default.
- W2343912571 hasRelatedWork W2122767292 @default.
- W2343912571 hasRelatedWork W2163424899 @default.
- W2343912571 hasRelatedWork W2164851226 @default.
- W2343912571 hasRelatedWork W2171350732 @default.
- W2343912571 hasRelatedWork W2185568479 @default.
- W2343912571 hasRelatedWork W2275541989 @default.
- W2343912571 hasRelatedWork W2535086089 @default.
- W2343912571 hasRelatedWork W2967881592 @default.
- W2343912571 hasRelatedWork W2972689270 @default.
- W2343912571 hasRelatedWork W58568020 @default.
- W2343912571 isParatext "false" @default.
- W2343912571 isRetracted "false" @default.
- W2343912571 magId "2343912571" @default.
- W2343912571 workType "article" @default.