Matches in SemOpenAlex for { <https://semopenalex.org/work/W1838682714> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1838682714 abstract "Bisimulation is one of the fundamental concepts of the theory of coalgebras. However, it is difficult to verify whether a relation is a bisimulation. Although some categorical bisimulation proof methods for coalgebras have been proposed, they are not based on specification languages of coalgebras so that they are difficult to be used in practice. In this paper, a specification language based on paths of polynomial functors is proposed to specify polynomial coalgebras. Since bisimulation can be defined by paths, it is easy to transform Sangiorgi's bisimulation proof methods for labeled transition systems to reasoning rules in such a path-based specification language for polynomial coalgebras. The paper defines the notions of progressions and sound functions based on paths, then introduces the notion of faithful contexts for the language and presents a bisimulation-up-to context proof technique for polynomial coalgebras. Several examples are given to illustrate how to make use of the bisimulation proof methods in the language." @default.
- W1838682714 created "2016-06-24" @default.
- W1838682714 creator A5002071546 @default.
- W1838682714 creator A5023904026 @default.
- W1838682714 creator A5053619899 @default.
- W1838682714 creator A5068044132 @default.
- W1838682714 creator A5089204037 @default.
- W1838682714 date "2010-01-01" @default.
- W1838682714 modified "2023-09-25" @default.
- W1838682714 title "Bisimulation Proof Methods in a Path-Based Specification Language for Polynomial Coalgebras" @default.
- W1838682714 cites W1525465660 @default.
- W1838682714 cites W1982431152 @default.
- W1838682714 cites W2056138173 @default.
- W1838682714 cites W2077760000 @default.
- W1838682714 cites W2088189323 @default.
- W1838682714 cites W2116322260 @default.
- W1838682714 cites W2128995870 @default.
- W1838682714 cites W2154547008 @default.
- W1838682714 cites W2170360311 @default.
- W1838682714 cites W4296395898 @default.
- W1838682714 doi "https://doi.org/10.1007/978-3-642-17164-2_17" @default.
- W1838682714 hasPublicationYear "2010" @default.
- W1838682714 type Work @default.
- W1838682714 sameAs 1838682714 @default.
- W1838682714 citedByCount "4" @default.
- W1838682714 countsByYear W18386827142013 @default.
- W1838682714 countsByYear W18386827142014 @default.
- W1838682714 countsByYear W18386827142015 @default.
- W1838682714 countsByYear W18386827142020 @default.
- W1838682714 crossrefType "book-chapter" @default.
- W1838682714 hasAuthorship W1838682714A5002071546 @default.
- W1838682714 hasAuthorship W1838682714A5023904026 @default.
- W1838682714 hasAuthorship W1838682714A5053619899 @default.
- W1838682714 hasAuthorship W1838682714A5068044132 @default.
- W1838682714 hasAuthorship W1838682714A5089204037 @default.
- W1838682714 hasConcept C11413529 @default.
- W1838682714 hasConcept C118615104 @default.
- W1838682714 hasConcept C134306372 @default.
- W1838682714 hasConcept C135315306 @default.
- W1838682714 hasConcept C136119220 @default.
- W1838682714 hasConcept C151730666 @default.
- W1838682714 hasConcept C156772000 @default.
- W1838682714 hasConcept C199360897 @default.
- W1838682714 hasConcept C202444582 @default.
- W1838682714 hasConcept C2777735758 @default.
- W1838682714 hasConcept C2779343474 @default.
- W1838682714 hasConcept C33923547 @default.
- W1838682714 hasConcept C41008148 @default.
- W1838682714 hasConcept C80444323 @default.
- W1838682714 hasConcept C86803240 @default.
- W1838682714 hasConcept C90119067 @default.
- W1838682714 hasConceptScore W1838682714C11413529 @default.
- W1838682714 hasConceptScore W1838682714C118615104 @default.
- W1838682714 hasConceptScore W1838682714C134306372 @default.
- W1838682714 hasConceptScore W1838682714C135315306 @default.
- W1838682714 hasConceptScore W1838682714C136119220 @default.
- W1838682714 hasConceptScore W1838682714C151730666 @default.
- W1838682714 hasConceptScore W1838682714C156772000 @default.
- W1838682714 hasConceptScore W1838682714C199360897 @default.
- W1838682714 hasConceptScore W1838682714C202444582 @default.
- W1838682714 hasConceptScore W1838682714C2777735758 @default.
- W1838682714 hasConceptScore W1838682714C2779343474 @default.
- W1838682714 hasConceptScore W1838682714C33923547 @default.
- W1838682714 hasConceptScore W1838682714C41008148 @default.
- W1838682714 hasConceptScore W1838682714C80444323 @default.
- W1838682714 hasConceptScore W1838682714C86803240 @default.
- W1838682714 hasConceptScore W1838682714C90119067 @default.
- W1838682714 hasLocation W18386827141 @default.
- W1838682714 hasOpenAccess W1838682714 @default.
- W1838682714 hasPrimaryLocation W18386827141 @default.
- W1838682714 hasRelatedWork W128429064 @default.
- W1838682714 hasRelatedWork W2011677188 @default.
- W1838682714 hasRelatedWork W2012874796 @default.
- W1838682714 hasRelatedWork W2016748987 @default.
- W1838682714 hasRelatedWork W2020147234 @default.
- W1838682714 hasRelatedWork W2031016532 @default.
- W1838682714 hasRelatedWork W2055350841 @default.
- W1838682714 hasRelatedWork W2126519460 @default.
- W1838682714 hasRelatedWork W2156413458 @default.
- W1838682714 hasRelatedWork W2159815396 @default.
- W1838682714 hasRelatedWork W2164625502 @default.
- W1838682714 hasRelatedWork W2169849200 @default.
- W1838682714 hasRelatedWork W2330589374 @default.
- W1838682714 hasRelatedWork W2575193603 @default.
- W1838682714 hasRelatedWork W2898466129 @default.
- W1838682714 hasRelatedWork W2959774828 @default.
- W1838682714 hasRelatedWork W2963745823 @default.
- W1838682714 hasRelatedWork W2964159712 @default.
- W1838682714 hasRelatedWork W2995181781 @default.
- W1838682714 hasRelatedWork W3145956809 @default.
- W1838682714 isParatext "false" @default.
- W1838682714 isRetracted "false" @default.
- W1838682714 magId "1838682714" @default.
- W1838682714 workType "book-chapter" @default.