Matches in SemOpenAlex for { <https://semopenalex.org/work/W1521206851> ?p ?o ?g. }
Showing items 1 to 91 of
91
with 100 items per page.
- W1521206851 abstract "We study from an implementation viewpoint what constitutes a reasonable and effective notion of structural equivalence of terms in a calculus of concurrent processes and propose operational effectiveness criteria in the form of confluence, coherence and standardization properties on an oriented version of the structural laws. We revisit Berry and Boudol’s Chemical Abstract Machine (CHAM) framework using operational effectiveness criteria. We illustrate our ideas with a new formulation of a CHAM for TCCS with external choice, one which is operationally effective unlike previous CHAM formulations, and demonstrate that the new CHAM is fully abstract with respect to the LTS semantics for TCCS. We then show how this approach extends to the synchronous calculus SCCS, for which a CHAM had hitherto not been proposed." @default.
- W1521206851 created "2016-06-24" @default.
- W1521206851 creator A5026719321 @default.
- W1521206851 creator A5029930688 @default.
- W1521206851 creator A5064568812 @default.
- W1521206851 date "2006-02-21" @default.
- W1521206851 modified "2023-10-17" @default.
- W1521206851 title "Effective Chemistry for Synchrony and Asynchrony" @default.
- W1521206851 cites W1497033526 @default.
- W1521206851 cites W1502491956 @default.
- W1521206851 cites W1523525039 @default.
- W1521206851 cites W1561085604 @default.
- W1521206851 cites W1566645015 @default.
- W1521206851 cites W1679756568 @default.
- W1521206851 cites W1805374951 @default.
- W1521206851 cites W1976195354 @default.
- W1521206851 cites W2001748564 @default.
- W1521206851 cites W2028613837 @default.
- W1521206851 cites W2030256409 @default.
- W1521206851 cites W2050942832 @default.
- W1521206851 cites W2055378322 @default.
- W1521206851 cites W2109585055 @default.
- W1521206851 doi "https://doi.org/10.1007/1-4020-8141-3_37" @default.
- W1521206851 hasPublicationYear "2006" @default.
- W1521206851 type Work @default.
- W1521206851 sameAs 1521206851 @default.
- W1521206851 citedByCount "1" @default.
- W1521206851 countsByYear W15212068512014 @default.
- W1521206851 crossrefType "book-chapter" @default.
- W1521206851 hasAuthorship W1521206851A5026719321 @default.
- W1521206851 hasAuthorship W1521206851A5029930688 @default.
- W1521206851 hasAuthorship W1521206851A5064568812 @default.
- W1521206851 hasBestOaLocation W15212068511 @default.
- W1521206851 hasConcept C105795698 @default.
- W1521206851 hasConcept C111919701 @default.
- W1521206851 hasConcept C135315306 @default.
- W1521206851 hasConcept C136119220 @default.
- W1521206851 hasConcept C151319957 @default.
- W1521206851 hasConcept C156325763 @default.
- W1521206851 hasConcept C184337299 @default.
- W1521206851 hasConcept C188087704 @default.
- W1521206851 hasConcept C199343813 @default.
- W1521206851 hasConcept C199360897 @default.
- W1521206851 hasConcept C202444582 @default.
- W1521206851 hasConcept C2777686260 @default.
- W1521206851 hasConcept C2779019669 @default.
- W1521206851 hasConcept C2780069185 @default.
- W1521206851 hasConcept C2781181686 @default.
- W1521206851 hasConcept C31258907 @default.
- W1521206851 hasConcept C33923547 @default.
- W1521206851 hasConcept C41008148 @default.
- W1521206851 hasConcept C71924100 @default.
- W1521206851 hasConcept C80444323 @default.
- W1521206851 hasConceptScore W1521206851C105795698 @default.
- W1521206851 hasConceptScore W1521206851C111919701 @default.
- W1521206851 hasConceptScore W1521206851C135315306 @default.
- W1521206851 hasConceptScore W1521206851C136119220 @default.
- W1521206851 hasConceptScore W1521206851C151319957 @default.
- W1521206851 hasConceptScore W1521206851C156325763 @default.
- W1521206851 hasConceptScore W1521206851C184337299 @default.
- W1521206851 hasConceptScore W1521206851C188087704 @default.
- W1521206851 hasConceptScore W1521206851C199343813 @default.
- W1521206851 hasConceptScore W1521206851C199360897 @default.
- W1521206851 hasConceptScore W1521206851C202444582 @default.
- W1521206851 hasConceptScore W1521206851C2777686260 @default.
- W1521206851 hasConceptScore W1521206851C2779019669 @default.
- W1521206851 hasConceptScore W1521206851C2780069185 @default.
- W1521206851 hasConceptScore W1521206851C2781181686 @default.
- W1521206851 hasConceptScore W1521206851C31258907 @default.
- W1521206851 hasConceptScore W1521206851C33923547 @default.
- W1521206851 hasConceptScore W1521206851C41008148 @default.
- W1521206851 hasConceptScore W1521206851C71924100 @default.
- W1521206851 hasConceptScore W1521206851C80444323 @default.
- W1521206851 hasLocation W15212068511 @default.
- W1521206851 hasLocation W15212068512 @default.
- W1521206851 hasOpenAccess W1521206851 @default.
- W1521206851 hasPrimaryLocation W15212068511 @default.
- W1521206851 hasRelatedWork W1544057780 @default.
- W1521206851 hasRelatedWork W1566086941 @default.
- W1521206851 hasRelatedWork W1604869359 @default.
- W1521206851 hasRelatedWork W1930375285 @default.
- W1521206851 hasRelatedWork W2210772734 @default.
- W1521206851 hasRelatedWork W2364985084 @default.
- W1521206851 hasRelatedWork W2748952813 @default.
- W1521206851 hasRelatedWork W2899084033 @default.
- W1521206851 hasRelatedWork W4249778480 @default.
- W1521206851 hasRelatedWork W4250955960 @default.
- W1521206851 isParatext "false" @default.
- W1521206851 isRetracted "false" @default.
- W1521206851 magId "1521206851" @default.
- W1521206851 workType "book-chapter" @default.