Matches in SemOpenAlex for { <https://semopenalex.org/work/W2159995990> ?p ?o ?g. }
Showing items 1 to 55 of
55
with 100 items per page.
- W2159995990 abstract "In this note we sketch how an abstract mathematical model can be used to specify the two-way channel. We see how theorems proved about the abstract specification suggest designs of processes which satisfy it. The model used can express safety and liveness properties and allows non-determinism. It does not deal with fairness however." @default.
- W2159995990 created "2016-06-24" @default.
- W2159995990 creator A5045639409 @default.
- W2159995990 date "1985-01-01" @default.
- W2159995990 modified "2023-09-28" @default.
- W2159995990 title "Specifying problem one using the ‘failure’ sets model for CSP and deriving CSP processes which meet this specification" @default.
- W2159995990 cites W2102097307 @default.
- W2159995990 doi "https://doi.org/10.1007/3-540-16047-7_38" @default.
- W2159995990 hasPublicationYear "1985" @default.
- W2159995990 type Work @default.
- W2159995990 sameAs 2159995990 @default.
- W2159995990 citedByCount "0" @default.
- W2159995990 crossrefType "book-chapter" @default.
- W2159995990 hasAuthorship W2159995990A5045639409 @default.
- W2159995990 hasConcept C112505250 @default.
- W2159995990 hasConcept C11413529 @default.
- W2159995990 hasConcept C15569618 @default.
- W2159995990 hasConcept C199360897 @default.
- W2159995990 hasConcept C2779231336 @default.
- W2159995990 hasConcept C41008148 @default.
- W2159995990 hasConcept C80444323 @default.
- W2159995990 hasConceptScore W2159995990C112505250 @default.
- W2159995990 hasConceptScore W2159995990C11413529 @default.
- W2159995990 hasConceptScore W2159995990C15569618 @default.
- W2159995990 hasConceptScore W2159995990C199360897 @default.
- W2159995990 hasConceptScore W2159995990C2779231336 @default.
- W2159995990 hasConceptScore W2159995990C41008148 @default.
- W2159995990 hasConceptScore W2159995990C80444323 @default.
- W2159995990 hasLocation W21599959901 @default.
- W2159995990 hasOpenAccess W2159995990 @default.
- W2159995990 hasPrimaryLocation W21599959901 @default.
- W2159995990 hasRelatedWork W1315694 @default.
- W2159995990 hasRelatedWork W1489122339 @default.
- W2159995990 hasRelatedWork W1546878666 @default.
- W2159995990 hasRelatedWork W1565160848 @default.
- W2159995990 hasRelatedWork W2009715851 @default.
- W2159995990 hasRelatedWork W2015503648 @default.
- W2159995990 hasRelatedWork W2023055783 @default.
- W2159995990 hasRelatedWork W2030875267 @default.
- W2159995990 hasRelatedWork W2040199558 @default.
- W2159995990 hasRelatedWork W2133767276 @default.
- W2159995990 hasRelatedWork W2135905640 @default.
- W2159995990 hasRelatedWork W2228964661 @default.
- W2159995990 hasRelatedWork W2277045909 @default.
- W2159995990 hasRelatedWork W2313716282 @default.
- W2159995990 hasRelatedWork W2406437297 @default.
- W2159995990 hasRelatedWork W3098378096 @default.
- W2159995990 hasRelatedWork W3104292256 @default.
- W2159995990 hasRelatedWork W312152708 @default.
- W2159995990 hasRelatedWork W3194642185 @default.
- W2159995990 hasRelatedWork W74317754 @default.
- W2159995990 isParatext "false" @default.
- W2159995990 isRetracted "false" @default.
- W2159995990 magId "2159995990" @default.
- W2159995990 workType "book-chapter" @default.