Matches in SemOpenAlex for { <https://semopenalex.org/work/W1578496813> ?p ?o ?g. }
Showing items 1 to 46 of
46
with 100 items per page.
- W1578496813 endingPage "428" @default.
- W1578496813 startingPage "406" @default.
- W1578496813 abstract "Interest in more rigorous definition and analysis of communication protocols is increasing. This paper surveys the current state of the art in protocol specification and verification. Methods for specification such as abstract machines, Petri nets, formal languages, abstract data types, and programs are described and compared. Verification methods including state exploration, symbolic execution, structural induction, and program proof are discussed. Work is progressing rapidly in many of these areas, and no clearly superior method has emerged yet. At least in the area of specification, some of these methods are ready for use by a wider community of protocol designers and users." @default.
- W1578496813 created "2016-06-24" @default.
- W1578496813 creator A5064238163 @default.
- W1578496813 date "1981-01-01" @default.
- W1578496813 modified "2023-09-27" @default.
- W1578496813 title "Formal Modeling of Communication Protocols" @default.
- W1578496813 cites W1591992422 @default.
- W1578496813 cites W1988698058 @default.
- W1578496813 cites W1994350081 @default.
- W1578496813 cites W2015874281 @default.
- W1578496813 cites W2019548530 @default.
- W1578496813 cites W2042801853 @default.
- W1578496813 cites W2064171847 @default.
- W1578496813 cites W2097786642 @default.
- W1578496813 cites W2153339829 @default.
- W1578496813 cites W2164198791 @default.
- W1578496813 cites W2165121897 @default.
- W1578496813 doi "https://doi.org/10.1007/978-3-642-67978-0_24" @default.
- W1578496813 hasPublicationYear "1981" @default.
- W1578496813 type Work @default.
- W1578496813 sameAs 1578496813 @default.
- W1578496813 citedByCount "20" @default.
- W1578496813 countsByYear W15784968132014 @default.
- W1578496813 crossrefType "book-chapter" @default.
- W1578496813 hasAuthorship W1578496813A5064238163 @default.
- W1578496813 hasConcept C41008148 @default.
- W1578496813 hasConceptScore W1578496813C41008148 @default.
- W1578496813 hasLocation W15784968131 @default.
- W1578496813 hasOpenAccess W1578496813 @default.
- W1578496813 hasPrimaryLocation W15784968131 @default.
- W1578496813 hasRelatedWork W2093578348 @default.
- W1578496813 hasRelatedWork W2130043461 @default.
- W1578496813 hasRelatedWork W2350741829 @default.
- W1578496813 hasRelatedWork W2358668433 @default.
- W1578496813 hasRelatedWork W2376932109 @default.
- W1578496813 hasRelatedWork W2382290278 @default.
- W1578496813 hasRelatedWork W2390279801 @default.
- W1578496813 hasRelatedWork W2748952813 @default.
- W1578496813 hasRelatedWork W2899084033 @default.
- W1578496813 hasRelatedWork W3004735627 @default.
- W1578496813 isParatext "false" @default.
- W1578496813 isRetracted "false" @default.
- W1578496813 magId "1578496813" @default.
- W1578496813 workType "book-chapter" @default.