Matches in SemOpenAlex for { <https://semopenalex.org/work/W1500512810> ?p ?o ?g. }
Showing items 1 to 90 of
90
with 100 items per page.
- W1500512810 abstract "Abstract: In [SR89a, SR89b, SR89c] a principle has been formulated for designing, hence verifying, distributed algorithms from a particular class. This class consists of algorithms in which processes in a network perform a certain task which can be decomposed into a number of subtasks as if they are performed sequentially from a logical point of view, although from an operational point of view they are performed concurrently (cf. [GHS83, Hu83, MS79, Se82, Se83, ZS80])." @default.
- W1500512810 created "2016-06-24" @default.
- W1500512810 creator A5004498658 @default.
- W1500512810 date "1990-01-01" @default.
- W1500512810 modified "2023-09-25" @default.
- W1500512810 title "A derivation of a broadcasting protocol using sequentially phased reasoning" @default.
- W1500512810 cites W1545945432 @default.
- W1500512810 cites W1666576026 @default.
- W1500512810 cites W2038275022 @default.
- W1500512810 cites W2038814435 @default.
- W1500512810 cites W2042981544 @default.
- W1500512810 cites W2052504823 @default.
- W1500512810 cites W2058696974 @default.
- W1500512810 cites W2066612386 @default.
- W1500512810 cites W2077371116 @default.
- W1500512810 cites W2128823163 @default.
- W1500512810 cites W2160098227 @default.
- W1500512810 cites W2165681304 @default.
- W1500512810 cites W2170720733 @default.
- W1500512810 cites W4211008702 @default.
- W1500512810 doi "https://doi.org/10.1007/3-540-52559-9_84" @default.
- W1500512810 hasPublicationYear "1990" @default.
- W1500512810 type Work @default.
- W1500512810 sameAs 1500512810 @default.
- W1500512810 citedByCount "4" @default.
- W1500512810 crossrefType "book-chapter" @default.
- W1500512810 hasAuthorship W1500512810A5004498658 @default.
- W1500512810 hasConcept C110157686 @default.
- W1500512810 hasConcept C11413529 @default.
- W1500512810 hasConcept C120314980 @default.
- W1500512810 hasConcept C142724271 @default.
- W1500512810 hasConcept C154945302 @default.
- W1500512810 hasConcept C162324750 @default.
- W1500512810 hasConcept C187736073 @default.
- W1500512810 hasConcept C204787440 @default.
- W1500512810 hasConcept C2524010 @default.
- W1500512810 hasConcept C2777212361 @default.
- W1500512810 hasConcept C2780385302 @default.
- W1500512810 hasConcept C2780451532 @default.
- W1500512810 hasConcept C28719098 @default.
- W1500512810 hasConcept C31258907 @default.
- W1500512810 hasConcept C33923547 @default.
- W1500512810 hasConcept C41008148 @default.
- W1500512810 hasConcept C71924100 @default.
- W1500512810 hasConcept C80444323 @default.
- W1500512810 hasConceptScore W1500512810C110157686 @default.
- W1500512810 hasConceptScore W1500512810C11413529 @default.
- W1500512810 hasConceptScore W1500512810C120314980 @default.
- W1500512810 hasConceptScore W1500512810C142724271 @default.
- W1500512810 hasConceptScore W1500512810C154945302 @default.
- W1500512810 hasConceptScore W1500512810C162324750 @default.
- W1500512810 hasConceptScore W1500512810C187736073 @default.
- W1500512810 hasConceptScore W1500512810C204787440 @default.
- W1500512810 hasConceptScore W1500512810C2524010 @default.
- W1500512810 hasConceptScore W1500512810C2777212361 @default.
- W1500512810 hasConceptScore W1500512810C2780385302 @default.
- W1500512810 hasConceptScore W1500512810C2780451532 @default.
- W1500512810 hasConceptScore W1500512810C28719098 @default.
- W1500512810 hasConceptScore W1500512810C31258907 @default.
- W1500512810 hasConceptScore W1500512810C33923547 @default.
- W1500512810 hasConceptScore W1500512810C41008148 @default.
- W1500512810 hasConceptScore W1500512810C71924100 @default.
- W1500512810 hasConceptScore W1500512810C80444323 @default.
- W1500512810 hasLocation W15005128101 @default.
- W1500512810 hasOpenAccess W1500512810 @default.
- W1500512810 hasPrimaryLocation W15005128101 @default.
- W1500512810 hasRelatedWork W1579974221 @default.
- W1500512810 hasRelatedWork W1983400574 @default.
- W1500512810 hasRelatedWork W1994275036 @default.
- W1500512810 hasRelatedWork W2035483532 @default.
- W1500512810 hasRelatedWork W2096667475 @default.
- W1500512810 hasRelatedWork W3023811536 @default.
- W1500512810 hasRelatedWork W3088546759 @default.
- W1500512810 hasRelatedWork W1560876604 @default.
- W1500512810 hasRelatedWork W2230623812 @default.
- W1500512810 hasRelatedWork W2827635193 @default.
- W1500512810 hasRelatedWork W2829734663 @default.
- W1500512810 hasRelatedWork W2860662305 @default.
- W1500512810 hasRelatedWork W2870524430 @default.
- W1500512810 hasRelatedWork W2879748773 @default.
- W1500512810 hasRelatedWork W2925720982 @default.
- W1500512810 hasRelatedWork W2961541015 @default.
- W1500512810 hasRelatedWork W2962619050 @default.
- W1500512810 hasRelatedWork W2978436022 @default.
- W1500512810 hasRelatedWork W3109041312 @default.
- W1500512810 hasRelatedWork W3171319477 @default.
- W1500512810 isParatext "false" @default.
- W1500512810 isRetracted "false" @default.
- W1500512810 magId "1500512810" @default.
- W1500512810 workType "book-chapter" @default.