Matches in SemOpenAlex for { <https://semopenalex.org/work/W2040792183> ?p ?o ?g. }
Showing items 1 to 74 of
74
with 100 items per page.
- W2040792183 endingPage "60" @default.
- W2040792183 startingPage "49" @default.
- W2040792183 abstract "In this paper we consider the problem of deciding bisimulation equivalence of a BPP and a finite-state system. We show that the problem can be solved in polynomial time and we present an algorithm deciding the problem in time O(n4). The algorithm also constructs for each state of the finite-state system a ‘symbolic’ semilinear representation of the set of all states of the BPP system which are bisimilar with this state." @default.
- W2040792183 created "2016-06-24" @default.
- W2040792183 creator A5032164630 @default.
- W2040792183 creator A5075376780 @default.
- W2040792183 date "2005-12-01" @default.
- W2040792183 modified "2023-09-23" @default.
- W2040792183 title "Bisimulation equivalence of a BPP and a finite-state system can be decided in polynomial time" @default.
- W2040792183 cites W2068361557 @default.
- W2040792183 cites W2137502532 @default.
- W2040792183 doi "https://doi.org/10.1016/j.entcs.2005.02.065" @default.
- W2040792183 hasPublicationYear "2005" @default.
- W2040792183 type Work @default.
- W2040792183 sameAs 2040792183 @default.
- W2040792183 citedByCount "4" @default.
- W2040792183 countsByYear W20407921832012 @default.
- W2040792183 countsByYear W20407921832013 @default.
- W2040792183 countsByYear W20407921832022 @default.
- W2040792183 crossrefType "journal-article" @default.
- W2040792183 hasAuthorship W2040792183A5032164630 @default.
- W2040792183 hasAuthorship W2040792183A5075376780 @default.
- W2040792183 hasBestOaLocation W20407921831 @default.
- W2040792183 hasConcept C11413529 @default.
- W2040792183 hasConcept C118615104 @default.
- W2040792183 hasConcept C134306372 @default.
- W2040792183 hasConcept C135315306 @default.
- W2040792183 hasConcept C136119220 @default.
- W2040792183 hasConcept C162392398 @default.
- W2040792183 hasConcept C167822520 @default.
- W2040792183 hasConcept C17744445 @default.
- W2040792183 hasConcept C199539241 @default.
- W2040792183 hasConcept C202444582 @default.
- W2040792183 hasConcept C2776359362 @default.
- W2040792183 hasConcept C2780069185 @default.
- W2040792183 hasConcept C311688 @default.
- W2040792183 hasConcept C33923547 @default.
- W2040792183 hasConcept C48103436 @default.
- W2040792183 hasConcept C94625758 @default.
- W2040792183 hasConceptScore W2040792183C11413529 @default.
- W2040792183 hasConceptScore W2040792183C118615104 @default.
- W2040792183 hasConceptScore W2040792183C134306372 @default.
- W2040792183 hasConceptScore W2040792183C135315306 @default.
- W2040792183 hasConceptScore W2040792183C136119220 @default.
- W2040792183 hasConceptScore W2040792183C162392398 @default.
- W2040792183 hasConceptScore W2040792183C167822520 @default.
- W2040792183 hasConceptScore W2040792183C17744445 @default.
- W2040792183 hasConceptScore W2040792183C199539241 @default.
- W2040792183 hasConceptScore W2040792183C202444582 @default.
- W2040792183 hasConceptScore W2040792183C2776359362 @default.
- W2040792183 hasConceptScore W2040792183C2780069185 @default.
- W2040792183 hasConceptScore W2040792183C311688 @default.
- W2040792183 hasConceptScore W2040792183C33923547 @default.
- W2040792183 hasConceptScore W2040792183C48103436 @default.
- W2040792183 hasConceptScore W2040792183C94625758 @default.
- W2040792183 hasIssue "3" @default.
- W2040792183 hasLocation W20407921831 @default.
- W2040792183 hasOpenAccess W2040792183 @default.
- W2040792183 hasPrimaryLocation W20407921831 @default.
- W2040792183 hasRelatedWork W2027671360 @default.
- W2040792183 hasRelatedWork W2040792183 @default.
- W2040792183 hasRelatedWork W2137502532 @default.
- W2040792183 hasRelatedWork W2186244857 @default.
- W2040792183 hasRelatedWork W2414546088 @default.
- W2040792183 hasRelatedWork W2790073166 @default.
- W2040792183 hasRelatedWork W2984844316 @default.
- W2040792183 hasRelatedWork W3005658893 @default.
- W2040792183 hasRelatedWork W3046613010 @default.
- W2040792183 hasRelatedWork W4297758500 @default.
- W2040792183 hasVolume "138" @default.
- W2040792183 isParatext "false" @default.
- W2040792183 isRetracted "false" @default.
- W2040792183 magId "2040792183" @default.
- W2040792183 workType "article" @default.