Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023146962> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2023146962 endingPage "273" @default.
- W2023146962 startingPage "243" @default.
- W2023146962 abstract "We study relative computability for processes and process transformations, in general, and in particular the non-deterministic and concurrent processes which can be specified in terms of various fair merge constructs. The main result is a normal form theorem for these (relatively) computable process functions which implies that although they can be very complex when viewed as classical set-functions, they are all “loosely implementable” in the sense of Park (1980). The precise results are about the player model of concurrency introduced in Moschovakis (1991), which supports both fairness constructs and full recursion." @default.
- W2023146962 created "2016-06-24" @default.
- W2023146962 creator A5034599885 @default.
- W2023146962 date "1995-03-01" @default.
- W2023146962 modified "2023-09-27" @default.
- W2023146962 title "Computable concurrent processes" @default.
- W2023146962 cites W1503973138 @default.
- W2023146962 cites W1506588809 @default.
- W2023146962 cites W1517118197 @default.
- W2023146962 cites W1528467909 @default.
- W2023146962 cites W1555991696 @default.
- W2023146962 cites W1590266960 @default.
- W2023146962 cites W1812404936 @default.
- W2023146962 cites W2016206563 @default.
- W2023146962 cites W2016660294 @default.
- W2023146962 cites W2062024564 @default.
- W2023146962 cites W2065927961 @default.
- W2023146962 cites W2079337360 @default.
- W2023146962 cites W2103953153 @default.
- W2023146962 cites W2115880227 @default.
- W2023146962 cites W2132750992 @default.
- W2023146962 cites W2140920629 @default.
- W2023146962 cites W2150320481 @default.
- W2023146962 cites W2397271362 @default.
- W2023146962 cites W2530006810 @default.
- W2023146962 cites W2911841841 @default.
- W2023146962 cites W3144368627 @default.
- W2023146962 doi "https://doi.org/10.1016/0304-3975(94)00117-2" @default.
- W2023146962 hasPublicationYear "1995" @default.
- W2023146962 type Work @default.
- W2023146962 sameAs 2023146962 @default.
- W2023146962 citedByCount "5" @default.
- W2023146962 crossrefType "journal-article" @default.
- W2023146962 hasAuthorship W2023146962A5034599885 @default.
- W2023146962 hasConcept C111142201 @default.
- W2023146962 hasConcept C118615104 @default.
- W2023146962 hasConcept C136119220 @default.
- W2023146962 hasConcept C152062344 @default.
- W2023146962 hasConcept C161771561 @default.
- W2023146962 hasConcept C168773036 @default.
- W2023146962 hasConcept C193702766 @default.
- W2023146962 hasConcept C197129107 @default.
- W2023146962 hasConcept C199360897 @default.
- W2023146962 hasConcept C202444582 @default.
- W2023146962 hasConcept C23123220 @default.
- W2023146962 hasConcept C33923547 @default.
- W2023146962 hasConcept C41008148 @default.
- W2023146962 hasConcept C54271186 @default.
- W2023146962 hasConcept C80444323 @default.
- W2023146962 hasConceptScore W2023146962C111142201 @default.
- W2023146962 hasConceptScore W2023146962C118615104 @default.
- W2023146962 hasConceptScore W2023146962C136119220 @default.
- W2023146962 hasConceptScore W2023146962C152062344 @default.
- W2023146962 hasConceptScore W2023146962C161771561 @default.
- W2023146962 hasConceptScore W2023146962C168773036 @default.
- W2023146962 hasConceptScore W2023146962C193702766 @default.
- W2023146962 hasConceptScore W2023146962C197129107 @default.
- W2023146962 hasConceptScore W2023146962C199360897 @default.
- W2023146962 hasConceptScore W2023146962C202444582 @default.
- W2023146962 hasConceptScore W2023146962C23123220 @default.
- W2023146962 hasConceptScore W2023146962C33923547 @default.
- W2023146962 hasConceptScore W2023146962C41008148 @default.
- W2023146962 hasConceptScore W2023146962C54271186 @default.
- W2023146962 hasConceptScore W2023146962C80444323 @default.
- W2023146962 hasIssue "1-2" @default.
- W2023146962 hasLocation W20231469621 @default.
- W2023146962 hasOpenAccess W2023146962 @default.
- W2023146962 hasPrimaryLocation W20231469621 @default.
- W2023146962 hasRelatedWork W1555412307 @default.
- W2023146962 hasRelatedWork W2006881000 @default.
- W2023146962 hasRelatedWork W2023146962 @default.
- W2023146962 hasRelatedWork W2093008691 @default.
- W2023146962 hasRelatedWork W2160232022 @default.
- W2023146962 hasRelatedWork W2171088343 @default.
- W2023146962 hasRelatedWork W2310420552 @default.
- W2023146962 hasRelatedWork W3184399009 @default.
- W2023146962 hasRelatedWork W4247585886 @default.
- W2023146962 hasRelatedWork W65033449 @default.
- W2023146962 hasVolume "139" @default.
- W2023146962 isParatext "false" @default.
- W2023146962 isRetracted "false" @default.
- W2023146962 magId "2023146962" @default.
- W2023146962 workType "article" @default.