Matches in SemOpenAlex for { <https://semopenalex.org/work/W2129121801> ?p ?o ?g. }
- W2129121801 endingPage "796" @default.
- W2129121801 startingPage "772" @default.
- W2129121801 abstract "Simulation preorder/equivalence and bisimulation equivalence are the most commonly used equivalences in concurrency theory. Their standard definitions are often called strong simulation/bisimulation, while weak simulation/bisimulation abstracts from internal τ -actions. We study the computational complexity of checking these strong and weak semantic preorders/equivalences between pushdown processes and finite-state processes. We present a complete picture of the computational complexity of these problems and also study fixed-parameter tractability in two important input parameters: x , the size of the finite control of the pushdown process, and y , the size of the finite-state process. All simulation problems are generally EXPTIME -complete and only become polynomial if both parameters x and y are fixed. Weak bisimulation equivalence is PSPACE -complete, but becomes polynomial if and only if parameter x is fixed. Strong bisimulation equivalence is PSPACE -complete, but becomes polynomial if either parameter x or y is fixed." @default.
- W2129121801 created "2016-06-24" @default.
- W2129121801 creator A5019575165 @default.
- W2129121801 creator A5082358544 @default.
- W2129121801 date "2010-07-01" @default.
- W2129121801 modified "2023-09-29" @default.
- W2129121801 title "On the complexity of checking semantic equivalences between pushdown processes and finite-state processes" @default.
- W2129121801 cites W1480220904 @default.
- W2129121801 cites W1488316634 @default.
- W2129121801 cites W1501673292 @default.
- W2129121801 cites W1503973138 @default.
- W2129121801 cites W1514446453 @default.
- W2129121801 cites W1532207056 @default.
- W2129121801 cites W1547562281 @default.
- W2129121801 cites W1555553717 @default.
- W2129121801 cites W1556566737 @default.
- W2129121801 cites W1557750304 @default.
- W2129121801 cites W1560595963 @default.
- W2129121801 cites W1560714495 @default.
- W2129121801 cites W1564499369 @default.
- W2129121801 cites W1582292473 @default.
- W2129121801 cites W1589224558 @default.
- W2129121801 cites W1589421353 @default.
- W2129121801 cites W1604199524 @default.
- W2129121801 cites W1604983619 @default.
- W2129121801 cites W1607820520 @default.
- W2129121801 cites W173099331 @default.
- W2129121801 cites W1760894569 @default.
- W2129121801 cites W1839623074 @default.
- W2129121801 cites W1879730986 @default.
- W2129121801 cites W1965060352 @default.
- W2129121801 cites W1965551437 @default.
- W2129121801 cites W1977601940 @default.
- W2129121801 cites W1997640494 @default.
- W2129121801 cites W1998608869 @default.
- W2129121801 cites W1998698985 @default.
- W2129121801 cites W2002089154 @default.
- W2129121801 cites W2005312844 @default.
- W2129121801 cites W2005406695 @default.
- W2129121801 cites W2008587618 @default.
- W2129121801 cites W2015640848 @default.
- W2129121801 cites W2051521505 @default.
- W2129121801 cites W2063293762 @default.
- W2129121801 cites W2067785662 @default.
- W2129121801 cites W2078003433 @default.
- W2129121801 cites W2078050093 @default.
- W2129121801 cites W2088846354 @default.
- W2129121801 cites W2114132089 @default.
- W2129121801 cites W2118539487 @default.
- W2129121801 cites W2124630420 @default.
- W2129121801 cites W2132750992 @default.
- W2129121801 cites W2136937307 @default.
- W2129121801 cites W2142944765 @default.
- W2129121801 cites W2147830331 @default.
- W2129121801 cites W2158487182 @default.
- W2129121801 cites W2172111426 @default.
- W2129121801 cites W2340102009 @default.
- W2129121801 cites W2340735175 @default.
- W2129121801 cites W2764296810 @default.
- W2129121801 cites W2913459036 @default.
- W2129121801 cites W2955084936 @default.
- W2129121801 cites W3000511677 @default.
- W2129121801 cites W3022006420 @default.
- W2129121801 cites W2561682356 @default.
- W2129121801 cites W2583118674 @default.
- W2129121801 cites W2583551482 @default.
- W2129121801 doi "https://doi.org/10.1016/j.ic.2010.01.003" @default.
- W2129121801 hasPublicationYear "2010" @default.
- W2129121801 type Work @default.
- W2129121801 sameAs 2129121801 @default.
- W2129121801 citedByCount "24" @default.
- W2129121801 countsByYear W21291218012012 @default.
- W2129121801 countsByYear W21291218012013 @default.
- W2129121801 countsByYear W21291218012014 @default.
- W2129121801 countsByYear W21291218012017 @default.
- W2129121801 countsByYear W21291218012018 @default.
- W2129121801 countsByYear W21291218012019 @default.
- W2129121801 countsByYear W21291218012020 @default.
- W2129121801 countsByYear W21291218012021 @default.
- W2129121801 crossrefType "journal-article" @default.
- W2129121801 hasAuthorship W2129121801A5019575165 @default.
- W2129121801 hasAuthorship W2129121801A5082358544 @default.
- W2129121801 hasBestOaLocation W21291218011 @default.
- W2129121801 hasConcept C110251889 @default.
- W2129121801 hasConcept C111919701 @default.
- W2129121801 hasConcept C112505250 @default.
- W2129121801 hasConcept C11413529 @default.
- W2129121801 hasConcept C116248031 @default.
- W2129121801 hasConcept C118615104 @default.
- W2129121801 hasConcept C135315306 @default.
- W2129121801 hasConcept C158008952 @default.
- W2129121801 hasConcept C161771561 @default.
- W2129121801 hasConcept C167822520 @default.
- W2129121801 hasConcept C179799912 @default.
- W2129121801 hasConcept C193702766 @default.
- W2129121801 hasConcept C197685441 @default.
- W2129121801 hasConcept C2780069185 @default.
- W2129121801 hasConcept C311688 @default.