Matches in SemOpenAlex for { <https://semopenalex.org/work/W1983444312> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1983444312 endingPage "272" @default.
- W1983444312 startingPage "255" @default.
- W1983444312 abstract "We present three refinement principles supporting the transition from system specifications based on (unbounded) asynchronous communication to system specifications based on (bounded) synchronous communication. We refer to these principles as partial, total and conditional refinement, respectively. We distinguish between two synchronization techniques, namely synchronization by hand-shake and synchronization by real-time constraints. Partial refinement supports synchronization by hand-shake with respect to safety properties. Total refinement supports synchronization by hand-shake with respect to both safety and liveness properties. Finally, conditional refinement supports both synchronization by hand-shake and by real-time constraints. We discuss, relate and show the use of these principles in a number of small examples." @default.
- W1983444312 created "2016-06-24" @default.
- W1983444312 creator A5008407215 @default.
- W1983444312 date "1996-05-01" @default.
- W1983444312 modified "2023-09-25" @default.
- W1983444312 title "Refinement principles supporting the transition from asynchronous to synchronous communication" @default.
- W1983444312 cites W1508099159 @default.
- W1983444312 cites W153201270 @default.
- W1983444312 cites W15780310 @default.
- W1983444312 cites W2041828955 @default.
- W1983444312 cites W2074236561 @default.
- W1983444312 cites W2076212401 @default.
- W1983444312 cites W2296232480 @default.
- W1983444312 cites W3023216518 @default.
- W1983444312 cites W3144106787 @default.
- W1983444312 cites W49646036 @default.
- W1983444312 cites W80370608 @default.
- W1983444312 doi "https://doi.org/10.1016/0167-6423(95)00031-3" @default.
- W1983444312 hasPublicationYear "1996" @default.
- W1983444312 type Work @default.
- W1983444312 sameAs 1983444312 @default.
- W1983444312 citedByCount "2" @default.
- W1983444312 crossrefType "journal-article" @default.
- W1983444312 hasAuthorship W1983444312A5008407215 @default.
- W1983444312 hasConcept C108734733 @default.
- W1983444312 hasConcept C120314980 @default.
- W1983444312 hasConcept C121332964 @default.
- W1983444312 hasConcept C127162648 @default.
- W1983444312 hasConcept C1276947 @default.
- W1983444312 hasConcept C134306372 @default.
- W1983444312 hasConcept C151319957 @default.
- W1983444312 hasConcept C15569618 @default.
- W1983444312 hasConcept C199360897 @default.
- W1983444312 hasConcept C2778562939 @default.
- W1983444312 hasConcept C2779053110 @default.
- W1983444312 hasConcept C31258907 @default.
- W1983444312 hasConcept C33923547 @default.
- W1983444312 hasConcept C34388435 @default.
- W1983444312 hasConcept C41008148 @default.
- W1983444312 hasConcept C80444323 @default.
- W1983444312 hasConcept C98045186 @default.
- W1983444312 hasConceptScore W1983444312C108734733 @default.
- W1983444312 hasConceptScore W1983444312C120314980 @default.
- W1983444312 hasConceptScore W1983444312C121332964 @default.
- W1983444312 hasConceptScore W1983444312C127162648 @default.
- W1983444312 hasConceptScore W1983444312C1276947 @default.
- W1983444312 hasConceptScore W1983444312C134306372 @default.
- W1983444312 hasConceptScore W1983444312C151319957 @default.
- W1983444312 hasConceptScore W1983444312C15569618 @default.
- W1983444312 hasConceptScore W1983444312C199360897 @default.
- W1983444312 hasConceptScore W1983444312C2778562939 @default.
- W1983444312 hasConceptScore W1983444312C2779053110 @default.
- W1983444312 hasConceptScore W1983444312C31258907 @default.
- W1983444312 hasConceptScore W1983444312C33923547 @default.
- W1983444312 hasConceptScore W1983444312C34388435 @default.
- W1983444312 hasConceptScore W1983444312C41008148 @default.
- W1983444312 hasConceptScore W1983444312C80444323 @default.
- W1983444312 hasConceptScore W1983444312C98045186 @default.
- W1983444312 hasIssue "1-3" @default.
- W1983444312 hasLocation W19834443121 @default.
- W1983444312 hasOpenAccess W1983444312 @default.
- W1983444312 hasPrimaryLocation W19834443121 @default.
- W1983444312 hasRelatedWork W134545472 @default.
- W1983444312 hasRelatedWork W1546061844 @default.
- W1983444312 hasRelatedWork W1553381355 @default.
- W1983444312 hasRelatedWork W1557918845 @default.
- W1983444312 hasRelatedWork W1585082941 @default.
- W1983444312 hasRelatedWork W1750413901 @default.
- W1983444312 hasRelatedWork W1890744859 @default.
- W1983444312 hasRelatedWork W1927382928 @default.
- W1983444312 hasRelatedWork W1997013119 @default.
- W1983444312 hasRelatedWork W2005976511 @default.
- W1983444312 hasRelatedWork W2021059028 @default.
- W1983444312 hasRelatedWork W2052689990 @default.
- W1983444312 hasRelatedWork W2404343791 @default.
- W1983444312 hasRelatedWork W2488657621 @default.
- W1983444312 hasRelatedWork W2602974208 @default.
- W1983444312 hasRelatedWork W2912904668 @default.
- W1983444312 hasRelatedWork W2948696358 @default.
- W1983444312 hasRelatedWork W3106468248 @default.
- W1983444312 hasRelatedWork W329303302 @default.
- W1983444312 hasRelatedWork W2474311334 @default.
- W1983444312 hasVolume "26" @default.
- W1983444312 isParatext "false" @default.
- W1983444312 isRetracted "false" @default.
- W1983444312 magId "1983444312" @default.
- W1983444312 workType "article" @default.