FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2128995870> ?p ?o ?g. }

• W2128995870 endingPage "479" @default.
• W2128995870 startingPage "447" @default.
• W2128995870 abstract "The most popular method for establishing bisimilarities among processes is to exhibit bisimulation relations. By definition, [Rscr ] is a bisimulation relation if [Rscr ] progresses to [Rscr ] itself, i.e. , pairs of processes in [Rscr ] can match each other's actions and their derivatives are again in [Rscr ]. We study generalisations of the method aimed at reducing the size of the relations to be exhibited and hence relieving the proof work needed to establish bisimilarity results. We allow a relation [Rscr ] to progress to a different relation [Fscr ] ([Rscr ]), where [Fscr ] is a function on relations. Functions that can be safely used in this way ( i.e. , such that if [Rscr ] progresses to [Fscr ] ([Rscr ]), then [Rscr ] only includes pairs of bisimilar processes) are sound . We give a simple condition that ensures soundness. We show that the class of sound functions contains non-trivial functions and we study the closure properties of the class with respect to various important function constructors, like composition, union and iteration. These properties allow us to construct sophisticated sound functions – and hence sophisticated proof techniques for bisimilarity – from simpler ones. The usefulness of our proof techniques is supported by various non-trivial examples drawn from the process algebras CCS and π-calculus. They include the proof of the unique solution of equations and the proof of a few properties of the replication operator. Among these, there is a novel result that justifies the adoption of a simple form of prefix-guarded replication as the only form of replication in the π-calculus." @default.
• W2128995870 created "2016-06-24" @default.
• W2128995870 creator A5077030456 @default.
• W2128995870 date "1998-10-01" @default.
• W2128995870 modified "2023-09-30" @default.
• W2128995870 title "On the bisimulation proof method" @default.
• W2128995870 cites W1499210811 @default.
• W2128995870 cites W1503973138 @default.
• W2128995870 cites W154885772 @default.
• W2128995870 cites W1561011284 @default.
• W2128995870 cites W1595835410 @default.
• W2128995870 cites W1611055354 @default.
• W2128995870 cites W172004165 @default.
• W2128995870 cites W1790031272 @default.
• W2128995870 cites W1894198336 @default.
• W2128995870 cites W1965551437 @default.
• W2128995870 cites W1966112122 @default.
• W2128995870 cites W1972478730 @default.
• W2128995870 cites W1978375202 @default.
• W2128995870 cites W1978469611 @default.
• W2128995870 cites W1988856107 @default.
• W2128995870 cites W1999706742 @default.
• W2128995870 cites W2010663699 @default.
• W2128995870 cites W2033241085 @default.
• W2128995870 cites W2048909687 @default.
• W2128995870 cites W2051521505 @default.
• W2128995870 cites W2070157304 @default.
• W2128995870 cites W2071095465 @default.
• W2128995870 cites W2072848882 @default.
• W2128995870 cites W2073458376 @default.
• W2128995870 cites W2095082129 @default.
• W2128995870 cites W2128932399 @default.
• W2128995870 cites W2156829867 @default.
• W2128995870 cites W2409053464 @default.
• W2128995870 cites W2572212261 @default.
• W2128995870 cites W59270753 @default.
• W2128995870 cites W2612491528 @default.
• W2128995870 doi "https://doi.org/10.1017/s0960129598002527" @default.
• W2128995870 hasPublicationYear "1998" @default.
• W2128995870 type Work @default.
• W2128995870 sameAs 2128995870 @default.
• W2128995870 citedByCount "181" @default.
• W2128995870 countsByYear W21289958702012 @default.
• W2128995870 countsByYear W21289958702013 @default.
• W2128995870 countsByYear W21289958702014 @default.
• W2128995870 countsByYear W21289958702015 @default.
• W2128995870 countsByYear W21289958702016 @default.
• W2128995870 countsByYear W21289958702017 @default.
• W2128995870 countsByYear W21289958702018 @default.
• W2128995870 countsByYear W21289958702019 @default.
• W2128995870 countsByYear W21289958702020 @default.
• W2128995870 countsByYear W21289958702021 @default.
• W2128995870 countsByYear W21289958702022 @default.
• W2128995870 countsByYear W21289958702023 @default.
• W2128995870 crossrefType "journal-article" @default.
• W2128995870 hasAuthorship W2128995870A5077030456 @default.
• W2128995870 hasConcept C108710211 @default.
• W2128995870 hasConcept C111472728 @default.
• W2128995870 hasConcept C118615104 @default.
• W2128995870 hasConcept C135315306 @default.
• W2128995870 hasConcept C136119220 @default.
• W2128995870 hasConcept C138885662 @default.
• W2128995870 hasConcept C14036430 @default.
• W2128995870 hasConcept C146834321 @default.
• W2128995870 hasConcept C154945302 @default.
• W2128995870 hasConcept C162324750 @default.
• W2128995870 hasConcept C199343813 @default.
• W2128995870 hasConcept C199360897 @default.
• W2128995870 hasConcept C202444582 @default.
• W2128995870 hasConcept C2524010 @default.
• W2128995870 hasConcept C25343380 @default.
• W2128995870 hasConcept C2777212361 @default.
• W2128995870 hasConcept C2777686260 @default.
• W2128995870 hasConcept C2780586882 @default.
• W2128995870 hasConcept C33923547 @default.
• W2128995870 hasConcept C34447519 @default.
• W2128995870 hasConcept C39920170 @default.
• W2128995870 hasConcept C41008148 @default.
• W2128995870 hasConcept C71924100 @default.
• W2128995870 hasConcept C77088390 @default.
• W2128995870 hasConcept C78458016 @default.
• W2128995870 hasConcept C86803240 @default.
• W2128995870 hasConceptScore W2128995870C108710211 @default.
• W2128995870 hasConceptScore W2128995870C111472728 @default.
• W2128995870 hasConceptScore W2128995870C118615104 @default.
• W2128995870 hasConceptScore W2128995870C135315306 @default.
• W2128995870 hasConceptScore W2128995870C136119220 @default.
• W2128995870 hasConceptScore W2128995870C138885662 @default.
• W2128995870 hasConceptScore W2128995870C14036430 @default.
• W2128995870 hasConceptScore W2128995870C146834321 @default.
• W2128995870 hasConceptScore W2128995870C154945302 @default.
• W2128995870 hasConceptScore W2128995870C162324750 @default.
• W2128995870 hasConceptScore W2128995870C199343813 @default.
• W2128995870 hasConceptScore W2128995870C199360897 @default.
• W2128995870 hasConceptScore W2128995870C202444582 @default.
• W2128995870 hasConceptScore W2128995870C2524010 @default.
• W2128995870 hasConceptScore W2128995870C25343380 @default.
• W2128995870 hasConceptScore W2128995870C2777212361 @default.

• next