Matches in SemOpenAlex for { <https://semopenalex.org/work/W2040821818> ?p ?o ?g. }
- W2040821818 endingPage "121" @default.
- W2040821818 startingPage "90" @default.
- W2040821818 abstract "We introduce a process algebra containing the coordination primitives of Linda (asynchronous communication via a shared data space, read operation, nonblocking test operators on the shared space). We compare two possible semantics for the output operation: the former, that we call ordered, defines the output as an operation that returns when the message has reached the shared data space; the latter, that we call unordered, returns just after sending the message to the tuple space. The process algebra under the ordered semantics is Turing powerful, as we are able to program any random access machine. The main result of the paper is that the process algebra under the unordered semantics is not Turing powerful. This result is achieved by resorting to a net semantics in terms of contextual nets (P/T nets with inhibitor and read arcs) and by showing that there exists a deadlock-preserving simulation of such nets by finite P/T nets, a formalism where termination is decidable." @default.
- W2040821818 created "2016-06-24" @default.
- W2040821818 creator A5000720054 @default.
- W2040821818 creator A5058853876 @default.
- W2040821818 creator A5071501129 @default.
- W2040821818 date "2000-01-01" @default.
- W2040821818 modified "2023-09-30" @default.
- W2040821818 title "On the Expressiveness of Linda Coordination Primitives" @default.
- W2040821818 cites W1487583155 @default.
- W2040821818 cites W1981994545 @default.
- W2040821818 cites W1987986558 @default.
- W2040821818 cites W1996760951 @default.
- W2040821818 cites W2006090282 @default.
- W2040821818 cites W2094542439 @default.
- W2040821818 cites W2125382028 @default.
- W2040821818 cites W2128449323 @default.
- W2040821818 cites W2161307885 @default.
- W2040821818 cites W2913376619 @default.
- W2040821818 doi "https://doi.org/10.1006/inco.1999.2823" @default.
- W2040821818 hasPublicationYear "2000" @default.
- W2040821818 type Work @default.
- W2040821818 sameAs 2040821818 @default.
- W2040821818 citedByCount "83" @default.
- W2040821818 countsByYear W20408218182012 @default.
- W2040821818 countsByYear W20408218182013 @default.
- W2040821818 countsByYear W20408218182014 @default.
- W2040821818 countsByYear W20408218182015 @default.
- W2040821818 countsByYear W20408218182016 @default.
- W2040821818 countsByYear W20408218182017 @default.
- W2040821818 countsByYear W20408218182018 @default.
- W2040821818 countsByYear W20408218182019 @default.
- W2040821818 countsByYear W20408218182020 @default.
- W2040821818 countsByYear W20408218182021 @default.
- W2040821818 countsByYear W20408218182023 @default.
- W2040821818 crossrefType "journal-article" @default.
- W2040821818 hasAuthorship W2040821818A5000720054 @default.
- W2040821818 hasAuthorship W2040821818A5058853876 @default.
- W2040821818 hasAuthorship W2040821818A5071501129 @default.
- W2040821818 hasBestOaLocation W20408218181 @default.
- W2040821818 hasConcept C118615104 @default.
- W2040821818 hasConcept C118930307 @default.
- W2040821818 hasConcept C142362112 @default.
- W2040821818 hasConcept C143273055 @default.
- W2040821818 hasConcept C151319957 @default.
- W2040821818 hasConcept C153269930 @default.
- W2040821818 hasConcept C153349607 @default.
- W2040821818 hasConcept C156325763 @default.
- W2040821818 hasConcept C161771561 @default.
- W2040821818 hasConcept C176181172 @default.
- W2040821818 hasConcept C184337299 @default.
- W2040821818 hasConcept C193702766 @default.
- W2040821818 hasConcept C199360897 @default.
- W2040821818 hasConcept C29248071 @default.
- W2040821818 hasConcept C31258907 @default.
- W2040821818 hasConcept C33923547 @default.
- W2040821818 hasConcept C41008148 @default.
- W2040821818 hasConcept C45374587 @default.
- W2040821818 hasConcept C558565934 @default.
- W2040821818 hasConcept C56800130 @default.
- W2040821818 hasConcept C73301696 @default.
- W2040821818 hasConcept C80444323 @default.
- W2040821818 hasConcept C9870796 @default.
- W2040821818 hasConceptScore W2040821818C118615104 @default.
- W2040821818 hasConceptScore W2040821818C118930307 @default.
- W2040821818 hasConceptScore W2040821818C142362112 @default.
- W2040821818 hasConceptScore W2040821818C143273055 @default.
- W2040821818 hasConceptScore W2040821818C151319957 @default.
- W2040821818 hasConceptScore W2040821818C153269930 @default.
- W2040821818 hasConceptScore W2040821818C153349607 @default.
- W2040821818 hasConceptScore W2040821818C156325763 @default.
- W2040821818 hasConceptScore W2040821818C161771561 @default.
- W2040821818 hasConceptScore W2040821818C176181172 @default.
- W2040821818 hasConceptScore W2040821818C184337299 @default.
- W2040821818 hasConceptScore W2040821818C193702766 @default.
- W2040821818 hasConceptScore W2040821818C199360897 @default.
- W2040821818 hasConceptScore W2040821818C29248071 @default.
- W2040821818 hasConceptScore W2040821818C31258907 @default.
- W2040821818 hasConceptScore W2040821818C33923547 @default.
- W2040821818 hasConceptScore W2040821818C41008148 @default.
- W2040821818 hasConceptScore W2040821818C45374587 @default.
- W2040821818 hasConceptScore W2040821818C558565934 @default.
- W2040821818 hasConceptScore W2040821818C56800130 @default.
- W2040821818 hasConceptScore W2040821818C73301696 @default.
- W2040821818 hasConceptScore W2040821818C80444323 @default.
- W2040821818 hasConceptScore W2040821818C9870796 @default.
- W2040821818 hasIssue "1-2" @default.
- W2040821818 hasLocation W20408218181 @default.
- W2040821818 hasOpenAccess W2040821818 @default.
- W2040821818 hasPrimaryLocation W20408218181 @default.
- W2040821818 hasRelatedWork W1517274742 @default.
- W2040821818 hasRelatedWork W1544899408 @default.
- W2040821818 hasRelatedWork W1548537923 @default.
- W2040821818 hasRelatedWork W2040821818 @default.
- W2040821818 hasRelatedWork W2085656217 @default.
- W2040821818 hasRelatedWork W2095807838 @default.
- W2040821818 hasRelatedWork W2105399249 @default.
- W2040821818 hasRelatedWork W2148160518 @default.
- W2040821818 hasRelatedWork W3023376741 @default.