Matches in SemOpenAlex for { <https://semopenalex.org/work/W4293733765> ?p ?o ?g. }
Showing items 1 to 51 of
51
with 100 items per page.
- W4293733765 abstract "The coarsest bisimulation-finding problem plays an important role in the formal analysis of concurrent systems. For example, solving this problem allows the behavior of different processes to be compared or specifications to be verified. Hence, in this paper an efficient concurrent bisimulation algorithm is presented. It is based on the sequential Paige and Tarjan algorithm and the concept of the state signatures. The original solution follows Hopcroft's principle process the smaller half. The presented algorithm uses its generalized version process all but the largest one better suited for concurrent and parallel applications. The running time achieved is comparable with the best known sequential and concurrent solutions. At the end of the work, the results of tests carried out are presented. The question of the lower bound for the running time of the optimal algorithm is also discussed." @default.
- W4293733765 created "2022-08-31" @default.
- W4293733765 creator A5014005816 @default.
- W4293733765 date "2013-11-25" @default.
- W4293733765 modified "2023-09-28" @default.
- W4293733765 title "Concurrent bisimulation algorithm" @default.
- W4293733765 doi "https://doi.org/10.48550/arxiv.1311.7635" @default.
- W4293733765 hasPublicationYear "2013" @default.
- W4293733765 type Work @default.
- W4293733765 citedByCount "0" @default.
- W4293733765 crossrefType "posted-content" @default.
- W4293733765 hasAuthorship W4293733765A5014005816 @default.
- W4293733765 hasBestOaLocation W42937337651 @default.
- W4293733765 hasConcept C11413529 @default.
- W4293733765 hasConcept C134306372 @default.
- W4293733765 hasConcept C135315306 @default.
- W4293733765 hasConcept C161771561 @default.
- W4293733765 hasConcept C199360897 @default.
- W4293733765 hasConcept C33923547 @default.
- W4293733765 hasConcept C41008148 @default.
- W4293733765 hasConcept C48103436 @default.
- W4293733765 hasConcept C77553402 @default.
- W4293733765 hasConcept C80444323 @default.
- W4293733765 hasConcept C98045186 @default.
- W4293733765 hasConceptScore W4293733765C11413529 @default.
- W4293733765 hasConceptScore W4293733765C134306372 @default.
- W4293733765 hasConceptScore W4293733765C135315306 @default.
- W4293733765 hasConceptScore W4293733765C161771561 @default.
- W4293733765 hasConceptScore W4293733765C199360897 @default.
- W4293733765 hasConceptScore W4293733765C33923547 @default.
- W4293733765 hasConceptScore W4293733765C41008148 @default.
- W4293733765 hasConceptScore W4293733765C48103436 @default.
- W4293733765 hasConceptScore W4293733765C77553402 @default.
- W4293733765 hasConceptScore W4293733765C80444323 @default.
- W4293733765 hasConceptScore W4293733765C98045186 @default.
- W4293733765 hasLocation W42937337651 @default.
- W4293733765 hasOpenAccess W4293733765 @default.
- W4293733765 hasPrimaryLocation W42937337651 @default.
- W4293733765 hasRelatedWork W1547524815 @default.
- W4293733765 hasRelatedWork W1971318400 @default.
- W4293733765 hasRelatedWork W2069441293 @default.
- W4293733765 hasRelatedWork W2124232232 @default.
- W4293733765 hasRelatedWork W2152947535 @default.
- W4293733765 hasRelatedWork W2155852086 @default.
- W4293733765 hasRelatedWork W2728210909 @default.
- W4293733765 hasRelatedWork W3047659890 @default.
- W4293733765 hasRelatedWork W3082644541 @default.
- W4293733765 hasRelatedWork W4207042428 @default.
- W4293733765 isParatext "false" @default.
- W4293733765 isRetracted "false" @default.
- W4293733765 workType "article" @default.