Matches in SemOpenAlex for { <https://semopenalex.org/work/W971574169> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W971574169 endingPage "439" @default.
- W971574169 startingPage "433" @default.
- W971574169 abstract "We present Adam, a tool for the automatic synthesis of distributed systems with multiple concurrent processes. For each process, an individual controller is synthesized that acts on locally available information obtained through synchronization with the environment and with other system processes. Adam is based on Petri games, an extension of Petri nets where each token is a player in a multiplayer game. Adam implements the first symbolic game solving algorithm for Petri games. We report on experience from several case studies with up to 38 system processes." @default.
- W971574169 created "2016-06-24" @default.
- W971574169 creator A5048189898 @default.
- W971574169 creator A5053164764 @default.
- W971574169 creator A5084773409 @default.
- W971574169 date "2015-01-01" @default.
- W971574169 modified "2023-10-16" @default.
- W971574169 title "Adam: Causality-Based Synthesis of Distributed Systems" @default.
- W971574169 cites W108971667 @default.
- W971574169 cites W143039783 @default.
- W971574169 cites W1483600339 @default.
- W971574169 cites W1846006920 @default.
- W971574169 cites W1984262532 @default.
- W971574169 cites W2007981995 @default.
- W971574169 cites W2016206563 @default.
- W971574169 cites W2122620434 @default.
- W971574169 cites W2151958719 @default.
- W971574169 cites W2913483564 @default.
- W971574169 cites W3145201058 @default.
- W971574169 cites W4212901716 @default.
- W971574169 doi "https://doi.org/10.1007/978-3-319-21690-4_25" @default.
- W971574169 hasPublicationYear "2015" @default.
- W971574169 type Work @default.
- W971574169 sameAs 971574169 @default.
- W971574169 citedByCount "20" @default.
- W971574169 countsByYear W9715741692015 @default.
- W971574169 countsByYear W9715741692017 @default.
- W971574169 countsByYear W9715741692018 @default.
- W971574169 countsByYear W9715741692019 @default.
- W971574169 countsByYear W9715741692020 @default.
- W971574169 countsByYear W9715741692021 @default.
- W971574169 countsByYear W9715741692022 @default.
- W971574169 countsByYear W9715741692023 @default.
- W971574169 crossrefType "book-chapter" @default.
- W971574169 hasAuthorship W971574169A5048189898 @default.
- W971574169 hasAuthorship W971574169A5053164764 @default.
- W971574169 hasAuthorship W971574169A5084773409 @default.
- W971574169 hasBestOaLocation W9715741691 @default.
- W971574169 hasConcept C120314980 @default.
- W971574169 hasConcept C127162648 @default.
- W971574169 hasConcept C136155141 @default.
- W971574169 hasConcept C161771561 @default.
- W971574169 hasConcept C199360897 @default.
- W971574169 hasConcept C2778562939 @default.
- W971574169 hasConcept C31258907 @default.
- W971574169 hasConcept C38652104 @default.
- W971574169 hasConcept C38677869 @default.
- W971574169 hasConcept C41008148 @default.
- W971574169 hasConcept C48145219 @default.
- W971574169 hasConcept C80444323 @default.
- W971574169 hasConcept C98045186 @default.
- W971574169 hasConceptScore W971574169C120314980 @default.
- W971574169 hasConceptScore W971574169C127162648 @default.
- W971574169 hasConceptScore W971574169C136155141 @default.
- W971574169 hasConceptScore W971574169C161771561 @default.
- W971574169 hasConceptScore W971574169C199360897 @default.
- W971574169 hasConceptScore W971574169C2778562939 @default.
- W971574169 hasConceptScore W971574169C31258907 @default.
- W971574169 hasConceptScore W971574169C38652104 @default.
- W971574169 hasConceptScore W971574169C38677869 @default.
- W971574169 hasConceptScore W971574169C41008148 @default.
- W971574169 hasConceptScore W971574169C48145219 @default.
- W971574169 hasConceptScore W971574169C80444323 @default.
- W971574169 hasConceptScore W971574169C98045186 @default.
- W971574169 hasLocation W9715741691 @default.
- W971574169 hasOpenAccess W971574169 @default.
- W971574169 hasPrimaryLocation W9715741691 @default.
- W971574169 hasRelatedWork W1500846603 @default.
- W971574169 hasRelatedWork W1506995308 @default.
- W971574169 hasRelatedWork W1536150964 @default.
- W971574169 hasRelatedWork W2042363190 @default.
- W971574169 hasRelatedWork W2121853504 @default.
- W971574169 hasRelatedWork W2141381202 @default.
- W971574169 hasRelatedWork W2152836029 @default.
- W971574169 hasRelatedWork W2161449687 @default.
- W971574169 hasRelatedWork W2738246951 @default.
- W971574169 hasRelatedWork W2771041975 @default.
- W971574169 isParatext "false" @default.
- W971574169 isRetracted "false" @default.
- W971574169 magId "971574169" @default.
- W971574169 workType "book-chapter" @default.