Matches in SemOpenAlex for { <https://semopenalex.org/work/W3101797533> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W3101797533 abstract "Coinductive reasoning about infinitary structures such as streams is widely applicable. However, practical frameworks for developing coinductive proofs and finding reasoning principles that help structure such proofs remain a challenge, especially in the context of machine-checked formalization. This paper gives a novel presentation of an equational theory for reasoning about structures up to weak bisimulation. The theory is both compositional, making it suitable for defining general-purpose lemmas, and also incremental, meaning that the bisimulation can be created interactively. To prove the theory's soundness, this paper also introduces generalized parameterized coinduction, which addresses expressivity problems of earlier works and provides a practical framework for coinductive reasoning. The paper presents the resulting equational theory for streams, but the technique applies to other structures too. All of the results in this paper have been proved in Coq, and the generalized parameterized coinduction framework is available as a Coq library." @default.
- W3101797533 created "2020-11-23" @default.
- W3101797533 creator A5035382393 @default.
- W3101797533 creator A5041784780 @default.
- W3101797533 creator A5041830534 @default.
- W3101797533 creator A5089769419 @default.
- W3101797533 date "2020-01-20" @default.
- W3101797533 modified "2023-10-14" @default.
- W3101797533 title "An equational theory for weak bisimulation via generalized parameterized coinduction" @default.
- W3101797533 cites W1495872178 @default.
- W3101797533 cites W1785480219 @default.
- W3101797533 cites W1973506584 @default.
- W3101797533 cites W2014364142 @default.
- W3101797533 cites W2023035194 @default.
- W3101797533 cites W2396379022 @default.
- W3101797533 cites W2530227870 @default.
- W3101797533 cites W2777036761 @default.
- W3101797533 cites W2807309257 @default.
- W3101797533 cites W2914339009 @default.
- W3101797533 cites W3102633916 @default.
- W3101797533 cites W4211188130 @default.
- W3101797533 doi "https://doi.org/10.1145/3372885.3373813" @default.
- W3101797533 hasPublicationYear "2020" @default.
- W3101797533 type Work @default.
- W3101797533 sameAs 3101797533 @default.
- W3101797533 citedByCount "8" @default.
- W3101797533 countsByYear W31017975332021 @default.
- W3101797533 countsByYear W31017975332022 @default.
- W3101797533 countsByYear W31017975332023 @default.
- W3101797533 crossrefType "proceedings-article" @default.
- W3101797533 hasAuthorship W3101797533A5035382393 @default.
- W3101797533 hasAuthorship W3101797533A5041784780 @default.
- W3101797533 hasAuthorship W3101797533A5041830534 @default.
- W3101797533 hasAuthorship W3101797533A5089769419 @default.
- W3101797533 hasBestOaLocation W31017975331 @default.
- W3101797533 hasConcept C108710211 @default.
- W3101797533 hasConcept C11413529 @default.
- W3101797533 hasConcept C135315306 @default.
- W3101797533 hasConcept C151730666 @default.
- W3101797533 hasConcept C165464430 @default.
- W3101797533 hasConcept C199360897 @default.
- W3101797533 hasConcept C203265346 @default.
- W3101797533 hasConcept C2524010 @default.
- W3101797533 hasConcept C2779343474 @default.
- W3101797533 hasConcept C33923547 @default.
- W3101797533 hasConcept C39920170 @default.
- W3101797533 hasConcept C40220748 @default.
- W3101797533 hasConcept C41008148 @default.
- W3101797533 hasConcept C80444323 @default.
- W3101797533 hasConcept C86803240 @default.
- W3101797533 hasConceptScore W3101797533C108710211 @default.
- W3101797533 hasConceptScore W3101797533C11413529 @default.
- W3101797533 hasConceptScore W3101797533C135315306 @default.
- W3101797533 hasConceptScore W3101797533C151730666 @default.
- W3101797533 hasConceptScore W3101797533C165464430 @default.
- W3101797533 hasConceptScore W3101797533C199360897 @default.
- W3101797533 hasConceptScore W3101797533C203265346 @default.
- W3101797533 hasConceptScore W3101797533C2524010 @default.
- W3101797533 hasConceptScore W3101797533C2779343474 @default.
- W3101797533 hasConceptScore W3101797533C33923547 @default.
- W3101797533 hasConceptScore W3101797533C39920170 @default.
- W3101797533 hasConceptScore W3101797533C40220748 @default.
- W3101797533 hasConceptScore W3101797533C41008148 @default.
- W3101797533 hasConceptScore W3101797533C80444323 @default.
- W3101797533 hasConceptScore W3101797533C86803240 @default.
- W3101797533 hasFunder F4320306076 @default.
- W3101797533 hasFunder F4320322120 @default.
- W3101797533 hasFunder F4320338298 @default.
- W3101797533 hasLocation W31017975331 @default.
- W3101797533 hasLocation W31017975332 @default.
- W3101797533 hasLocation W31017975333 @default.
- W3101797533 hasOpenAccess W3101797533 @default.
- W3101797533 hasPrimaryLocation W31017975331 @default.
- W3101797533 hasRelatedWork W1541732450 @default.
- W3101797533 hasRelatedWork W1982866418 @default.
- W3101797533 hasRelatedWork W2788182112 @default.
- W3101797533 hasRelatedWork W2951645031 @default.
- W3101797533 hasRelatedWork W3016930148 @default.
- W3101797533 hasRelatedWork W3037147088 @default.
- W3101797533 hasRelatedWork W3096325522 @default.
- W3101797533 hasRelatedWork W3101797533 @default.
- W3101797533 hasRelatedWork W3135716636 @default.
- W3101797533 hasRelatedWork W2518082944 @default.
- W3101797533 isParatext "false" @default.
- W3101797533 isRetracted "false" @default.
- W3101797533 magId "3101797533" @default.
- W3101797533 workType "article" @default.