Matches in SemOpenAlex for { <https://semopenalex.org/work/W2061763522> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2061763522 endingPage "83" @default.
- W2061763522 startingPage "76" @default.
- W2061763522 abstract "In this paper, we view computer networks as distributed systems that provide their users with a set of services, in a way which hides the distinction between those services which are local and those which are remote. We conceive of a given target network configuration as a network of communicating virtual machines and its behavior is modelled by a system of communicating sequential processes. Network protocols are described by a high level concurrent language (CSP) and a methodology is developed which permits the verification of partial and total correctness assertions about the system in a simple and natural way. Global invariants are used to establish invariant properties of the whole system and histories to record the sequence of communication exchanges between every matching pair of processes. Eventuality properties are expressed using linear temporal logic." @default.
- W2061763522 created "2016-06-24" @default.
- W2061763522 creator A5009489474 @default.
- W2061763522 creator A5065931607 @default.
- W2061763522 creator A5089573441 @default.
- W2061763522 creator A5090974026 @default.
- W2061763522 date "1983-04-01" @default.
- W2061763522 modified "2023-09-26" @default.
- W2061763522 title "A methodology for verifying request processing protocols" @default.
- W2061763522 cites W1975586790 @default.
- W2061763522 cites W1984831616 @default.
- W2061763522 cites W1986011345 @default.
- W2061763522 cites W2038952689 @default.
- W2061763522 cites W2166656159 @default.
- W2061763522 cites W4211008702 @default.
- W2061763522 doi "https://doi.org/10.1145/1024840.1035256" @default.
- W2061763522 hasPublicationYear "1983" @default.
- W2061763522 type Work @default.
- W2061763522 sameAs 2061763522 @default.
- W2061763522 citedByCount "0" @default.
- W2061763522 crossrefType "journal-article" @default.
- W2061763522 hasAuthorship W2061763522A5009489474 @default.
- W2061763522 hasAuthorship W2061763522A5065931607 @default.
- W2061763522 hasAuthorship W2061763522A5089573441 @default.
- W2061763522 hasAuthorship W2061763522A5090974026 @default.
- W2061763522 hasConcept C105795698 @default.
- W2061763522 hasConcept C111472728 @default.
- W2061763522 hasConcept C120314980 @default.
- W2061763522 hasConcept C121332964 @default.
- W2061763522 hasConcept C12269588 @default.
- W2061763522 hasConcept C138885662 @default.
- W2061763522 hasConcept C165064840 @default.
- W2061763522 hasConcept C177264268 @default.
- W2061763522 hasConcept C190470478 @default.
- W2061763522 hasConcept C199360897 @default.
- W2061763522 hasConcept C25016198 @default.
- W2061763522 hasConcept C2780586882 @default.
- W2061763522 hasConcept C31258907 @default.
- W2061763522 hasConcept C33923547 @default.
- W2061763522 hasConcept C37914503 @default.
- W2061763522 hasConcept C41008148 @default.
- W2061763522 hasConcept C55439883 @default.
- W2061763522 hasConcept C80444323 @default.
- W2061763522 hasConceptScore W2061763522C105795698 @default.
- W2061763522 hasConceptScore W2061763522C111472728 @default.
- W2061763522 hasConceptScore W2061763522C120314980 @default.
- W2061763522 hasConceptScore W2061763522C121332964 @default.
- W2061763522 hasConceptScore W2061763522C12269588 @default.
- W2061763522 hasConceptScore W2061763522C138885662 @default.
- W2061763522 hasConceptScore W2061763522C165064840 @default.
- W2061763522 hasConceptScore W2061763522C177264268 @default.
- W2061763522 hasConceptScore W2061763522C190470478 @default.
- W2061763522 hasConceptScore W2061763522C199360897 @default.
- W2061763522 hasConceptScore W2061763522C25016198 @default.
- W2061763522 hasConceptScore W2061763522C2780586882 @default.
- W2061763522 hasConceptScore W2061763522C31258907 @default.
- W2061763522 hasConceptScore W2061763522C33923547 @default.
- W2061763522 hasConceptScore W2061763522C37914503 @default.
- W2061763522 hasConceptScore W2061763522C41008148 @default.
- W2061763522 hasConceptScore W2061763522C55439883 @default.
- W2061763522 hasConceptScore W2061763522C80444323 @default.
- W2061763522 hasIssue "2" @default.
- W2061763522 hasLocation W20617635221 @default.
- W2061763522 hasOpenAccess W2061763522 @default.
- W2061763522 hasPrimaryLocation W20617635221 @default.
- W2061763522 hasRelatedWork W1546948343 @default.
- W2061763522 hasRelatedWork W1764099364 @default.
- W2061763522 hasRelatedWork W1995172395 @default.
- W2061763522 hasRelatedWork W2118153508 @default.
- W2061763522 hasRelatedWork W2128844732 @default.
- W2061763522 hasRelatedWork W2782719117 @default.
- W2061763522 hasRelatedWork W2977922564 @default.
- W2061763522 hasRelatedWork W3200786082 @default.
- W2061763522 hasRelatedWork W4288099681 @default.
- W2061763522 hasRelatedWork W4313015671 @default.
- W2061763522 hasVolume "13" @default.
- W2061763522 isParatext "false" @default.
- W2061763522 isRetracted "false" @default.
- W2061763522 magId "2061763522" @default.
- W2061763522 workType "article" @default.