Matches in SemOpenAlex for { <https://semopenalex.org/work/W2029280613> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2029280613 endingPage "97" @default.
- W2029280613 startingPage "78" @default.
- W2029280613 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.
- W2029280613 created "2016-06-24" @default.
- W2029280613 creator A5022685369 @default.
- W2029280613 creator A5061468940 @default.
- W2029280613 date "2007-05-01" @default.
- W2029280613 modified "2023-10-17" @default.
- W2029280613 title "A compositional coalgebraic model of fusion calculus" @default.
- W2029280613 cites W1486385096 @default.
- W2029280613 cites W1508631686 @default.
- W2029280613 cites W1546623424 @default.
- W2029280613 cites W1573313194 @default.
- W2029280613 cites W1579004089 @default.
- W2029280613 cites W1582292473 @default.
- W2029280613 cites W1844378195 @default.
- W2029280613 cites W1895954544 @default.
- W2029280613 cites W1966145112 @default.
- W2029280613 cites W2013672985 @default.
- W2029280613 cites W2023964182 @default.
- W2029280613 cites W2027689693 @default.
- W2029280613 cites W2077397316 @default.
- W2029280613 cites W2079822631 @default.
- W2029280613 cites W2088189323 @default.
- W2029280613 cites W2101032471 @default.
- W2029280613 cites W2108241722 @default.
- W2029280613 cites W2118229393 @default.
- W2029280613 cites W2122767292 @default.
- W2029280613 cites W2127358709 @default.
- W2029280613 cites W2128932399 @default.
- W2029280613 cites W2133600449 @default.
- W2029280613 cites W2136660485 @default.
- W2029280613 cites W2149278248 @default.
- W2029280613 cites W2724927166 @default.
- W2029280613 cites W3021003119 @default.
- W2029280613 cites W3029749730 @default.
- W2029280613 cites W2567506893 @default.
- W2029280613 cites W3023288486 @default.
- W2029280613 doi "https://doi.org/10.1016/j.jlap.2007.05.001" @default.
- W2029280613 hasPublicationYear "2007" @default.
- W2029280613 type Work @default.
- W2029280613 sameAs 2029280613 @default.
- W2029280613 citedByCount "4" @default.
- W2029280613 crossrefType "journal-article" @default.
- W2029280613 hasAuthorship W2029280613A5022685369 @default.
- W2029280613 hasAuthorship W2029280613A5061468940 @default.
- W2029280613 hasBestOaLocation W20292806131 @default.
- W2029280613 hasConcept C132074034 @default.
- W2029280613 hasConcept C136119220 @default.
- W2029280613 hasConcept C137212723 @default.
- W2029280613 hasConcept C161771561 @default.
- W2029280613 hasConcept C167729594 @default.
- W2029280613 hasConcept C199343813 @default.
- W2029280613 hasConcept C202444582 @default.
- W2029280613 hasConcept C2524010 @default.
- W2029280613 hasConcept C2777686260 @default.
- W2029280613 hasConcept C2778249326 @default.
- W2029280613 hasConcept C2984882572 @default.
- W2029280613 hasConcept C33923547 @default.
- W2029280613 hasConcept C41008148 @default.
- W2029280613 hasConcept C71924100 @default.
- W2029280613 hasConcept C80444323 @default.
- W2029280613 hasConceptScore W2029280613C132074034 @default.
- W2029280613 hasConceptScore W2029280613C136119220 @default.
- W2029280613 hasConceptScore W2029280613C137212723 @default.
- W2029280613 hasConceptScore W2029280613C161771561 @default.
- W2029280613 hasConceptScore W2029280613C167729594 @default.
- W2029280613 hasConceptScore W2029280613C199343813 @default.
- W2029280613 hasConceptScore W2029280613C202444582 @default.
- W2029280613 hasConceptScore W2029280613C2524010 @default.
- W2029280613 hasConceptScore W2029280613C2777686260 @default.
- W2029280613 hasConceptScore W2029280613C2778249326 @default.
- W2029280613 hasConceptScore W2029280613C2984882572 @default.
- W2029280613 hasConceptScore W2029280613C33923547 @default.
- W2029280613 hasConceptScore W2029280613C41008148 @default.
- W2029280613 hasConceptScore W2029280613C71924100 @default.
- W2029280613 hasConceptScore W2029280613C80444323 @default.
- W2029280613 hasIssue "1" @default.
- W2029280613 hasLocation W20292806131 @default.
- W2029280613 hasOpenAccess W2029280613 @default.
- W2029280613 hasPrimaryLocation W20292806131 @default.
- W2029280613 hasRelatedWork W1486594037 @default.
- W2029280613 hasRelatedWork W1493300810 @default.
- W2029280613 hasRelatedWork W1773175139 @default.
- W2029280613 hasRelatedWork W2029280613 @default.
- W2029280613 hasRelatedWork W2055195051 @default.
- W2029280613 hasRelatedWork W2105715274 @default.
- W2029280613 hasRelatedWork W2343912571 @default.
- W2029280613 hasRelatedWork W3029749730 @default.
- W2029280613 hasRelatedWork W317426355 @default.
- W2029280613 hasRelatedWork W2188968787 @default.
- W2029280613 hasVolume "72" @default.
- W2029280613 isParatext "false" @default.
- W2029280613 isRetracted "false" @default.
- W2029280613 magId "2029280613" @default.
- W2029280613 workType "article" @default.