Matches in SemOpenAlex for { <https://semopenalex.org/work/W2065626052> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W2065626052 endingPage "377" @default.
- W2065626052 startingPage "335" @default.
- W2065626052 abstract "Formal description techniques have been developed for the specification of OSI communication protocols and services, and can also be used as specification languages for other application areas. This paper presents two complete example specifications of a simplified Transport protocol (class 2) written in Estelle and LOTOS, and the outline of a similar specification in SDL. These examples are of sufficient complexity to demonstrate the difficulties encountered in the development of formal specifications. They may also be taken as a basis for a comparative evaluation of the three languages, Estelle, LOTOS and SDL, bearing in mind that they are particular examples." @default.
- W2065626052 created "2016-06-24" @default.
- W2065626052 creator A5083944273 @default.
- W2065626052 date "1990-06-01" @default.
- W2065626052 modified "2023-10-02" @default.
- W2065626052 title "Specifications of a simplified transport protocol using different formal description techniques" @default.
- W2065626052 cites W1427188165 @default.
- W2065626052 cites W1546981056 @default.
- W2065626052 cites W1557828026 @default.
- W2065626052 cites W1579896659 @default.
- W2065626052 cites W1603788080 @default.
- W2065626052 cites W2016457827 @default.
- W2065626052 cites W2019085461 @default.
- W2065626052 cites W2029117638 @default.
- W2065626052 cites W2054409309 @default.
- W2065626052 cites W2061645988 @default.
- W2065626052 cites W2088546322 @default.
- W2065626052 cites W2090003379 @default.
- W2065626052 cites W2096348210 @default.
- W2065626052 cites W2097786642 @default.
- W2065626052 cites W2118954772 @default.
- W2065626052 cites W2120218925 @default.
- W2065626052 cites W2121372686 @default.
- W2065626052 cites W2137865376 @default.
- W2065626052 cites W2140605597 @default.
- W2065626052 cites W2148620491 @default.
- W2065626052 cites W2158348156 @default.
- W2065626052 doi "https://doi.org/10.1016/0169-7552(90)90121-8" @default.
- W2065626052 hasPublicationYear "1990" @default.
- W2065626052 type Work @default.
- W2065626052 sameAs 2065626052 @default.
- W2065626052 citedByCount "52" @default.
- W2065626052 countsByYear W20656260522016 @default.
- W2065626052 crossrefType "journal-article" @default.
- W2065626052 hasAuthorship W2065626052A5083944273 @default.
- W2065626052 hasConcept C115903868 @default.
- W2065626052 hasConcept C116253237 @default.
- W2065626052 hasConcept C12269588 @default.
- W2065626052 hasConcept C142724271 @default.
- W2065626052 hasConcept C146072743 @default.
- W2065626052 hasConcept C154945302 @default.
- W2065626052 hasConcept C168535184 @default.
- W2065626052 hasConcept C199360897 @default.
- W2065626052 hasConcept C201677973 @default.
- W2065626052 hasConcept C204787440 @default.
- W2065626052 hasConcept C2777212361 @default.
- W2065626052 hasConcept C2777904410 @default.
- W2065626052 hasConcept C2780385302 @default.
- W2065626052 hasConcept C2985583900 @default.
- W2065626052 hasConcept C31258907 @default.
- W2065626052 hasConcept C41008148 @default.
- W2065626052 hasConcept C71924100 @default.
- W2065626052 hasConcept C75606506 @default.
- W2065626052 hasConcept C90069079 @default.
- W2065626052 hasConceptScore W2065626052C115903868 @default.
- W2065626052 hasConceptScore W2065626052C116253237 @default.
- W2065626052 hasConceptScore W2065626052C12269588 @default.
- W2065626052 hasConceptScore W2065626052C142724271 @default.
- W2065626052 hasConceptScore W2065626052C146072743 @default.
- W2065626052 hasConceptScore W2065626052C154945302 @default.
- W2065626052 hasConceptScore W2065626052C168535184 @default.
- W2065626052 hasConceptScore W2065626052C199360897 @default.
- W2065626052 hasConceptScore W2065626052C201677973 @default.
- W2065626052 hasConceptScore W2065626052C204787440 @default.
- W2065626052 hasConceptScore W2065626052C2777212361 @default.
- W2065626052 hasConceptScore W2065626052C2777904410 @default.
- W2065626052 hasConceptScore W2065626052C2780385302 @default.
- W2065626052 hasConceptScore W2065626052C2985583900 @default.
- W2065626052 hasConceptScore W2065626052C31258907 @default.
- W2065626052 hasConceptScore W2065626052C41008148 @default.
- W2065626052 hasConceptScore W2065626052C71924100 @default.
- W2065626052 hasConceptScore W2065626052C75606506 @default.
- W2065626052 hasConceptScore W2065626052C90069079 @default.
- W2065626052 hasIssue "5" @default.
- W2065626052 hasLocation W20656260521 @default.
- W2065626052 hasOpenAccess W2065626052 @default.
- W2065626052 hasPrimaryLocation W20656260521 @default.
- W2065626052 hasRelatedWork W1536552036 @default.
- W2065626052 hasRelatedWork W1928894703 @default.
- W2065626052 hasRelatedWork W1964111820 @default.
- W2065626052 hasRelatedWork W2098613964 @default.
- W2065626052 hasRelatedWork W2116068107 @default.
- W2065626052 hasRelatedWork W2138398927 @default.
- W2065626052 hasRelatedWork W2145875437 @default.
- W2065626052 hasRelatedWork W2368560475 @default.
- W2065626052 hasRelatedWork W2752133100 @default.
- W2065626052 hasRelatedWork W3090214085 @default.
- W2065626052 hasVolume "18" @default.
- W2065626052 isParatext "false" @default.
- W2065626052 isRetracted "false" @default.
- W2065626052 magId "2065626052" @default.
- W2065626052 workType "article" @default.