Matches in SemOpenAlex for { <https://semopenalex.org/work/W2418120883> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2418120883 abstract "In TCS 146, Bard Bloom presented rule formats for four main notions of bisimulation with silent moves. He proved that weak bisimulation equivalence is a congruence for any process algebra defined by WB cool rules, and established similar results for rooted weak bisim- ulation (Milner's observational congruence), branching bisimulation and rooted branching bisimulation. This study reformulates Bloom's re- sults in a more accessible form and contributes analogues for (rooted) η-bisimulation and (rooted) delay bisimulation. Moreover, finite equa- tional axiomatisations of rooted weak bisimulation equivalence are pro- vided that are sound and complete for finite processes in any RWB cool process algebra. These require the introduction of auxiliary operators with lookahead. Finally, a challenge is presented for which Bloom's for- mats fall short and further improvement is called for." @default.
- W2418120883 created "2016-06-24" @default.
- W2418120883 creator A5019570708 @default.
- W2418120883 date "2005-01-01" @default.
- W2418120883 modified "2023-09-27" @default.
- W2418120883 title "On Cool Congruence Formats for Weak Bisimulations (Extended Abstract)" @default.
- W2418120883 cites W1540576960 @default.
- W2418120883 cites W1582665553 @default.
- W2418120883 cites W1966112122 @default.
- W2418120883 cites W1985161650 @default.
- W2418120883 cites W2041561080 @default.
- W2418120883 cites W2050078030 @default.
- W2418120883 cites W2070157304 @default.
- W2418120883 cites W2105135809 @default.
- W2418120883 cites W2105715274 @default.
- W2418120883 cites W2118229393 @default.
- W2418120883 cites W2133409888 @default.
- W2418120883 cites W2158942489 @default.
- W2418120883 cites W2160548641 @default.
- W2418120883 hasPublicationYear "2005" @default.
- W2418120883 type Work @default.
- W2418120883 sameAs 2418120883 @default.
- W2418120883 citedByCount "6" @default.
- W2418120883 countsByYear W24181208832013 @default.
- W2418120883 countsByYear W24181208832014 @default.
- W2418120883 crossrefType "journal-article" @default.
- W2418120883 hasAuthorship W2418120883A5019570708 @default.
- W2418120883 hasConcept C118615104 @default.
- W2418120883 hasConcept C132074034 @default.
- W2418120883 hasConcept C135315306 @default.
- W2418120883 hasConcept C136119220 @default.
- W2418120883 hasConcept C161771561 @default.
- W2418120883 hasConcept C202444582 @default.
- W2418120883 hasConcept C2524010 @default.
- W2418120883 hasConcept C2780069185 @default.
- W2418120883 hasConcept C33923547 @default.
- W2418120883 hasConcept C41008148 @default.
- W2418120883 hasConcept C80444323 @default.
- W2418120883 hasConcept C9973445 @default.
- W2418120883 hasConceptScore W2418120883C118615104 @default.
- W2418120883 hasConceptScore W2418120883C132074034 @default.
- W2418120883 hasConceptScore W2418120883C135315306 @default.
- W2418120883 hasConceptScore W2418120883C136119220 @default.
- W2418120883 hasConceptScore W2418120883C161771561 @default.
- W2418120883 hasConceptScore W2418120883C202444582 @default.
- W2418120883 hasConceptScore W2418120883C2524010 @default.
- W2418120883 hasConceptScore W2418120883C2780069185 @default.
- W2418120883 hasConceptScore W2418120883C33923547 @default.
- W2418120883 hasConceptScore W2418120883C41008148 @default.
- W2418120883 hasConceptScore W2418120883C80444323 @default.
- W2418120883 hasConceptScore W2418120883C9973445 @default.
- W2418120883 hasLocation W24181208831 @default.
- W2418120883 hasOpenAccess W2418120883 @default.
- W2418120883 hasPrimaryLocation W24181208831 @default.
- W2418120883 hasRelatedWork W1503973138 @default.
- W2418120883 hasRelatedWork W1509985362 @default.
- W2418120883 hasRelatedWork W1512082605 @default.
- W2418120883 hasRelatedWork W1547562281 @default.
- W2418120883 hasRelatedWork W1547752895 @default.
- W2418120883 hasRelatedWork W1966112122 @default.
- W2418120883 hasRelatedWork W1969947545 @default.
- W2418120883 hasRelatedWork W1999706742 @default.
- W2418120883 hasRelatedWork W2007809070 @default.
- W2418120883 hasRelatedWork W2017189999 @default.
- W2418120883 hasRelatedWork W2019447115 @default.
- W2418120883 hasRelatedWork W2027519864 @default.
- W2418120883 hasRelatedWork W2041561080 @default.
- W2418120883 hasRelatedWork W2070157304 @default.
- W2418120883 hasRelatedWork W2098981343 @default.
- W2418120883 hasRelatedWork W2105133485 @default.
- W2418120883 hasRelatedWork W2105135809 @default.
- W2418120883 hasRelatedWork W2118229393 @default.
- W2418120883 hasRelatedWork W2955084936 @default.
- W2418120883 hasRelatedWork W3144368627 @default.
- W2418120883 isParatext "false" @default.
- W2418120883 isRetracted "false" @default.
- W2418120883 magId "2418120883" @default.
- W2418120883 workType "article" @default.