Matches in SemOpenAlex for { <https://semopenalex.org/work/W175099411> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W175099411 endingPage "9" @default.
- W175099411 startingPage "1" @default.
- W175099411 abstract "Symbolic bisimulation avoids the infinite branching problem caused by instantiating input names with all names in the standard definition of bisimulation in π-calculus.However,it does not automatically lead to an efficient algorithm,because symbolic bisimulation is indexed by conditions on names,and directly manipulating such conditions can be computationally costly.In this paper a new notion of bisimulation is introduced,in which the manipulation of maximally consistent conditions is replaced with a systematic employment of schematic names.It is shown that the new notion captures symbolic bisimulation in a precise sense.Based on the new definition an efficient algorithm,which instantiates input names on-the -fly,is presented to check bisimulations for finite-control π-calculus." @default.
- W175099411 created "2016-06-24" @default.
- W175099411 creator A5024975710 @default.
- W175099411 date "2000-01-10" @default.
- W175099411 modified "2023-09-24" @default.
- W175099411 title "Computing Bisimulations for Finite-Controlπ-Calculus" @default.
- W175099411 hasPublicationYear "2000" @default.
- W175099411 type Work @default.
- W175099411 sameAs 175099411 @default.
- W175099411 citedByCount "0" @default.
- W175099411 crossrefType "journal-article" @default.
- W175099411 hasAuthorship W175099411A5024975710 @default.
- W175099411 hasConcept C11413529 @default.
- W175099411 hasConcept C127413603 @default.
- W175099411 hasConcept C135315306 @default.
- W175099411 hasConcept C136119220 @default.
- W175099411 hasConcept C161771561 @default.
- W175099411 hasConcept C192328126 @default.
- W175099411 hasConcept C199343813 @default.
- W175099411 hasConcept C202444582 @default.
- W175099411 hasConcept C24326235 @default.
- W175099411 hasConcept C2777686260 @default.
- W175099411 hasConcept C33923547 @default.
- W175099411 hasConcept C41008148 @default.
- W175099411 hasConcept C71924100 @default.
- W175099411 hasConcept C80444323 @default.
- W175099411 hasConceptScore W175099411C11413529 @default.
- W175099411 hasConceptScore W175099411C127413603 @default.
- W175099411 hasConceptScore W175099411C135315306 @default.
- W175099411 hasConceptScore W175099411C136119220 @default.
- W175099411 hasConceptScore W175099411C161771561 @default.
- W175099411 hasConceptScore W175099411C192328126 @default.
- W175099411 hasConceptScore W175099411C199343813 @default.
- W175099411 hasConceptScore W175099411C202444582 @default.
- W175099411 hasConceptScore W175099411C24326235 @default.
- W175099411 hasConceptScore W175099411C2777686260 @default.
- W175099411 hasConceptScore W175099411C33923547 @default.
- W175099411 hasConceptScore W175099411C41008148 @default.
- W175099411 hasConceptScore W175099411C71924100 @default.
- W175099411 hasConceptScore W175099411C80444323 @default.
- W175099411 hasIssue "1" @default.
- W175099411 hasLocation W1750994111 @default.
- W175099411 hasOpenAccess W175099411 @default.
- W175099411 hasPrimaryLocation W1750994111 @default.
- W175099411 hasRelatedWork W1480434155 @default.
- W175099411 hasRelatedWork W1487583155 @default.
- W175099411 hasRelatedWork W1556831389 @default.
- W175099411 hasRelatedWork W1568775940 @default.
- W175099411 hasRelatedWork W1596619087 @default.
- W175099411 hasRelatedWork W1599897657 @default.
- W175099411 hasRelatedWork W2016748987 @default.
- W175099411 hasRelatedWork W2031016532 @default.
- W175099411 hasRelatedWork W2042609207 @default.
- W175099411 hasRelatedWork W2042633675 @default.
- W175099411 hasRelatedWork W2078103992 @default.
- W175099411 hasRelatedWork W2090168620 @default.
- W175099411 hasRelatedWork W2126519460 @default.
- W175099411 hasRelatedWork W2136356641 @default.
- W175099411 hasRelatedWork W2140154996 @default.
- W175099411 hasRelatedWork W2169849200 @default.
- W175099411 hasRelatedWork W2171881435 @default.
- W175099411 hasRelatedWork W2898466129 @default.
- W175099411 hasRelatedWork W2964159712 @default.
- W175099411 hasRelatedWork W2995181781 @default.
- W175099411 hasVolume "15" @default.
- W175099411 isParatext "false" @default.
- W175099411 isRetracted "false" @default.
- W175099411 magId "175099411" @default.
- W175099411 workType "article" @default.