Matches in SemOpenAlex for { <https://semopenalex.org/work/W2572585876> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2572585876 abstract "We study interacting components and their compatibility with respect to synchronous and asynchronous composition. The behavior of components is formalized by I/O-transition systems. Synchronous composition is based on simultaneous execution of shared output and input actions of two components while asynchronous composition uses unbounded FIFO-buffers for message transfer. In both contexts we study compatibility notions based on the idea that any output issued by one component should be accepted as an input by the other. We distinguish between strong and weak versions of compatibility, the latter allowing the execution of internal actions before a message is accepted. We consider open systems and study conditions under which (strong/weak) synchronous compatibility is sufficient and necessary to get (strong/weak) asynchronous compatibility. We show that these conditions characterize half-duplex systems. Then we focus on the verification of weak asynchronous compatibility for possibly non half-duplex systems and provide a decidable criterion that ensures weak asynchronous compatibility. We investigate conditions under which this criterion is complete, i.e. if it is not satisfied then the asynchronous system is not weakly asynchronously compatible. Finally, we discuss deadlock-freeness and investigate relationships between deadlock-freeness in the synchronous and in the asynchronous case." @default.
- W2572585876 created "2017-01-26" @default.
- W2572585876 creator A5055128003 @default.
- W2572585876 creator A5062496192 @default.
- W2572585876 date "2016-11-11" @default.
- W2572585876 modified "2023-09-27" @default.
- W2572585876 title "Compatibility Properties of Synchronously and Asynchronously Communicating Components" @default.
- W2572585876 cites W1553276218 @default.
- W2572585876 cites W1596404209 @default.
- W2572585876 cites W1842117537 @default.
- W2572585876 cites W1876502793 @default.
- W2572585876 cites W1959890433 @default.
- W2572585876 cites W2011495892 @default.
- W2572585876 cites W2025970201 @default.
- W2572585876 cites W2157536763 @default.
- W2572585876 cites W2293287097 @default.
- W2572585876 cites W2488657621 @default.
- W2572585876 cites W2619393891 @default.
- W2572585876 cites W2768414092 @default.
- W2572585876 cites W2963921122 @default.
- W2572585876 cites W3148296573 @default.
- W2572585876 hasPublicationYear "2016" @default.
- W2572585876 type Work @default.
- W2572585876 sameAs 2572585876 @default.
- W2572585876 citedByCount "0" @default.
- W2572585876 crossrefType "posted-content" @default.
- W2572585876 hasAuthorship W2572585876A5055128003 @default.
- W2572585876 hasAuthorship W2572585876A5062496192 @default.
- W2572585876 hasConcept C120314980 @default.
- W2572585876 hasConcept C127413603 @default.
- W2572585876 hasConcept C134652429 @default.
- W2572585876 hasConcept C137059387 @default.
- W2572585876 hasConcept C151319957 @default.
- W2572585876 hasConcept C153269930 @default.
- W2572585876 hasConcept C2778648169 @default.
- W2572585876 hasConcept C31258907 @default.
- W2572585876 hasConcept C41008148 @default.
- W2572585876 hasConcept C42196554 @default.
- W2572585876 hasConcept C42360764 @default.
- W2572585876 hasConcept C76155785 @default.
- W2572585876 hasConcept C7923308 @default.
- W2572585876 hasConcept C80444323 @default.
- W2572585876 hasConceptScore W2572585876C120314980 @default.
- W2572585876 hasConceptScore W2572585876C127413603 @default.
- W2572585876 hasConceptScore W2572585876C134652429 @default.
- W2572585876 hasConceptScore W2572585876C137059387 @default.
- W2572585876 hasConceptScore W2572585876C151319957 @default.
- W2572585876 hasConceptScore W2572585876C153269930 @default.
- W2572585876 hasConceptScore W2572585876C2778648169 @default.
- W2572585876 hasConceptScore W2572585876C31258907 @default.
- W2572585876 hasConceptScore W2572585876C41008148 @default.
- W2572585876 hasConceptScore W2572585876C42196554 @default.
- W2572585876 hasConceptScore W2572585876C42360764 @default.
- W2572585876 hasConceptScore W2572585876C76155785 @default.
- W2572585876 hasConceptScore W2572585876C7923308 @default.
- W2572585876 hasConceptScore W2572585876C80444323 @default.
- W2572585876 hasLocation W25725858761 @default.
- W2572585876 hasOpenAccess W2572585876 @default.
- W2572585876 hasPrimaryLocation W25725858761 @default.
- W2572585876 hasRelatedWork W1490145972 @default.
- W2572585876 hasRelatedWork W1546061844 @default.
- W2572585876 hasRelatedWork W1553381355 @default.
- W2572585876 hasRelatedWork W1585082941 @default.
- W2572585876 hasRelatedWork W178030243 @default.
- W2572585876 hasRelatedWork W1783497842 @default.
- W2572585876 hasRelatedWork W2032758175 @default.
- W2572585876 hasRelatedWork W2293237023 @default.
- W2572585876 hasRelatedWork W2340110730 @default.
- W2572585876 hasRelatedWork W2365166320 @default.
- W2572585876 hasRelatedWork W2382406304 @default.
- W2572585876 hasRelatedWork W2481194739 @default.
- W2572585876 hasRelatedWork W2488657621 @default.
- W2572585876 hasRelatedWork W2528284453 @default.
- W2572585876 hasRelatedWork W2568825130 @default.
- W2572585876 hasRelatedWork W2569163292 @default.
- W2572585876 hasRelatedWork W2725817472 @default.
- W2572585876 hasRelatedWork W2912904668 @default.
- W2572585876 hasRelatedWork W2971918484 @default.
- W2572585876 hasRelatedWork W3106468248 @default.
- W2572585876 isParatext "false" @default.
- W2572585876 isRetracted "false" @default.
- W2572585876 magId "2572585876" @default.
- W2572585876 workType "article" @default.