FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2077397316> ?p ?o ?g. }

• W2077397316 endingPage "576" @default.
• W2077397316 startingPage "539" @default.
• W2077397316 abstract "The coalgebraic framework developed for the classical process algebras, and in particular its advantages concerning minimal realizations, does not fully apply to the π-calculus, due to the constraints on the freshly generated names that appear in the bisimulation. In this paper we propose to model the transition system of the π-calculus as a coalgebra on a category of name permutation algebras and to define its abstract semantics as the final coalgebra of such a category. We show that permutations are sufficient to represent in an explicit way fresh name generation, thus allowing for the definition of minimal realizations. We also link the coalgebraic semantics with a slightly improved version of history dependent (HD) automata, a model developed for verification purposes, where states have local names and transitions are decorated with names and name relations. HD-automata associated with agents with a bounded number of threads in their derivatives are finite and can be actually minimized. We show that the bisimulation relation in the coalgebraic context corresponds to the minimal HD-automaton." @default.
• W2077397316 created "2016-06-24" @default.
• W2077397316 creator A5036876399 @default.
• W2077397316 creator A5061468940 @default.
• W2077397316 date "2005-08-01" @default.
• W2077397316 modified "2023-10-18" @default.
• W2077397316 title "Structured coalgebras and minimal HD-automata for the <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML altimg=si1.gif overflow=scroll><mml:mi>π</mml:mi></mml:math>-calculus" @default.
• W2077397316 cites W1487583155 @default.
• W2077397316 cites W1490651621 @default.
• W2077397316 cites W1505155144 @default.
• W2077397316 cites W1513322016 @default.
• W2077397316 cites W1521367064 @default.
• W2077397316 cites W1523110583 @default.
• W2077397316 cites W1562901937 @default.
• W2077397316 cites W1582798925 @default.
• W2077397316 cites W1591752798 @default.
• W2077397316 cites W1839078145 @default.
• W2077397316 cites W1844378195 @default.
• W2077397316 cites W1966145112 @default.
• W2077397316 cites W2027689693 @default.
• W2077397316 cites W2039290601 @default.
• W2077397316 cites W2039697589 @default.
• W2077397316 cites W2070157304 @default.
• W2077397316 cites W2072817265 @default.
• W2077397316 cites W2079822631 @default.
• W2077397316 cites W2088189323 @default.
• W2077397316 cites W2128932399 @default.
• W2077397316 cites W2164625502 @default.
• W2077397316 cites W2201760732 @default.
• W2077397316 cites W2293190610 @default.
• W2077397316 cites W2476379118 @default.
• W2077397316 cites W4243186596 @default.
• W2077397316 doi "https://doi.org/10.1016/j.tcs.2005.03.014" @default.
• W2077397316 hasPublicationYear "2005" @default.
• W2077397316 type Work @default.
• W2077397316 sameAs 2077397316 @default.
• W2077397316 citedByCount "36" @default.
• W2077397316 countsByYear W20773973162012 @default.
• W2077397316 countsByYear W20773973162013 @default.
• W2077397316 countsByYear W20773973162014 @default.
• W2077397316 countsByYear W20773973162015 @default.
• W2077397316 countsByYear W20773973162017 @default.
• W2077397316 countsByYear W20773973162021 @default.
• W2077397316 countsByYear W20773973162022 @default.
• W2077397316 crossrefType "journal-article" @default.
• W2077397316 hasAuthorship W2077397316A5036876399 @default.
• W2077397316 hasAuthorship W2077397316A5061468940 @default.
• W2077397316 hasBestOaLocation W20773973161 @default.
• W2077397316 hasConcept C112505250 @default.
• W2077397316 hasConcept C11413529 @default.
• W2077397316 hasConcept C118615104 @default.
• W2077397316 hasConcept C121332964 @default.
• W2077397316 hasConcept C135315306 @default.
• W2077397316 hasConcept C136119220 @default.
• W2077397316 hasConcept C151730666 @default.
• W2077397316 hasConcept C161771561 @default.
• W2077397316 hasConcept C184337299 @default.
• W2077397316 hasConcept C199360897 @default.
• W2077397316 hasConcept C202444582 @default.
• W2077397316 hasConcept C21308566 @default.
• W2077397316 hasConcept C24890656 @default.
• W2077397316 hasConcept C25343380 @default.
• W2077397316 hasConcept C2778249326 @default.
• W2077397316 hasConcept C2779343474 @default.
• W2077397316 hasConcept C33923547 @default.
• W2077397316 hasConcept C41008148 @default.
• W2077397316 hasConcept C77088390 @default.
• W2077397316 hasConcept C80444323 @default.
• W2077397316 hasConcept C86803240 @default.
• W2077397316 hasConceptScore W2077397316C112505250 @default.
• W2077397316 hasConceptScore W2077397316C11413529 @default.
• W2077397316 hasConceptScore W2077397316C118615104 @default.
• W2077397316 hasConceptScore W2077397316C121332964 @default.
• W2077397316 hasConceptScore W2077397316C135315306 @default.
• W2077397316 hasConceptScore W2077397316C136119220 @default.
• W2077397316 hasConceptScore W2077397316C151730666 @default.
• W2077397316 hasConceptScore W2077397316C161771561 @default.
• W2077397316 hasConceptScore W2077397316C184337299 @default.
• W2077397316 hasConceptScore W2077397316C199360897 @default.
• W2077397316 hasConceptScore W2077397316C202444582 @default.
• W2077397316 hasConceptScore W2077397316C21308566 @default.
• W2077397316 hasConceptScore W2077397316C24890656 @default.
• W2077397316 hasConceptScore W2077397316C25343380 @default.
• W2077397316 hasConceptScore W2077397316C2778249326 @default.
• W2077397316 hasConceptScore W2077397316C2779343474 @default.
• W2077397316 hasConceptScore W2077397316C33923547 @default.
• W2077397316 hasConceptScore W2077397316C41008148 @default.
• W2077397316 hasConceptScore W2077397316C77088390 @default.
• W2077397316 hasConceptScore W2077397316C80444323 @default.
• W2077397316 hasConceptScore W2077397316C86803240 @default.
• W2077397316 hasIssue "3" @default.
• W2077397316 hasLocation W20773973161 @default.
• W2077397316 hasOpenAccess W2077397316 @default.
• W2077397316 hasPrimaryLocation W20773973161 @default.
• W2077397316 hasRelatedWork W1525103753 @default.
• W2077397316 hasRelatedWork W1844378195 @default.
• W2077397316 hasRelatedWork W2126431612 @default.
• W2077397316 hasRelatedWork W2145366203 @default.

• next