Matches in SemOpenAlex for { <https://semopenalex.org/work/W85259315> ?p ?o ?g. }
Showing items 1 to 72 of
72
with 100 items per page.
- W85259315 endingPage "23" @default.
- W85259315 startingPage "9" @default.
- W85259315 abstract "We verify a simple version of the alternating bit protocol in the system ACPτ (Algebra of Communicating Processes with silent actions) augmented with Koomen's fair abstraction rule." @default.
- W85259315 created "2016-06-24" @default.
- W85259315 creator A5013710541 @default.
- W85259315 creator A5032380170 @default.
- W85259315 date "1986-01-01" @default.
- W85259315 modified "2023-09-30" @default.
- W85259315 title "Verification of an alternating bit protocol by means of process algebra protocol" @default.
- W85259315 cites W1972478730 @default.
- W85259315 cites W1978358700 @default.
- W85259315 cites W2086070079 @default.
- W85259315 cites W2101604841 @default.
- W85259315 cites W2109922170 @default.
- W85259315 cites W2137865376 @default.
- W85259315 cites W2158942489 @default.
- W85259315 cites W4230340979 @default.
- W85259315 doi "https://doi.org/10.1007/3-540-16444-8_1" @default.
- W85259315 hasPublicationYear "1986" @default.
- W85259315 type Work @default.
- W85259315 sameAs 85259315 @default.
- W85259315 citedByCount "23" @default.
- W85259315 countsByYear W852593152012 @default.
- W85259315 countsByYear W852593152014 @default.
- W85259315 countsByYear W852593152015 @default.
- W85259315 countsByYear W852593152017 @default.
- W85259315 countsByYear W852593152019 @default.
- W85259315 countsByYear W852593152022 @default.
- W85259315 crossrefType "book-chapter" @default.
- W85259315 hasAuthorship W85259315A5013710541 @default.
- W85259315 hasAuthorship W85259315A5032380170 @default.
- W85259315 hasBestOaLocation W852593152 @default.
- W85259315 hasConcept C117011727 @default.
- W85259315 hasConcept C142724271 @default.
- W85259315 hasConcept C161771561 @default.
- W85259315 hasConcept C199360897 @default.
- W85259315 hasConcept C204787440 @default.
- W85259315 hasConcept C2780385302 @default.
- W85259315 hasConcept C31258907 @default.
- W85259315 hasConcept C41008148 @default.
- W85259315 hasConcept C71924100 @default.
- W85259315 hasConcept C80444323 @default.
- W85259315 hasConcept C98045186 @default.
- W85259315 hasConceptScore W85259315C117011727 @default.
- W85259315 hasConceptScore W85259315C142724271 @default.
- W85259315 hasConceptScore W85259315C161771561 @default.
- W85259315 hasConceptScore W85259315C199360897 @default.
- W85259315 hasConceptScore W85259315C204787440 @default.
- W85259315 hasConceptScore W85259315C2780385302 @default.
- W85259315 hasConceptScore W85259315C31258907 @default.
- W85259315 hasConceptScore W85259315C41008148 @default.
- W85259315 hasConceptScore W85259315C71924100 @default.
- W85259315 hasConceptScore W85259315C80444323 @default.
- W85259315 hasConceptScore W85259315C98045186 @default.
- W85259315 hasLocation W852593151 @default.
- W85259315 hasLocation W852593152 @default.
- W85259315 hasOpenAccess W85259315 @default.
- W85259315 hasPrimaryLocation W852593151 @default.
- W85259315 hasRelatedWork W1527862632 @default.
- W85259315 hasRelatedWork W1992718535 @default.
- W85259315 hasRelatedWork W2083338789 @default.
- W85259315 hasRelatedWork W2099491577 @default.
- W85259315 hasRelatedWork W2109507516 @default.
- W85259315 hasRelatedWork W2136859846 @default.
- W85259315 hasRelatedWork W2166247150 @default.
- W85259315 hasRelatedWork W2273545368 @default.
- W85259315 hasRelatedWork W2354706511 @default.
- W85259315 hasRelatedWork W4243252198 @default.
- W85259315 isParatext "false" @default.
- W85259315 isRetracted "false" @default.
- W85259315 magId "85259315" @default.
- W85259315 workType "book-chapter" @default.