FRINK Linked Data Fragments server

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

• W1791168610 abstract "Bisimulation is the primitive notion of equivalence between concurrent processes in Milner's Calculus of Communicating Systems (CCS); there is a nontrivial game-like protocol for distinguishing nonbisimular processes. In contrast, process distinguishability in Hoare's theory of Communicating Sequential processes (CSP) is determined soley on the basis of traces of visible actions. The authors examine what additional operations are needed to explain bisimulation similarly-specifically in the case of finitely branching processes without silent moves. They formulate a general notion of Structured Operational Semantics for processes with Guarded recursion (GSOS), and demonstrate that bisimulation does not agree with trace congruence with respect to any set of GSOS-definable contexts. In justifying the generality and significance of GSOS's, some of the basic proof theoretic facts are worked out that justify the SOS discipline." @default.
• W1791168610 created "2016-06-24" @default.
• W1791168610 creator A5043105322 @default.
• W1791168610 creator A5045567747 @default.
• W1791168610 creator A5066189305 @default.
• W1791168610 date "1987-11-01" @default.
• W1791168610 modified "2023-09-27" @default.
• W1791168610 title "Bisimulation can't be traced. Preliminary report" @default.
• W1791168610 cites W1487199072 @default.
• W1791168610 cites W1538224693 @default.
• W1791168610 cites W1547409410 @default.
• W1791168610 cites W1608445965 @default.
• W1791168610 cites W1968829301 @default.
• W1791168610 cites W1972478730 @default.
• W1791168610 cites W2001748564 @default.
• W1791168610 cites W2069709605 @default.
• W1791168610 cites W2102097307 @default.
• W1791168610 cites W2110425399 @default.
• W1791168610 cites W2137865376 @default.
• W1791168610 cites W2144545266 @default.
• W1791168610 cites W2157144873 @default.
• W1791168610 cites W2158942489 @default.
• W1791168610 cites W2167004912 @default.
• W1791168610 cites W2661990870 @default.
• W1791168610 cites W2913461254 @default.
• W1791168610 hasPublicationYear "1987" @default.
• W1791168610 type Work @default.
• W1791168610 sameAs 1791168610 @default.
• W1791168610 citedByCount "32" @default.
• W1791168610 countsByYear W17911686102013 @default.
• W1791168610 countsByYear W17911686102023 @default.
• W1791168610 crossrefType "journal-article" @default.
• W1791168610 hasAuthorship W1791168610A5043105322 @default.
• W1791168610 hasAuthorship W1791168610A5045567747 @default.
• W1791168610 hasAuthorship W1791168610A5066189305 @default.
• W1791168610 hasConcept C108710211 @default.
• W1791168610 hasConcept C132074034 @default.
• W1791168610 hasConcept C135315306 @default.
• W1791168610 hasConcept C136119220 @default.
• W1791168610 hasConcept C138885662 @default.
• W1791168610 hasConcept C156325763 @default.
• W1791168610 hasConcept C15744967 @default.
• W1791168610 hasConcept C161771561 @default.
• W1791168610 hasConcept C168773036 @default.
• W1791168610 hasConcept C184337299 @default.
• W1791168610 hasConcept C193702766 @default.
• W1791168610 hasConcept C199343813 @default.
• W1791168610 hasConcept C199360897 @default.
• W1791168610 hasConcept C202444582 @default.
• W1791168610 hasConcept C2524010 @default.
• W1791168610 hasConcept C2777686260 @default.
• W1791168610 hasConcept C2780069185 @default.
• W1791168610 hasConcept C2780767217 @default.
• W1791168610 hasConcept C33923547 @default.
• W1791168610 hasConcept C40220748 @default.
• W1791168610 hasConcept C41008148 @default.
• W1791168610 hasConcept C41895202 @default.
• W1791168610 hasConcept C542102704 @default.
• W1791168610 hasConcept C71924100 @default.
• W1791168610 hasConcept C75291252 @default.
• W1791168610 hasConcept C80444323 @default.
• W1791168610 hasConceptScore W1791168610C108710211 @default.
• W1791168610 hasConceptScore W1791168610C132074034 @default.
• W1791168610 hasConceptScore W1791168610C135315306 @default.
• W1791168610 hasConceptScore W1791168610C136119220 @default.
• W1791168610 hasConceptScore W1791168610C138885662 @default.
• W1791168610 hasConceptScore W1791168610C156325763 @default.
• W1791168610 hasConceptScore W1791168610C15744967 @default.
• W1791168610 hasConceptScore W1791168610C161771561 @default.
• W1791168610 hasConceptScore W1791168610C168773036 @default.
• W1791168610 hasConceptScore W1791168610C184337299 @default.
• W1791168610 hasConceptScore W1791168610C193702766 @default.
• W1791168610 hasConceptScore W1791168610C199343813 @default.
• W1791168610 hasConceptScore W1791168610C199360897 @default.
• W1791168610 hasConceptScore W1791168610C202444582 @default.
• W1791168610 hasConceptScore W1791168610C2524010 @default.
• W1791168610 hasConceptScore W1791168610C2777686260 @default.
• W1791168610 hasConceptScore W1791168610C2780069185 @default.
• W1791168610 hasConceptScore W1791168610C2780767217 @default.
• W1791168610 hasConceptScore W1791168610C33923547 @default.
• W1791168610 hasConceptScore W1791168610C40220748 @default.
• W1791168610 hasConceptScore W1791168610C41008148 @default.
• W1791168610 hasConceptScore W1791168610C41895202 @default.
• W1791168610 hasConceptScore W1791168610C542102704 @default.
• W1791168610 hasConceptScore W1791168610C71924100 @default.
• W1791168610 hasConceptScore W1791168610C75291252 @default.
• W1791168610 hasConceptScore W1791168610C80444323 @default.
• W1791168610 hasLocation W17911686101 @default.
• W1791168610 hasOpenAccess W1791168610 @default.
• W1791168610 hasPrimaryLocation W17911686101 @default.
• W1791168610 hasRelatedWork W1487199072 @default.
• W1791168610 hasRelatedWork W1503973138 @default.
• W1791168610 hasRelatedWork W1547562281 @default.
• W1791168610 hasRelatedWork W1972478730 @default.
• W1791168610 hasRelatedWork W1978469611 @default.
• W1791168610 hasRelatedWork W1999706742 @default.
• W1791168610 hasRelatedWork W2001748564 @default.
• W1791168610 hasRelatedWork W2048826020 @default.
• W1791168610 hasRelatedWork W2070157304 @default.
• W1791168610 hasRelatedWork W2102097307 @default.

• next