Matches in SemOpenAlex for { <https://semopenalex.org/work/W1982246714> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1982246714 endingPage "15" @default.
- W1982246714 startingPage "1" @default.
- W1982246714 abstract "The paper shows that there is a deep structure on certain sets of bisimilar Probabilistic Automata (PA). The key prerequisite for these structures is a notion of compactness of PA. It is shown that compact bisimilar PA form lattices. These results are then used in order to establish normal forms not only for finite automata, but also for infinite automata, as long as they are compact." @default.
- W1982246714 created "2016-06-24" @default.
- W1982246714 creator A5048017742 @default.
- W1982246714 creator A5086985679 @default.
- W1982246714 date "2014-02-23" @default.
- W1982246714 modified "2023-10-08" @default.
- W1982246714 title "Lattice structures for bisimilar Probabilistic Automata" @default.
- W1982246714 cites W138290785 @default.
- W1982246714 cites W1489359924 @default.
- W1982246714 cites W1502991851 @default.
- W1982246714 cites W1505927408 @default.
- W1982246714 cites W1561357353 @default.
- W1982246714 cites W1656942730 @default.
- W1982246714 cites W2037507558 @default.
- W1982246714 cites W2056928795 @default.
- W1982246714 cites W2963069146 @default.
- W1982246714 cites W2963204233 @default.
- W1982246714 cites W996908304 @default.
- W1982246714 doi "https://doi.org/10.4204/eptcs.140.1" @default.
- W1982246714 hasPublicationYear "2014" @default.
- W1982246714 type Work @default.
- W1982246714 sameAs 1982246714 @default.
- W1982246714 citedByCount "0" @default.
- W1982246714 crossrefType "journal-article" @default.
- W1982246714 hasAuthorship W1982246714A5048017742 @default.
- W1982246714 hasAuthorship W1982246714A5086985679 @default.
- W1982246714 hasBestOaLocation W19822467141 @default.
- W1982246714 hasConcept C105795698 @default.
- W1982246714 hasConcept C112505250 @default.
- W1982246714 hasConcept C114614502 @default.
- W1982246714 hasConcept C116248031 @default.
- W1982246714 hasConcept C118615104 @default.
- W1982246714 hasConcept C121332964 @default.
- W1982246714 hasConcept C174327141 @default.
- W1982246714 hasConcept C174784677 @default.
- W1982246714 hasConcept C18648836 @default.
- W1982246714 hasConcept C202444582 @default.
- W1982246714 hasConcept C24890656 @default.
- W1982246714 hasConcept C2781204021 @default.
- W1982246714 hasConcept C33923547 @default.
- W1982246714 hasConcept C41008148 @default.
- W1982246714 hasConcept C49937458 @default.
- W1982246714 hasConcept C80444323 @default.
- W1982246714 hasConceptScore W1982246714C105795698 @default.
- W1982246714 hasConceptScore W1982246714C112505250 @default.
- W1982246714 hasConceptScore W1982246714C114614502 @default.
- W1982246714 hasConceptScore W1982246714C116248031 @default.
- W1982246714 hasConceptScore W1982246714C118615104 @default.
- W1982246714 hasConceptScore W1982246714C121332964 @default.
- W1982246714 hasConceptScore W1982246714C174327141 @default.
- W1982246714 hasConceptScore W1982246714C174784677 @default.
- W1982246714 hasConceptScore W1982246714C18648836 @default.
- W1982246714 hasConceptScore W1982246714C202444582 @default.
- W1982246714 hasConceptScore W1982246714C24890656 @default.
- W1982246714 hasConceptScore W1982246714C2781204021 @default.
- W1982246714 hasConceptScore W1982246714C33923547 @default.
- W1982246714 hasConceptScore W1982246714C41008148 @default.
- W1982246714 hasConceptScore W1982246714C49937458 @default.
- W1982246714 hasConceptScore W1982246714C80444323 @default.
- W1982246714 hasLocation W19822467141 @default.
- W1982246714 hasLocation W19822467142 @default.
- W1982246714 hasLocation W19822467143 @default.
- W1982246714 hasOpenAccess W1982246714 @default.
- W1982246714 hasPrimaryLocation W19822467141 @default.
- W1982246714 hasRelatedWork W125189525 @default.
- W1982246714 hasRelatedWork W1819966068 @default.
- W1982246714 hasRelatedWork W1976338306 @default.
- W1982246714 hasRelatedWork W1979874780 @default.
- W1982246714 hasRelatedWork W2004898185 @default.
- W1982246714 hasRelatedWork W2020497406 @default.
- W1982246714 hasRelatedWork W2029597530 @default.
- W1982246714 hasRelatedWork W2059045337 @default.
- W1982246714 hasRelatedWork W2149288970 @default.
- W1982246714 hasRelatedWork W2269685284 @default.
- W1982246714 hasRelatedWork W2275579475 @default.
- W1982246714 hasRelatedWork W2400132119 @default.
- W1982246714 hasRelatedWork W2479722198 @default.
- W1982246714 hasRelatedWork W2626796407 @default.
- W1982246714 hasRelatedWork W2900091779 @default.
- W1982246714 hasRelatedWork W2951530774 @default.
- W1982246714 hasRelatedWork W2974844513 @default.
- W1982246714 hasRelatedWork W3006162095 @default.
- W1982246714 hasRelatedWork W3114817139 @default.
- W1982246714 hasRelatedWork W2296674726 @default.
- W1982246714 hasVolume "140" @default.
- W1982246714 isParatext "false" @default.
- W1982246714 isRetracted "false" @default.
- W1982246714 magId "1982246714" @default.
- W1982246714 workType "article" @default.