Matches in SemOpenAlex for { <https://semopenalex.org/work/W2085017141> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2085017141 abstract "The actor message-passing model of concurrent computation has inspired new ideas in the areas of knowledge-based systems, programming languages and their semantics, and computer systems architecture. This thesis extends and unifies the work of Carl Hewitt, Irene Greif, Henry Baker, and Giuseppe Attardi, who developed the mathematical content of the model. The ordering laws postulated by Hewitt and Baker can be proved using a notion of global time. The most general ordering laws are equivalent to an axiom of realizability in global time. Since nondeterministic concurrency is more fundamental than deterministic sequential computation, there may be no need to take fixed points in the underlying domain of a power domain. Power domains built from incomplete domains can solve the problem of providing a fixed point semantics for a class of nondeterministic programming languages in which a fair merge can be written. The locality laws postulated by Hewitt and Baker may be proved for the semantics of an actor-based language. Altering the semantics slightly can falsify the locality laws. The locality laws thus constrain what counts as an actor semantics." @default.
- W2085017141 created "2016-06-24" @default.
- W2085017141 creator A5058990714 @default.
- W2085017141 date "1981-05-01" @default.
- W2085017141 modified "2023-10-11" @default.
- W2085017141 title "Foundations of Actor Semantics" @default.
- W2085017141 hasPublicationYear "1981" @default.
- W2085017141 type Work @default.
- W2085017141 sameAs 2085017141 @default.
- W2085017141 citedByCount "88" @default.
- W2085017141 countsByYear W20850171412012 @default.
- W2085017141 countsByYear W20850171412013 @default.
- W2085017141 countsByYear W20850171412014 @default.
- W2085017141 countsByYear W20850171412015 @default.
- W2085017141 countsByYear W20850171412016 @default.
- W2085017141 countsByYear W20850171412017 @default.
- W2085017141 countsByYear W20850171412020 @default.
- W2085017141 countsByYear W20850171412021 @default.
- W2085017141 crossrefType "journal-article" @default.
- W2085017141 hasAuthorship W2085017141A5058990714 @default.
- W2085017141 hasConcept C138885662 @default.
- W2085017141 hasConcept C156325763 @default.
- W2085017141 hasConcept C167729594 @default.
- W2085017141 hasConcept C176181172 @default.
- W2085017141 hasConcept C184337299 @default.
- W2085017141 hasConcept C193702766 @default.
- W2085017141 hasConcept C199360897 @default.
- W2085017141 hasConcept C200065993 @default.
- W2085017141 hasConcept C207648694 @default.
- W2085017141 hasConcept C2524010 @default.
- W2085017141 hasConcept C2779808786 @default.
- W2085017141 hasConcept C33923547 @default.
- W2085017141 hasConcept C41008148 @default.
- W2085017141 hasConcept C41895202 @default.
- W2085017141 hasConcept C80444323 @default.
- W2085017141 hasConceptScore W2085017141C138885662 @default.
- W2085017141 hasConceptScore W2085017141C156325763 @default.
- W2085017141 hasConceptScore W2085017141C167729594 @default.
- W2085017141 hasConceptScore W2085017141C176181172 @default.
- W2085017141 hasConceptScore W2085017141C184337299 @default.
- W2085017141 hasConceptScore W2085017141C193702766 @default.
- W2085017141 hasConceptScore W2085017141C199360897 @default.
- W2085017141 hasConceptScore W2085017141C200065993 @default.
- W2085017141 hasConceptScore W2085017141C207648694 @default.
- W2085017141 hasConceptScore W2085017141C2524010 @default.
- W2085017141 hasConceptScore W2085017141C2779808786 @default.
- W2085017141 hasConceptScore W2085017141C33923547 @default.
- W2085017141 hasConceptScore W2085017141C41008148 @default.
- W2085017141 hasConceptScore W2085017141C41895202 @default.
- W2085017141 hasConceptScore W2085017141C80444323 @default.
- W2085017141 hasLocation W20850171411 @default.
- W2085017141 hasOpenAccess W2085017141 @default.
- W2085017141 hasPrimaryLocation W20850171411 @default.
- W2085017141 hasRelatedWork W1489371530 @default.
- W2085017141 hasRelatedWork W1503973138 @default.
- W2085017141 hasRelatedWork W1588789843 @default.
- W2085017141 hasRelatedWork W1591694044 @default.
- W2085017141 hasRelatedWork W1625982774 @default.
- W2085017141 hasRelatedWork W1770006921 @default.
- W2085017141 hasRelatedWork W1972106757 @default.
- W2085017141 hasRelatedWork W1976195354 @default.
- W2085017141 hasRelatedWork W2013672985 @default.
- W2085017141 hasRelatedWork W2072794470 @default.
- W2085017141 hasRelatedWork W2098830227 @default.
- W2085017141 hasRelatedWork W2101431901 @default.
- W2085017141 hasRelatedWork W2128932399 @default.
- W2085017141 hasRelatedWork W2131062488 @default.
- W2085017141 hasRelatedWork W2137865376 @default.
- W2085017141 hasRelatedWork W2157598146 @default.
- W2085017141 hasRelatedWork W2157906846 @default.
- W2085017141 hasRelatedWork W2173213060 @default.
- W2085017141 hasRelatedWork W3144368627 @default.
- W2085017141 hasRelatedWork W62708289 @default.
- W2085017141 isParatext "false" @default.
- W2085017141 isRetracted "false" @default.
- W2085017141 magId "2085017141" @default.
- W2085017141 workType "article" @default.