FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2083242562> ?p ?o ?g. }

• W2083242562 endingPage "133" @default.
• W2083242562 startingPage "120" @default.
• W2083242562 abstract "Specification methods for distributed systems is the underlying theme of this paper. A model of communicating processes with rendezvous interactions is assumed as a basis for the discussion. The possible interactions by a process, and the interconnection between several subprocesses within a process are specified using the concept of ports, which are specified separately. Step-wise refinement of process specifications and associated verification rules are considered. The step-wise refinement of port specifications and associated interactions is considered as well. After the presentation of an introductory example, the paper discusses the basic concepts of the specification method. They are then applied to more complex examples. The step-wise wefinement of ports and interactions is demonstrated by a hardware interface for which an abstract specification and a more detailed implementation is given. Proof rules for verifying the consistency of detailed and more abstract specifications are discussed in some detail." @default.
• W2083242562 created "2016-06-24" @default.
• W2083242562 creator A5007779379 @default.
• W2083242562 creator A5043474985 @default.
• W2083242562 date "1983-02-01" @default.
• W2083242562 modified "2023-10-18" @default.
• W2083242562 title "Structured Specification of Communicating Systems" @default.
• W2083242562 cites W1967686058 @default.
• W2083242562 cites W1973311427 @default.
• W2083242562 cites W1980529102 @default.
• W2083242562 cites W1982627667 @default.
• W2083242562 cites W1984831616 @default.
• W2083242562 cites W1994350081 @default.
• W2083242562 cites W2004158097 @default.
• W2083242562 cites W2008395018 @default.
• W2083242562 cites W2016953264 @default.
• W2083242562 cites W2031561037 @default.
• W2083242562 cites W2038952689 @default.
• W2083242562 cites W2040068897 @default.
• W2083242562 cites W2044951665 @default.
• W2083242562 cites W2066210260 @default.
• W2083242562 cites W2077160015 @default.
• W2083242562 cites W2126736658 @default.
• W2083242562 cites W2148620491 @default.
• W2083242562 cites W2153339829 @default.
• W2083242562 cites W2153580110 @default.
• W2083242562 cites W2156076209 @default.
• W2083242562 cites W2166656159 @default.
• W2083242562 cites W3137220996 @default.
• W2083242562 cites W4211008702 @default.
• W2083242562 doi "https://doi.org/10.1109/tc.1983.1676197" @default.
• W2083242562 hasPublicationYear "1983" @default.
• W2083242562 type Work @default.
• W2083242562 sameAs 2083242562 @default.
• W2083242562 citedByCount "11" @default.
• W2083242562 crossrefType "journal-article" @default.
• W2083242562 hasAuthorship W2083242562A5007779379 @default.
• W2083242562 hasAuthorship W2083242562A5043474985 @default.
• W2083242562 hasConcept C115903868 @default.
• W2083242562 hasConcept C116253237 @default.
• W2083242562 hasConcept C120314980 @default.
• W2083242562 hasConcept C12426560 @default.
• W2083242562 hasConcept C127413603 @default.
• W2083242562 hasConcept C146978453 @default.
• W2083242562 hasConcept C154945302 @default.
• W2083242562 hasConcept C155214134 @default.
• W2083242562 hasConcept C156325763 @default.
• W2083242562 hasConcept C161771561 @default.
• W2083242562 hasConcept C184337299 @default.
• W2083242562 hasConcept C199360897 @default.
• W2083242562 hasConcept C2524010 @default.
• W2083242562 hasConcept C2776436953 @default.
• W2083242562 hasConcept C2779968344 @default.
• W2083242562 hasConcept C29829512 @default.
• W2083242562 hasConcept C33923547 @default.
• W2083242562 hasConcept C41008148 @default.
• W2083242562 hasConcept C75606506 @default.
• W2083242562 hasConcept C80444323 @default.
• W2083242562 hasConcept C84651959 @default.
• W2083242562 hasConcept C98045186 @default.
• W2083242562 hasConceptScore W2083242562C115903868 @default.
• W2083242562 hasConceptScore W2083242562C116253237 @default.
• W2083242562 hasConceptScore W2083242562C120314980 @default.
• W2083242562 hasConceptScore W2083242562C12426560 @default.
• W2083242562 hasConceptScore W2083242562C127413603 @default.
• W2083242562 hasConceptScore W2083242562C146978453 @default.
• W2083242562 hasConceptScore W2083242562C154945302 @default.
• W2083242562 hasConceptScore W2083242562C155214134 @default.
• W2083242562 hasConceptScore W2083242562C156325763 @default.
• W2083242562 hasConceptScore W2083242562C161771561 @default.
• W2083242562 hasConceptScore W2083242562C184337299 @default.
• W2083242562 hasConceptScore W2083242562C199360897 @default.
• W2083242562 hasConceptScore W2083242562C2524010 @default.
• W2083242562 hasConceptScore W2083242562C2776436953 @default.
• W2083242562 hasConceptScore W2083242562C2779968344 @default.
• W2083242562 hasConceptScore W2083242562C29829512 @default.
• W2083242562 hasConceptScore W2083242562C33923547 @default.
• W2083242562 hasConceptScore W2083242562C41008148 @default.
• W2083242562 hasConceptScore W2083242562C75606506 @default.
• W2083242562 hasConceptScore W2083242562C80444323 @default.
• W2083242562 hasConceptScore W2083242562C84651959 @default.
• W2083242562 hasConceptScore W2083242562C98045186 @default.
• W2083242562 hasIssue "2" @default.
• W2083242562 hasLocation W20832425621 @default.
• W2083242562 hasOpenAccess W2083242562 @default.
• W2083242562 hasPrimaryLocation W20832425621 @default.
• W2083242562 hasRelatedWork W1583364777 @default.
• W2083242562 hasRelatedWork W1961776237 @default.
• W2083242562 hasRelatedWork W2035334563 @default.
• W2083242562 hasRelatedWork W2083242562 @default.
• W2083242562 hasRelatedWork W2105172614 @default.
• W2083242562 hasRelatedWork W2108363806 @default.
• W2083242562 hasRelatedWork W2124807273 @default.
• W2083242562 hasRelatedWork W2140312540 @default.
• W2083242562 hasRelatedWork W2157942411 @default.
• W2083242562 hasRelatedWork W3037878437 @default.
• W2083242562 hasVolume "C-32" @default.
• W2083242562 isParatext "false" @default.

• next