Matches in SemOpenAlex for { <https://semopenalex.org/work/W2147169623> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2147169623 abstract "The paper is addressed to determine an adequate notion of observational equivalence of finite processes, and to give a complete axiomatization of the associated congruence. We begin with establishing the fact that recursive equivalence of processes as it has been defined in the work of Milner and his colleagues is not a fully observational equivalence, in that it is much more restrictive than it should be to agree in all cases with the judgement of an effective observer. Inspiring from CCS, an alternative syntax is proposed for processes, bringing forward n-ary guarding operators. Given p and q in that syntax, which allows invisible actions to be expressed, p and q are said equivalent iff after any common experiment, they both react by identical answers or absence of answer to any ambiguous communication offer that the observer may present. It is shown that this equivalence is also a congruence ; a finite set of equational axioms is given for the congruence, which we prove to be a complete proof system by argumenting over canonical forms of programs. In a second time, our language is enriched by adding it the necessary operators for expressing the parallel composition of processes and the renaming of their actions. The definition of the observational equivalence is extended accordingly, and it is shown that we still obtain a congruence, for which a complete proof system is finally given." @default.
- W2147169623 created "2016-06-24" @default.
- W2147169623 creator A5091184775 @default.
- W2147169623 date "1982-01-01" @default.
- W2147169623 modified "2023-09-26" @default.
- W2147169623 title "An enlarged definition and complete axiomatization of observational congruence of finite processes" @default.
- W2147169623 cites W1576616200 @default.
- W2147169623 cites W1883772204 @default.
- W2147169623 cites W2137865376 @default.
- W2147169623 doi "https://doi.org/10.1007/3-540-11494-7_5" @default.
- W2147169623 hasPublicationYear "1982" @default.
- W2147169623 type Work @default.
- W2147169623 sameAs 2147169623 @default.
- W2147169623 citedByCount "15" @default.
- W2147169623 countsByYear W21471696232022 @default.
- W2147169623 crossrefType "book-chapter" @default.
- W2147169623 hasAuthorship W2147169623A5091184775 @default.
- W2147169623 hasConcept C118615104 @default.
- W2147169623 hasConcept C132074034 @default.
- W2147169623 hasConcept C136119220 @default.
- W2147169623 hasConcept C167729594 @default.
- W2147169623 hasConcept C199343813 @default.
- W2147169623 hasConcept C202444582 @default.
- W2147169623 hasConcept C2524010 @default.
- W2147169623 hasConcept C2777686260 @default.
- W2147169623 hasConcept C2777721189 @default.
- W2147169623 hasConcept C2780069185 @default.
- W2147169623 hasConcept C33923547 @default.
- W2147169623 hasConcept C41008148 @default.
- W2147169623 hasConcept C70846408 @default.
- W2147169623 hasConcept C71924100 @default.
- W2147169623 hasConcept C80444323 @default.
- W2147169623 hasConcept C9973445 @default.
- W2147169623 hasConceptScore W2147169623C118615104 @default.
- W2147169623 hasConceptScore W2147169623C132074034 @default.
- W2147169623 hasConceptScore W2147169623C136119220 @default.
- W2147169623 hasConceptScore W2147169623C167729594 @default.
- W2147169623 hasConceptScore W2147169623C199343813 @default.
- W2147169623 hasConceptScore W2147169623C202444582 @default.
- W2147169623 hasConceptScore W2147169623C2524010 @default.
- W2147169623 hasConceptScore W2147169623C2777686260 @default.
- W2147169623 hasConceptScore W2147169623C2777721189 @default.
- W2147169623 hasConceptScore W2147169623C2780069185 @default.
- W2147169623 hasConceptScore W2147169623C33923547 @default.
- W2147169623 hasConceptScore W2147169623C41008148 @default.
- W2147169623 hasConceptScore W2147169623C70846408 @default.
- W2147169623 hasConceptScore W2147169623C71924100 @default.
- W2147169623 hasConceptScore W2147169623C80444323 @default.
- W2147169623 hasConceptScore W2147169623C9973445 @default.
- W2147169623 hasLocation W21471696231 @default.
- W2147169623 hasOpenAccess W2147169623 @default.
- W2147169623 hasPrimaryLocation W21471696231 @default.
- W2147169623 hasRelatedWork W102335877 @default.
- W2147169623 hasRelatedWork W1550482136 @default.
- W2147169623 hasRelatedWork W1589421353 @default.
- W2147169623 hasRelatedWork W1883772204 @default.
- W2147169623 hasRelatedWork W1978469611 @default.
- W2147169623 hasRelatedWork W2001748564 @default.
- W2147169623 hasRelatedWork W2004721915 @default.
- W2147169623 hasRelatedWork W2102097307 @default.
- W2147169623 hasRelatedWork W2107733072 @default.
- W2147169623 hasRelatedWork W2118954772 @default.
- W2147169623 hasRelatedWork W2134200739 @default.
- W2147169623 hasRelatedWork W2137865376 @default.
- W2147169623 hasRelatedWork W2140919105 @default.
- W2147169623 hasRelatedWork W2157144873 @default.
- W2147169623 hasRelatedWork W2178463746 @default.
- W2147169623 hasRelatedWork W2610899059 @default.
- W2147169623 hasRelatedWork W2926572242 @default.
- W2147169623 hasRelatedWork W2951218816 @default.
- W2147169623 hasRelatedWork W3144368627 @default.
- W2147169623 hasRelatedWork W3089321352 @default.
- W2147169623 isParatext "false" @default.
- W2147169623 isRetracted "false" @default.
- W2147169623 magId "2147169623" @default.
- W2147169623 workType "book-chapter" @default.