Matches in SemOpenAlex for { <https://semopenalex.org/work/W4297448082> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W4297448082 abstract "We provide a new algorithm to determine stuttering equivalence with time complexity $O(m log n)$, where $n$ is the number of states and $m$ is the number of transitions of a Kripke structure. This algorithm can also be used to determine branching bisimulation in $O(m(log |mathit{Act}|+ log n))$ time where $mathit{Act}$ is the set of actions in a labelled transition system. Theoretically, our algorithm substantially improves upon existing algorithms which all have time complexity $O(m n)$ at best. Moreover, it has better or equal space complexity. Practical results confirm these findings showing that our algorithm can outperform existing algorithms with orders of magnitude, especially when the sizes of the Kripke structures are large. The importance of our algorithm stretches far beyond stuttering equivalence and branching bisimulation. The known $O(m n)$ algorithms were already far more efficient (both in space and time) than most other algorithms to determine behavioural equivalences (including weak bisimulation) and therefore it was often used as an essential preprocessing step. This new algorithm makes this use of stuttering equivalence and branching bisimulation even more attractive." @default.
- W4297448082 created "2022-09-28" @default.
- W4297448082 creator A5032619003 @default.
- W4297448082 creator A5036964869 @default.
- W4297448082 date "2016-01-07" @default.
- W4297448082 modified "2023-09-29" @default.
- W4297448082 title "An O(m log n) Algorithm for Stuttering Equivalence and Branching Bisimulation" @default.
- W4297448082 doi "https://doi.org/10.48550/arxiv.1601.01478" @default.
- W4297448082 hasPublicationYear "2016" @default.
- W4297448082 type Work @default.
- W4297448082 citedByCount "0" @default.
- W4297448082 crossrefType "posted-content" @default.
- W4297448082 hasAuthorship W4297448082A5032619003 @default.
- W4297448082 hasAuthorship W4297448082A5036964869 @default.
- W4297448082 hasBestOaLocation W42974480821 @default.
- W4297448082 hasConcept C110251889 @default.
- W4297448082 hasConcept C11413529 @default.
- W4297448082 hasConcept C118615104 @default.
- W4297448082 hasConcept C135315306 @default.
- W4297448082 hasConcept C159985019 @default.
- W4297448082 hasConcept C161913894 @default.
- W4297448082 hasConcept C192562407 @default.
- W4297448082 hasConcept C206175624 @default.
- W4297448082 hasConcept C2780069185 @default.
- W4297448082 hasConcept C311688 @default.
- W4297448082 hasConcept C33923547 @default.
- W4297448082 hasConcept C41008148 @default.
- W4297448082 hasConcept C63553672 @default.
- W4297448082 hasConceptScore W4297448082C110251889 @default.
- W4297448082 hasConceptScore W4297448082C11413529 @default.
- W4297448082 hasConceptScore W4297448082C118615104 @default.
- W4297448082 hasConceptScore W4297448082C135315306 @default.
- W4297448082 hasConceptScore W4297448082C159985019 @default.
- W4297448082 hasConceptScore W4297448082C161913894 @default.
- W4297448082 hasConceptScore W4297448082C192562407 @default.
- W4297448082 hasConceptScore W4297448082C206175624 @default.
- W4297448082 hasConceptScore W4297448082C2780069185 @default.
- W4297448082 hasConceptScore W4297448082C311688 @default.
- W4297448082 hasConceptScore W4297448082C33923547 @default.
- W4297448082 hasConceptScore W4297448082C41008148 @default.
- W4297448082 hasConceptScore W4297448082C63553672 @default.
- W4297448082 hasLocation W42974480821 @default.
- W4297448082 hasLocation W42974480822 @default.
- W4297448082 hasLocation W42974480823 @default.
- W4297448082 hasOpenAccess W4297448082 @default.
- W4297448082 hasPrimaryLocation W42974480821 @default.
- W4297448082 hasRelatedWork W1557218117 @default.
- W4297448082 hasRelatedWork W1826647686 @default.
- W4297448082 hasRelatedWork W2009657842 @default.
- W4297448082 hasRelatedWork W2044769119 @default.
- W4297448082 hasRelatedWork W2137502532 @default.
- W4297448082 hasRelatedWork W2161147766 @default.
- W4297448082 hasRelatedWork W2169984362 @default.
- W4297448082 hasRelatedWork W2806969377 @default.
- W4297448082 hasRelatedWork W3005658893 @default.
- W4297448082 hasRelatedWork W3103399624 @default.
- W4297448082 isParatext "false" @default.
- W4297448082 isRetracted "false" @default.
- W4297448082 workType "article" @default.