Matches in SemOpenAlex for { <https://semopenalex.org/work/W2079460301> ?p ?o ?g. }
Showing items 1 to 76 of
76
with 100 items per page.
- W2079460301 endingPage "48" @default.
- W2079460301 startingPage "38" @default.
- W2079460301 abstract "We use an event-driven process model to specify a version of the High-level Data Link Control (HDLC) protocol between two communicating protocol entities. The HDLC protocol is based upon the Asynchronous Response Mode (ARM) of operation, and uses the basic repertoire of HDLC commands and responses (with the exception of the CMDR response). It includes the features of poll/final cycles for connection management and checkpointing, sliding windows for data transfer, and ready/not ready messages for flow control. HDLC has three distinguishable functions: connection management, and one-way data transfers in opposite directions between the protocol entities. Various logical safety properties of the HDLC protocol concerning these functions have been verified using the method of projections." @default.
- W2079460301 created "2016-06-24" @default.
- W2079460301 creator A5000764562 @default.
- W2079460301 creator A5068298519 @default.
- W2079460301 date "1983-04-01" @default.
- W2079460301 modified "2023-09-26" @default.
- W2079460301 title "Specification and verification of an HDLC protocol with arm connection management and full-duplex data transfer" @default.
- W2079460301 cites W2029117638 @default.
- W2079460301 cites W2130140280 @default.
- W2079460301 doi "https://doi.org/10.1145/1024840.1035249" @default.
- W2079460301 hasPublicationYear "1983" @default.
- W2079460301 type Work @default.
- W2079460301 sameAs 2079460301 @default.
- W2079460301 citedByCount "3" @default.
- W2079460301 crossrefType "journal-article" @default.
- W2079460301 hasAuthorship W2079460301A5000764562 @default.
- W2079460301 hasAuthorship W2079460301A5068298519 @default.
- W2079460301 hasConcept C111919701 @default.
- W2079460301 hasConcept C120314980 @default.
- W2079460301 hasConcept C121332964 @default.
- W2079460301 hasConcept C142724271 @default.
- W2079460301 hasConcept C151319957 @default.
- W2079460301 hasConcept C204787440 @default.
- W2079460301 hasConcept C2776175482 @default.
- W2079460301 hasConcept C2779662365 @default.
- W2079460301 hasConcept C2780385302 @default.
- W2079460301 hasConcept C31258907 @default.
- W2079460301 hasConcept C41008148 @default.
- W2079460301 hasConcept C489000 @default.
- W2079460301 hasConcept C54355233 @default.
- W2079460301 hasConcept C552990157 @default.
- W2079460301 hasConcept C62520636 @default.
- W2079460301 hasConcept C71924100 @default.
- W2079460301 hasConcept C77088390 @default.
- W2079460301 hasConcept C86803240 @default.
- W2079460301 hasConcept C99611785 @default.
- W2079460301 hasConceptScore W2079460301C111919701 @default.
- W2079460301 hasConceptScore W2079460301C120314980 @default.
- W2079460301 hasConceptScore W2079460301C121332964 @default.
- W2079460301 hasConceptScore W2079460301C142724271 @default.
- W2079460301 hasConceptScore W2079460301C151319957 @default.
- W2079460301 hasConceptScore W2079460301C204787440 @default.
- W2079460301 hasConceptScore W2079460301C2776175482 @default.
- W2079460301 hasConceptScore W2079460301C2779662365 @default.
- W2079460301 hasConceptScore W2079460301C2780385302 @default.
- W2079460301 hasConceptScore W2079460301C31258907 @default.
- W2079460301 hasConceptScore W2079460301C41008148 @default.
- W2079460301 hasConceptScore W2079460301C489000 @default.
- W2079460301 hasConceptScore W2079460301C54355233 @default.
- W2079460301 hasConceptScore W2079460301C552990157 @default.
- W2079460301 hasConceptScore W2079460301C62520636 @default.
- W2079460301 hasConceptScore W2079460301C71924100 @default.
- W2079460301 hasConceptScore W2079460301C77088390 @default.
- W2079460301 hasConceptScore W2079460301C86803240 @default.
- W2079460301 hasConceptScore W2079460301C99611785 @default.
- W2079460301 hasIssue "2" @default.
- W2079460301 hasLocation W20794603011 @default.
- W2079460301 hasOpenAccess W2079460301 @default.
- W2079460301 hasPrimaryLocation W20794603011 @default.
- W2079460301 hasRelatedWork W1548344605 @default.
- W2079460301 hasRelatedWork W2006363920 @default.
- W2079460301 hasRelatedWork W2099002002 @default.
- W2079460301 hasRelatedWork W2122091831 @default.
- W2079460301 hasRelatedWork W2130966263 @default.
- W2079460301 hasRelatedWork W2362260319 @default.
- W2079460301 hasRelatedWork W2364921833 @default.
- W2079460301 hasRelatedWork W2367372208 @default.
- W2079460301 hasRelatedWork W2475836838 @default.
- W2079460301 hasRelatedWork W3100791781 @default.
- W2079460301 hasVolume "13" @default.
- W2079460301 isParatext "false" @default.
- W2079460301 isRetracted "false" @default.
- W2079460301 magId "2079460301" @default.
- W2079460301 workType "article" @default.