Matches in SemOpenAlex for { <https://semopenalex.org/work/W1557501699> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W1557501699 abstract "We show the coincidence of non-ground π-calculus and πξ-calculus, a CCS-like calculus that allows processes to be explicitly represented as temporary functions of input parameters, and as permanent functions of their free names.As intermediate results, strong and weak π-calculus full congruences are characterized as finitary closures of the corresponding &pi:-bisimilarities. In this paper we consider only late π-calculus, but all of the characterizations can be easily adapted to deal with non-ground semantics of the early family." @default.
- W1557501699 created "2016-06-24" @default.
- W1557501699 creator A5026955535 @default.
- W1557501699 date "1998-01-01" @default.
- W1557501699 modified "2023-09-26" @default.
- W1557501699 title "Pi-Congruences as CCS Equivalences" @default.
- W1557501699 cites W1561927156 @default.
- W1557501699 cites W1971107784 @default.
- W1557501699 cites W1978375202 @default.
- W1557501699 cites W1978469611 @default.
- W1557501699 cites W2001748564 @default.
- W1557501699 cites W2027689693 @default.
- W1557501699 cites W2070157304 @default.
- W1557501699 cites W2073458376 @default.
- W1557501699 cites W2105135809 @default.
- W1557501699 cites W2106102830 @default.
- W1557501699 cites W2128932399 @default.
- W1557501699 cites W2913663755 @default.
- W1557501699 cites W86963078 @default.
- W1557501699 doi "https://doi.org/10.1007/3-540-49253-4_26" @default.
- W1557501699 hasPublicationYear "1998" @default.
- W1557501699 type Work @default.
- W1557501699 sameAs 1557501699 @default.
- W1557501699 citedByCount "0" @default.
- W1557501699 crossrefType "book-chapter" @default.
- W1557501699 hasAuthorship W1557501699A5026955535 @default.
- W1557501699 hasConcept C118615104 @default.
- W1557501699 hasConcept C136119220 @default.
- W1557501699 hasConcept C161771561 @default.
- W1557501699 hasConcept C184337299 @default.
- W1557501699 hasConcept C199343813 @default.
- W1557501699 hasConcept C199360897 @default.
- W1557501699 hasConcept C202444582 @default.
- W1557501699 hasConcept C2777686260 @default.
- W1557501699 hasConcept C2778003309 @default.
- W1557501699 hasConcept C2984882572 @default.
- W1557501699 hasConcept C33923547 @default.
- W1557501699 hasConcept C41008148 @default.
- W1557501699 hasConcept C71924100 @default.
- W1557501699 hasConcept C9973445 @default.
- W1557501699 hasConceptScore W1557501699C118615104 @default.
- W1557501699 hasConceptScore W1557501699C136119220 @default.
- W1557501699 hasConceptScore W1557501699C161771561 @default.
- W1557501699 hasConceptScore W1557501699C184337299 @default.
- W1557501699 hasConceptScore W1557501699C199343813 @default.
- W1557501699 hasConceptScore W1557501699C199360897 @default.
- W1557501699 hasConceptScore W1557501699C202444582 @default.
- W1557501699 hasConceptScore W1557501699C2777686260 @default.
- W1557501699 hasConceptScore W1557501699C2778003309 @default.
- W1557501699 hasConceptScore W1557501699C2984882572 @default.
- W1557501699 hasConceptScore W1557501699C33923547 @default.
- W1557501699 hasConceptScore W1557501699C41008148 @default.
- W1557501699 hasConceptScore W1557501699C71924100 @default.
- W1557501699 hasConceptScore W1557501699C9973445 @default.
- W1557501699 hasLocation W15575016991 @default.
- W1557501699 hasOpenAccess W1557501699 @default.
- W1557501699 hasPrimaryLocation W15575016991 @default.
- W1557501699 hasRelatedWork W1513197291 @default.
- W1557501699 hasRelatedWork W1533556529 @default.
- W1557501699 hasRelatedWork W1546048935 @default.
- W1557501699 hasRelatedWork W2019577726 @default.
- W1557501699 hasRelatedWork W2023149698 @default.
- W1557501699 hasRelatedWork W2024300530 @default.
- W1557501699 hasRelatedWork W2030865387 @default.
- W1557501699 hasRelatedWork W2032017843 @default.
- W1557501699 hasRelatedWork W2033132551 @default.
- W1557501699 hasRelatedWork W2077306604 @default.
- W1557501699 hasRelatedWork W2084969057 @default.
- W1557501699 hasRelatedWork W2088482003 @default.
- W1557501699 hasRelatedWork W2105135809 @default.
- W1557501699 hasRelatedWork W2128730369 @default.
- W1557501699 hasRelatedWork W2137902021 @default.
- W1557501699 hasRelatedWork W2884136218 @default.
- W1557501699 hasRelatedWork W3032462436 @default.
- W1557501699 hasRelatedWork W3177659913 @default.
- W1557501699 hasRelatedWork W3020837423 @default.
- W1557501699 hasRelatedWork W3022181391 @default.
- W1557501699 isParatext "false" @default.
- W1557501699 isRetracted "false" @default.
- W1557501699 magId "1557501699" @default.
- W1557501699 workType "book-chapter" @default.