Matches in SemOpenAlex for { <https://semopenalex.org/work/W1546061844> ?p ?o ?g. }
Showing items 1 to 71 of
71
with 100 items per page.
- W1546061844 endingPage "152" @default.
- W1546061844 startingPage "141" @default.
- W1546061844 abstract "We study the synthesis problem in an asynchronous distributed setting: a finite set of processes interact locally with an uncontrollable environment and communicate with each other by sending signals --- actions that are immediately received by the target process. The synthesis problem is to come up with a local strategy for each process such that the resulting behaviours of the system meet a given specification. We consider external specifications over partial orders . External means that specifications only relate input and output actions from and to the environment and not signals exchanged by processes. We also ask for some closure properties of the specification. We present this new setting for studying the distributed synthesis problem, and give decidability results: the non-distributed case, and the subclass of networks where communication happens through a strongly connected graph. We believe that this framework for distributed synthesis yields decidability results for many more architectures." @default.
- W1546061844 created "2016-06-24" @default.
- W1546061844 creator A5028032477 @default.
- W1546061844 creator A5064833291 @default.
- W1546061844 creator A5082604436 @default.
- W1546061844 date "2009-01-01" @default.
- W1546061844 modified "2023-09-25" @default.
- W1546061844 title "Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems" @default.
- W1546061844 cites W1490247810 @default.
- W1546061844 cites W1503402770 @default.
- W1546061844 cites W1517844372 @default.
- W1546061844 cites W1547864995 @default.
- W1546061844 cites W1558344911 @default.
- W1546061844 cites W1596059896 @default.
- W1546061844 cites W1678564987 @default.
- W1546061844 cites W1737156267 @default.
- W1546061844 cites W1881260135 @default.
- W1546061844 cites W2016206563 @default.
- W1546061844 cites W2024941371 @default.
- W1546061844 cites W2172209948 @default.
- W1546061844 cites W4241612038 @default.
- W1546061844 doi "https://doi.org/10.1007/978-3-540-95891-8_16" @default.
- W1546061844 hasPublicationYear "2009" @default.
- W1546061844 type Work @default.
- W1546061844 sameAs 1546061844 @default.
- W1546061844 citedByCount "6" @default.
- W1546061844 countsByYear W15460618442013 @default.
- W1546061844 crossrefType "book-chapter" @default.
- W1546061844 hasAuthorship W1546061844A5028032477 @default.
- W1546061844 hasAuthorship W1546061844A5064833291 @default.
- W1546061844 hasAuthorship W1546061844A5082604436 @default.
- W1546061844 hasConcept C11413529 @default.
- W1546061844 hasConcept C134121241 @default.
- W1546061844 hasConcept C151319957 @default.
- W1546061844 hasConcept C153269930 @default.
- W1546061844 hasConcept C191897082 @default.
- W1546061844 hasConcept C192562407 @default.
- W1546061844 hasConcept C199360897 @default.
- W1546061844 hasConcept C31258907 @default.
- W1546061844 hasConcept C41008148 @default.
- W1546061844 hasConcept C80444323 @default.
- W1546061844 hasConceptScore W1546061844C11413529 @default.
- W1546061844 hasConceptScore W1546061844C134121241 @default.
- W1546061844 hasConceptScore W1546061844C151319957 @default.
- W1546061844 hasConceptScore W1546061844C153269930 @default.
- W1546061844 hasConceptScore W1546061844C191897082 @default.
- W1546061844 hasConceptScore W1546061844C192562407 @default.
- W1546061844 hasConceptScore W1546061844C199360897 @default.
- W1546061844 hasConceptScore W1546061844C31258907 @default.
- W1546061844 hasConceptScore W1546061844C41008148 @default.
- W1546061844 hasConceptScore W1546061844C80444323 @default.
- W1546061844 hasLocation W15460618441 @default.
- W1546061844 hasLocation W15460618442 @default.
- W1546061844 hasOpenAccess W1546061844 @default.
- W1546061844 hasPrimaryLocation W15460618441 @default.
- W1546061844 hasRelatedWork W1563374799 @default.
- W1546061844 hasRelatedWork W2166247150 @default.
- W1546061844 hasRelatedWork W2367372208 @default.
- W1546061844 hasRelatedWork W2569004848 @default.
- W1546061844 hasRelatedWork W3159912674 @default.
- W1546061844 hasRelatedWork W3177160037 @default.
- W1546061844 hasRelatedWork W3209871473 @default.
- W1546061844 hasRelatedWork W4243252198 @default.
- W1546061844 hasRelatedWork W4286894913 @default.
- W1546061844 hasRelatedWork W4287200437 @default.
- W1546061844 isParatext "false" @default.
- W1546061844 isRetracted "false" @default.
- W1546061844 magId "1546061844" @default.
- W1546061844 workType "book-chapter" @default.