Matches in SemOpenAlex for { <https://semopenalex.org/work/W2158805777> ?p ?o ?g. }
Showing items 1 to 61 of
61
with 100 items per page.
- W2158805777 abstract "The main contribution of this paper is the introduction of unbounded nondeterminism into CSP-like languages with specification, which increases the expressive power of the specification language. This is achieved by extending the finite message set of such mixed languages to an infinite one. A denotational semantics and a refinement order are defined for such a language and the CSP constructors are proved to be monotone on the specification space and continuous on the process space, which are needed for a simple treatment of iterations on both spaces of the mixed CSP-like language." @default.
- W2158805777 created "2016-06-24" @default.
- W2158805777 creator A5073988543 @default.
- W2158805777 date "1998-01-01" @default.
- W2158805777 modified "2023-09-25" @default.
- W2158805777 title "An Unbounded Nondeterministic Model for CSP-like Languages" @default.
- W2158805777 cites W1552647623 @default.
- W2158805777 cites W1581774065 @default.
- W2158805777 cites W1661923083 @default.
- W2158805777 cites W2007408338 @default.
- W2158805777 cites W2022898434 @default.
- W2158805777 cites W2087713039 @default.
- W2158805777 cites W2102484310 @default.
- W2158805777 cites W2107100996 @default.
- W2158805777 cites W3144368627 @default.
- W2158805777 cites W93705929 @default.
- W2158805777 doi "https://doi.org/10.14236/ewic/fm1998.8" @default.
- W2158805777 hasPublicationYear "1998" @default.
- W2158805777 type Work @default.
- W2158805777 sameAs 2158805777 @default.
- W2158805777 citedByCount "0" @default.
- W2158805777 crossrefType "proceedings-article" @default.
- W2158805777 hasAuthorship W2158805777A5073988543 @default.
- W2158805777 hasBestOaLocation W21588057771 @default.
- W2158805777 hasConcept C156325763 @default.
- W2158805777 hasConcept C161771561 @default.
- W2158805777 hasConcept C176181172 @default.
- W2158805777 hasConcept C177264268 @default.
- W2158805777 hasConcept C184337299 @default.
- W2158805777 hasConcept C195818886 @default.
- W2158805777 hasConcept C199360897 @default.
- W2158805777 hasConcept C207648694 @default.
- W2158805777 hasConcept C41008148 @default.
- W2158805777 hasConcept C80444323 @default.
- W2158805777 hasConceptScore W2158805777C156325763 @default.
- W2158805777 hasConceptScore W2158805777C161771561 @default.
- W2158805777 hasConceptScore W2158805777C176181172 @default.
- W2158805777 hasConceptScore W2158805777C177264268 @default.
- W2158805777 hasConceptScore W2158805777C184337299 @default.
- W2158805777 hasConceptScore W2158805777C195818886 @default.
- W2158805777 hasConceptScore W2158805777C199360897 @default.
- W2158805777 hasConceptScore W2158805777C207648694 @default.
- W2158805777 hasConceptScore W2158805777C41008148 @default.
- W2158805777 hasConceptScore W2158805777C80444323 @default.
- W2158805777 hasLocation W21588057771 @default.
- W2158805777 hasOpenAccess W2158805777 @default.
- W2158805777 hasPrimaryLocation W21588057771 @default.
- W2158805777 hasRelatedWork W141139756 @default.
- W2158805777 hasRelatedWork W1557454126 @default.
- W2158805777 hasRelatedWork W1568032801 @default.
- W2158805777 hasRelatedWork W1855927527 @default.
- W2158805777 hasRelatedWork W1991569066 @default.
- W2158805777 hasRelatedWork W2107316249 @default.
- W2158805777 hasRelatedWork W2125406856 @default.
- W2158805777 hasRelatedWork W2148160518 @default.
- W2158805777 hasRelatedWork W2168403556 @default.
- W2158805777 hasRelatedWork W2569614957 @default.
- W2158805777 isParatext "false" @default.
- W2158805777 isRetracted "false" @default.
- W2158805777 magId "2158805777" @default.
- W2158805777 workType "article" @default.