Matches in SemOpenAlex for { <https://semopenalex.org/work/W2914362020> ?p ?o ?g. }
- W2914362020 abstract "We present a general coalgebraic setting in which we define finite and infinite behaviour with Buchi acceptance condition for systems whose type is a monad. The first part of the paper is devoted to presenting a construction of a monad suitable for modelling (in)finite behaviour. The second part of the paper focuses on presenting the concepts of a (coalgebraic) automaton and its ($omega$-) behaviour. We end the paper with coalgebraic Kleene-type theorems for ($omega$-) regular input. The framework is instantiated on non-deterministic (Buchi) automata, tree automata and probabilistic automata." @default.
- W2914362020 created "2019-02-21" @default.
- W2914362020 creator A5033657962 @default.
- W2914362020 date "2019-02-07" @default.
- W2914362020 modified "2023-09-27" @default.
- W2914362020 title "A coalgebraic take on regular and $omega$-regular behaviours" @default.
- W2914362020 cites W1482244486 @default.
- W2914362020 cites W1490738910 @default.
- W2914362020 cites W1503973138 @default.
- W2914362020 cites W1511995155 @default.
- W2914362020 cites W1518679248 @default.
- W2914362020 cites W1532044601 @default.
- W2914362020 cites W1547562281 @default.
- W2914362020 cites W1561269335 @default.
- W2914362020 cites W1563982778 @default.
- W2914362020 cites W1570445666 @default.
- W2914362020 cites W1577412708 @default.
- W2914362020 cites W1586710 @default.
- W2914362020 cites W1704074244 @default.
- W2914362020 cites W1963619740 @default.
- W2914362020 cites W1965620900 @default.
- W2914362020 cites W1971383138 @default.
- W2914362020 cites W1972464717 @default.
- W2914362020 cites W2002089154 @default.
- W2914362020 cites W2015640848 @default.
- W2914362020 cites W2017778827 @default.
- W2914362020 cites W2088189323 @default.
- W2914362020 cites W2088194522 @default.
- W2914362020 cites W2091780332 @default.
- W2914362020 cites W2093450770 @default.
- W2914362020 cites W2095747698 @default.
- W2914362020 cites W2099514375 @default.
- W2914362020 cites W2107674601 @default.
- W2914362020 cites W2124315269 @default.
- W2914362020 cites W2135776689 @default.
- W2914362020 cites W2137255106 @default.
- W2914362020 cites W2138856440 @default.
- W2914362020 cites W2177291786 @default.
- W2914362020 cites W2242694813 @default.
- W2914362020 cites W2400819577 @default.
- W2914362020 cites W2410691440 @default.
- W2914362020 cites W2559266808 @default.
- W2914362020 cites W2772890845 @default.
- W2914362020 cites W2789380954 @default.
- W2914362020 cites W2888803795 @default.
- W2914362020 cites W2963033293 @default.
- W2914362020 cites W2963470005 @default.
- W2914362020 cites W369805404 @default.
- W2914362020 cites W583126019 @default.
- W2914362020 hasPublicationYear "2019" @default.
- W2914362020 type Work @default.
- W2914362020 sameAs 2914362020 @default.
- W2914362020 citedByCount "0" @default.
- W2914362020 crossrefType "posted-content" @default.
- W2914362020 hasAuthorship W2914362020A5033657962 @default.
- W2914362020 hasConcept C112505250 @default.
- W2914362020 hasConcept C113174947 @default.
- W2914362020 hasConcept C114614502 @default.
- W2914362020 hasConcept C118615104 @default.
- W2914362020 hasConcept C121332964 @default.
- W2914362020 hasConcept C136119220 @default.
- W2914362020 hasConcept C154945302 @default.
- W2914362020 hasConcept C156772000 @default.
- W2914362020 hasConcept C165753454 @default.
- W2914362020 hasConcept C18903297 @default.
- W2914362020 hasConcept C194525867 @default.
- W2914362020 hasConcept C202444582 @default.
- W2914362020 hasConcept C206470798 @default.
- W2914362020 hasConcept C2777299769 @default.
- W2914362020 hasConcept C2778249326 @default.
- W2914362020 hasConcept C2779557605 @default.
- W2914362020 hasConcept C33923547 @default.
- W2914362020 hasConcept C33959348 @default.
- W2914362020 hasConcept C41008148 @default.
- W2914362020 hasConcept C49937458 @default.
- W2914362020 hasConcept C62520636 @default.
- W2914362020 hasConcept C80444323 @default.
- W2914362020 hasConcept C86803240 @default.
- W2914362020 hasConceptScore W2914362020C112505250 @default.
- W2914362020 hasConceptScore W2914362020C113174947 @default.
- W2914362020 hasConceptScore W2914362020C114614502 @default.
- W2914362020 hasConceptScore W2914362020C118615104 @default.
- W2914362020 hasConceptScore W2914362020C121332964 @default.
- W2914362020 hasConceptScore W2914362020C136119220 @default.
- W2914362020 hasConceptScore W2914362020C154945302 @default.
- W2914362020 hasConceptScore W2914362020C156772000 @default.
- W2914362020 hasConceptScore W2914362020C165753454 @default.
- W2914362020 hasConceptScore W2914362020C18903297 @default.
- W2914362020 hasConceptScore W2914362020C194525867 @default.
- W2914362020 hasConceptScore W2914362020C202444582 @default.
- W2914362020 hasConceptScore W2914362020C206470798 @default.
- W2914362020 hasConceptScore W2914362020C2777299769 @default.
- W2914362020 hasConceptScore W2914362020C2778249326 @default.
- W2914362020 hasConceptScore W2914362020C2779557605 @default.
- W2914362020 hasConceptScore W2914362020C33923547 @default.
- W2914362020 hasConceptScore W2914362020C33959348 @default.
- W2914362020 hasConceptScore W2914362020C41008148 @default.
- W2914362020 hasConceptScore W2914362020C49937458 @default.
- W2914362020 hasConceptScore W2914362020C62520636 @default.
- W2914362020 hasConceptScore W2914362020C80444323 @default.