Matches in SemOpenAlex for { <https://semopenalex.org/work/W3103955647> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W3103955647 endingPage "102" @default.
- W3103955647 startingPage "64" @default.
- W3103955647 abstract "In concurrency theory, weak bisimilarity is often used to relate processes exhibiting the same observable behaviour. The probabilistic environment gives rise to several generalisations; we study the infinitary semantics, which abstracts from a potentially unbounded number of internal actions being performed when something observable happens. Arguing that this notion yields the most desirable properties, we provide a sound and complete axiomatisation capturing its essence. Previous research has failed to achieve completeness in the presence of unguarded recursion, as only the finitary variant has been axiomatised, yet." @default.
- W3103955647 created "2020-11-23" @default.
- W3103955647 creator A5020332210 @default.
- W3103955647 creator A5048229897 @default.
- W3103955647 date "2019-01-01" @default.
- W3103955647 modified "2023-10-16" @default.
- W3103955647 title "Axiomatising infinitary probabilistic weak bisimilarity of finite-state behaviours" @default.
- W3103955647 cites W2022258624 @default.
- W3103955647 cites W2152398409 @default.
- W3103955647 doi "https://doi.org/10.1016/j.jlamp.2018.09.006" @default.
- W3103955647 hasPublicationYear "2019" @default.
- W3103955647 type Work @default.
- W3103955647 sameAs 3103955647 @default.
- W3103955647 citedByCount "7" @default.
- W3103955647 countsByYear W31039556472019 @default.
- W3103955647 countsByYear W31039556472020 @default.
- W3103955647 countsByYear W31039556472021 @default.
- W3103955647 countsByYear W31039556472023 @default.
- W3103955647 crossrefType "journal-article" @default.
- W3103955647 hasAuthorship W3103955647A5020332210 @default.
- W3103955647 hasAuthorship W3103955647A5048229897 @default.
- W3103955647 hasBestOaLocation W31039556471 @default.
- W3103955647 hasConcept C105795698 @default.
- W3103955647 hasConcept C11413529 @default.
- W3103955647 hasConcept C118615104 @default.
- W3103955647 hasConcept C121332964 @default.
- W3103955647 hasConcept C134306372 @default.
- W3103955647 hasConcept C136119220 @default.
- W3103955647 hasConcept C168773036 @default.
- W3103955647 hasConcept C17231256 @default.
- W3103955647 hasConcept C184337299 @default.
- W3103955647 hasConcept C193702766 @default.
- W3103955647 hasConcept C199360897 @default.
- W3103955647 hasConcept C202444582 @default.
- W3103955647 hasConcept C2778003309 @default.
- W3103955647 hasConcept C32848918 @default.
- W3103955647 hasConcept C33923547 @default.
- W3103955647 hasConcept C41008148 @default.
- W3103955647 hasConcept C49937458 @default.
- W3103955647 hasConcept C62520636 @default.
- W3103955647 hasConcept C80444323 @default.
- W3103955647 hasConceptScore W3103955647C105795698 @default.
- W3103955647 hasConceptScore W3103955647C11413529 @default.
- W3103955647 hasConceptScore W3103955647C118615104 @default.
- W3103955647 hasConceptScore W3103955647C121332964 @default.
- W3103955647 hasConceptScore W3103955647C134306372 @default.
- W3103955647 hasConceptScore W3103955647C136119220 @default.
- W3103955647 hasConceptScore W3103955647C168773036 @default.
- W3103955647 hasConceptScore W3103955647C17231256 @default.
- W3103955647 hasConceptScore W3103955647C184337299 @default.
- W3103955647 hasConceptScore W3103955647C193702766 @default.
- W3103955647 hasConceptScore W3103955647C199360897 @default.
- W3103955647 hasConceptScore W3103955647C202444582 @default.
- W3103955647 hasConceptScore W3103955647C2778003309 @default.
- W3103955647 hasConceptScore W3103955647C32848918 @default.
- W3103955647 hasConceptScore W3103955647C33923547 @default.
- W3103955647 hasConceptScore W3103955647C41008148 @default.
- W3103955647 hasConceptScore W3103955647C49937458 @default.
- W3103955647 hasConceptScore W3103955647C62520636 @default.
- W3103955647 hasConceptScore W3103955647C80444323 @default.
- W3103955647 hasLocation W31039556471 @default.
- W3103955647 hasLocation W31039556472 @default.
- W3103955647 hasOpenAccess W3103955647 @default.
- W3103955647 hasPrimaryLocation W31039556471 @default.
- W3103955647 hasRelatedWork W1603968847 @default.
- W3103955647 hasRelatedWork W1855927527 @default.
- W3103955647 hasRelatedWork W1992729023 @default.
- W3103955647 hasRelatedWork W2098629926 @default.
- W3103955647 hasRelatedWork W2598547732 @default.
- W3103955647 hasRelatedWork W2766124107 @default.
- W3103955647 hasRelatedWork W3103955647 @default.
- W3103955647 hasRelatedWork W3173557304 @default.
- W3103955647 hasRelatedWork W4232494180 @default.
- W3103955647 hasRelatedWork W4293472109 @default.
- W3103955647 hasVolume "102" @default.
- W3103955647 isParatext "false" @default.
- W3103955647 isRetracted "false" @default.
- W3103955647 magId "3103955647" @default.
- W3103955647 workType "article" @default.