Matches in SemOpenAlex for { <https://semopenalex.org/work/W2033132551> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2033132551 endingPage "176" @default.
- W2033132551 startingPage "159" @default.
- W2033132551 abstract "Both for interleaving and for non-interleaving semantics, several variants of a π-calculus bisimilarity can be given which differ on the requirements imposed on name instantiations. Examples are the late, early, open and ground variants. The ground variant is the simplest because it places no requirements on name instantiations. With the exception of open bisimilarities, none of the bisimilarity considered in the literature is a congruence relation on the full π-calculus language. We show that in the case of (certain forms of) causal bisimulation the late, early, open and ground variants coincide and are congruence relations in the sublanguage of the π-calculus without matching. We also show that to obtain the same results in the case of the interleaving bisimilarity, in addition to forbidding matching it is necessary to constrain the output prefix." @default.
- W2033132551 created "2016-06-24" @default.
- W2033132551 creator A5077030456 @default.
- W2033132551 creator A5078624552 @default.
- W2033132551 date "1998-05-01" @default.
- W2033132551 modified "2023-10-14" @default.
- W2033132551 title "Some congruence properties for π-calculus bisimilarities" @default.
- W2033132551 cites W1595835410 @default.
- W2033132551 cites W2001299902 @default.
- W2033132551 cites W2027689693 @default.
- W2033132551 cites W2030888138 @default.
- W2033132551 cites W2128932399 @default.
- W2033132551 cites W2568721247 @default.
- W2033132551 doi "https://doi.org/10.1016/s0304-3975(97)00125-4" @default.
- W2033132551 hasPublicationYear "1998" @default.
- W2033132551 type Work @default.
- W2033132551 sameAs 2033132551 @default.
- W2033132551 citedByCount "28" @default.
- W2033132551 countsByYear W20331325512014 @default.
- W2033132551 countsByYear W20331325512019 @default.
- W2033132551 countsByYear W20331325512021 @default.
- W2033132551 crossrefType "journal-article" @default.
- W2033132551 hasAuthorship W2033132551A5077030456 @default.
- W2033132551 hasAuthorship W2033132551A5078624552 @default.
- W2033132551 hasBestOaLocation W20331325511 @default.
- W2033132551 hasConcept C111919701 @default.
- W2033132551 hasConcept C118615104 @default.
- W2033132551 hasConcept C132074034 @default.
- W2033132551 hasConcept C135315306 @default.
- W2033132551 hasConcept C138885662 @default.
- W2033132551 hasConcept C141603448 @default.
- W2033132551 hasConcept C199343813 @default.
- W2033132551 hasConcept C199360897 @default.
- W2033132551 hasConcept C2524010 @default.
- W2033132551 hasConcept C2776411971 @default.
- W2033132551 hasConcept C2777686260 @default.
- W2033132551 hasConcept C28034677 @default.
- W2033132551 hasConcept C2984882572 @default.
- W2033132551 hasConcept C33923547 @default.
- W2033132551 hasConcept C41008148 @default.
- W2033132551 hasConcept C41895202 @default.
- W2033132551 hasConcept C71924100 @default.
- W2033132551 hasConcept C80444323 @default.
- W2033132551 hasConceptScore W2033132551C111919701 @default.
- W2033132551 hasConceptScore W2033132551C118615104 @default.
- W2033132551 hasConceptScore W2033132551C132074034 @default.
- W2033132551 hasConceptScore W2033132551C135315306 @default.
- W2033132551 hasConceptScore W2033132551C138885662 @default.
- W2033132551 hasConceptScore W2033132551C141603448 @default.
- W2033132551 hasConceptScore W2033132551C199343813 @default.
- W2033132551 hasConceptScore W2033132551C199360897 @default.
- W2033132551 hasConceptScore W2033132551C2524010 @default.
- W2033132551 hasConceptScore W2033132551C2776411971 @default.
- W2033132551 hasConceptScore W2033132551C2777686260 @default.
- W2033132551 hasConceptScore W2033132551C28034677 @default.
- W2033132551 hasConceptScore W2033132551C2984882572 @default.
- W2033132551 hasConceptScore W2033132551C33923547 @default.
- W2033132551 hasConceptScore W2033132551C41008148 @default.
- W2033132551 hasConceptScore W2033132551C41895202 @default.
- W2033132551 hasConceptScore W2033132551C71924100 @default.
- W2033132551 hasConceptScore W2033132551C80444323 @default.
- W2033132551 hasIssue "1-2" @default.
- W2033132551 hasLocation W20331325511 @default.
- W2033132551 hasOpenAccess W2033132551 @default.
- W2033132551 hasPrimaryLocation W20331325511 @default.
- W2033132551 hasRelatedWork W1552902269 @default.
- W2033132551 hasRelatedWork W1773175139 @default.
- W2033132551 hasRelatedWork W1975241797 @default.
- W2033132551 hasRelatedWork W2000760867 @default.
- W2033132551 hasRelatedWork W2033132551 @default.
- W2033132551 hasRelatedWork W2119035971 @default.
- W2033132551 hasRelatedWork W2386703210 @default.
- W2033132551 hasRelatedWork W2951875434 @default.
- W2033132551 hasRelatedWork W4249865767 @default.
- W2033132551 hasRelatedWork W2188968787 @default.
- W2033132551 hasVolume "198" @default.
- W2033132551 isParatext "false" @default.
- W2033132551 isRetracted "false" @default.
- W2033132551 magId "2033132551" @default.
- W2033132551 workType "article" @default.