Matches in SemOpenAlex for { <https://semopenalex.org/work/W3199486472> ?p ?o ?g. }
Showing items 1 to 84 of
84
with 100 items per page.
- W3199486472 endingPage "1559" @default.
- W3199486472 startingPage "1526" @default.
- W3199486472 abstract "Abstract Bisimulation and bisimilarity are fundamental notions in comparing state-based systems. Their extensions to a variety of systems have been actively pursued in recent years, a notable direction being quantitative extensions. In this paper we enhance a categorical framework for such extended (bi)simulation notions. We use coalgebras as system models and fibrations for organizing predicates—following the seminal work by Hermida and Jacobs. Endofunctor liftings are crucial predicate-forming ingredients; the first contribution of this work is to extend several extant lifting techniques from particular fibrations to $textbf {CLat}_wedge $-fibrations over $textbf {Set}$. The second contribution of this work is to introduce endolifting morphisms as a mechanism for comparing predicates between fibrations. We apply these techniques by deriving some known properties of the Hausdorff pseudometric and approximate bisimulation in control theory." @default.
- W3199486472 created "2021-09-27" @default.
- W3199486472 creator A5013382452 @default.
- W3199486472 creator A5020567371 @default.
- W3199486472 creator A5024204400 @default.
- W3199486472 creator A5041431787 @default.
- W3199486472 date "2021-09-01" @default.
- W3199486472 modified "2023-09-27" @default.
- W3199486472 title "Fibrational bisimulations and quantitative reasoning: Extended version" @default.
- W3199486472 cites W1578654632 @default.
- W3199486472 cites W1997070622 @default.
- W3199486472 cites W2011979623 @default.
- W3199486472 cites W2015172530 @default.
- W3199486472 cites W2061452598 @default.
- W3199486472 cites W2063972032 @default.
- W3199486472 cites W2086788473 @default.
- W3199486472 cites W2088189323 @default.
- W3199486472 cites W2139427429 @default.
- W3199486472 cites W2165748475 @default.
- W3199486472 cites W2174150751 @default.
- W3199486472 cites W2562060745 @default.
- W3199486472 cites W4213168386 @default.
- W3199486472 doi "https://doi.org/10.1093/logcom/exab051" @default.
- W3199486472 hasPublicationYear "2021" @default.
- W3199486472 type Work @default.
- W3199486472 sameAs 3199486472 @default.
- W3199486472 citedByCount "4" @default.
- W3199486472 countsByYear W31994864722022 @default.
- W3199486472 countsByYear W31994864722023 @default.
- W3199486472 crossrefType "journal-article" @default.
- W3199486472 hasAuthorship W3199486472A5013382452 @default.
- W3199486472 hasAuthorship W3199486472A5020567371 @default.
- W3199486472 hasAuthorship W3199486472A5024204400 @default.
- W3199486472 hasAuthorship W3199486472A5041431787 @default.
- W3199486472 hasConcept C11413529 @default.
- W3199486472 hasConcept C119857082 @default.
- W3199486472 hasConcept C135315306 @default.
- W3199486472 hasConcept C136119220 @default.
- W3199486472 hasConcept C137212723 @default.
- W3199486472 hasConcept C140146324 @default.
- W3199486472 hasConcept C156772000 @default.
- W3199486472 hasConcept C177264268 @default.
- W3199486472 hasConcept C199360897 @default.
- W3199486472 hasConcept C202444582 @default.
- W3199486472 hasConcept C33923547 @default.
- W3199486472 hasConcept C41008148 @default.
- W3199486472 hasConcept C5274069 @default.
- W3199486472 hasConcept C80444323 @default.
- W3199486472 hasConceptScore W3199486472C11413529 @default.
- W3199486472 hasConceptScore W3199486472C119857082 @default.
- W3199486472 hasConceptScore W3199486472C135315306 @default.
- W3199486472 hasConceptScore W3199486472C136119220 @default.
- W3199486472 hasConceptScore W3199486472C137212723 @default.
- W3199486472 hasConceptScore W3199486472C140146324 @default.
- W3199486472 hasConceptScore W3199486472C156772000 @default.
- W3199486472 hasConceptScore W3199486472C177264268 @default.
- W3199486472 hasConceptScore W3199486472C199360897 @default.
- W3199486472 hasConceptScore W3199486472C202444582 @default.
- W3199486472 hasConceptScore W3199486472C33923547 @default.
- W3199486472 hasConceptScore W3199486472C41008148 @default.
- W3199486472 hasConceptScore W3199486472C5274069 @default.
- W3199486472 hasConceptScore W3199486472C80444323 @default.
- W3199486472 hasFunder F4320338112 @default.
- W3199486472 hasIssue "6" @default.
- W3199486472 hasLocation W31994864721 @default.
- W3199486472 hasOpenAccess W3199486472 @default.
- W3199486472 hasPrimaryLocation W31994864721 @default.
- W3199486472 hasRelatedWork W1486922230 @default.
- W3199486472 hasRelatedWork W1588527214 @default.
- W3199486472 hasRelatedWork W2042150559 @default.
- W3199486472 hasRelatedWork W2150706552 @default.
- W3199486472 hasRelatedWork W2761547821 @default.
- W3199486472 hasRelatedWork W2899975002 @default.
- W3199486472 hasRelatedWork W4295364144 @default.
- W3199486472 hasRelatedWork W4300537285 @default.
- W3199486472 hasRelatedWork W4375947497 @default.
- W3199486472 hasRelatedWork W846333652 @default.
- W3199486472 hasVolume "31" @default.
- W3199486472 isParatext "false" @default.
- W3199486472 isRetracted "false" @default.
- W3199486472 magId "3199486472" @default.
- W3199486472 workType "article" @default.