FRINK Linked Data Fragments server

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

• W3187826743 abstract "We propose featured team automata to support variability in the development and analysis of teams, which are systems of reactive components that communicate according to specified synchronisation types. A featured team automaton concisely describes a family of concrete product models for specific configurations determined by feature selection. We focus on the analysis of communication-safety properties, but doing so product-wise quickly becomes impractical. Therefore, we investigate how to lift notions of receptiveness (no message loss) to the level of family models. We show that featured (weak) receptiveness of featured team automata characterises (weak) receptiveness for all product instantiations. A prototypical tool supports the developed theory." @default.
• W3187826743 created "2021-08-16" @default.
• W3187826743 creator A5045860912 @default.
• W3187826743 creator A5055128003 @default.
• W3187826743 creator A5064415269 @default.
• W3187826743 creator A5068988759 @default.
• W3187826743 date "2021-08-03" @default.
• W3187826743 modified "2023-09-27" @default.
• W3187826743 title "Featured Team Automata" @default.
• W3187826743 cites W1484878272 @default.
• W3187826743 cites W1564626116 @default.
• W3187826743 cites W1710690747 @default.
• W3187826743 cites W1959890433 @default.
• W3187826743 cites W2015315253 @default.
• W3187826743 cites W2018389955 @default.
• W3187826743 cites W2040767332 @default.
• W3187826743 cites W2043452331 @default.
• W3187826743 cites W2048064553 @default.
• W3187826743 cites W2107531455 @default.
• W3187826743 cites W2110025251 @default.
• W3187826743 cites W2121396013 @default.
• W3187826743 cites W2125853721 @default.
• W3187826743 cites W2130195901 @default.
• W3187826743 cites W2142960988 @default.
• W3187826743 cites W2145334549 @default.
• W3187826743 cites W2157536763 @default.
• W3187826743 cites W2166408554 @default.
• W3187826743 cites W2168086947 @default.
• W3187826743 cites W218001914 @default.
• W3187826743 cites W2219042429 @default.
• W3187826743 cites W2261238734 @default.
• W3187826743 cites W2293287097 @default.
• W3187826743 cites W2394570354 @default.
• W3187826743 cites W2579310569 @default.
• W3187826743 cites W2599286514 @default.
• W3187826743 cites W2619393891 @default.
• W3187826743 cites W2742512175 @default.
• W3187826743 cites W2914149546 @default.
• W3187826743 cites W2983413613 @default.
• W3187826743 cites W3019048927 @default.
• W3187826743 cites W3106468248 @default.
• W3187826743 cites W3108621583 @default.
• W3187826743 cites W3210456721 @default.
• W3187826743 cites W596739818 @default.
• W3187826743 hasPublicationYear "2021" @default.
• W3187826743 type Work @default.
• W3187826743 sameAs 3187826743 @default.
• W3187826743 citedByCount "1" @default.
• W3187826743 countsByYear W31878267432021 @default.
• W3187826743 crossrefType "posted-content" @default.
• W3187826743 hasAuthorship W3187826743A5045860912 @default.
• W3187826743 hasAuthorship W3187826743A5055128003 @default.
• W3187826743 hasAuthorship W3187826743A5064415269 @default.
• W3187826743 hasAuthorship W3187826743A5068988759 @default.
• W3187826743 hasConcept C107457646 @default.
• W3187826743 hasConcept C112505250 @default.
• W3187826743 hasConcept C120665830 @default.
• W3187826743 hasConcept C121332964 @default.
• W3187826743 hasConcept C124101348 @default.
• W3187826743 hasConcept C138885662 @default.
• W3187826743 hasConcept C139002025 @default.
• W3187826743 hasConcept C192209626 @default.
• W3187826743 hasConcept C2524010 @default.
• W3187826743 hasConcept C2776401178 @default.
• W3187826743 hasConcept C33923547 @default.
• W3187826743 hasConcept C41008148 @default.
• W3187826743 hasConcept C41895202 @default.
• W3187826743 hasConcept C80444323 @default.
• W3187826743 hasConcept C90673727 @default.
• W3187826743 hasConceptScore W3187826743C107457646 @default.
• W3187826743 hasConceptScore W3187826743C112505250 @default.
• W3187826743 hasConceptScore W3187826743C120665830 @default.
• W3187826743 hasConceptScore W3187826743C121332964 @default.
• W3187826743 hasConceptScore W3187826743C124101348 @default.
• W3187826743 hasConceptScore W3187826743C138885662 @default.
• W3187826743 hasConceptScore W3187826743C139002025 @default.
• W3187826743 hasConceptScore W3187826743C192209626 @default.
• W3187826743 hasConceptScore W3187826743C2524010 @default.
• W3187826743 hasConceptScore W3187826743C2776401178 @default.
• W3187826743 hasConceptScore W3187826743C33923547 @default.
• W3187826743 hasConceptScore W3187826743C41008148 @default.
• W3187826743 hasConceptScore W3187826743C41895202 @default.
• W3187826743 hasConceptScore W3187826743C80444323 @default.
• W3187826743 hasConceptScore W3187826743C90673727 @default.
• W3187826743 hasLocation W31878267431 @default.
• W3187826743 hasOpenAccess W3187826743 @default.
• W3187826743 hasPrimaryLocation W31878267431 @default.
• W3187826743 hasRelatedWork W1491372230 @default.
• W3187826743 hasRelatedWork W1494186517 @default.
• W3187826743 hasRelatedWork W1661214222 @default.
• W3187826743 hasRelatedWork W1801944252 @default.
• W3187826743 hasRelatedWork W1995730330 @default.
• W3187826743 hasRelatedWork W2044226583 @default.
• W3187826743 hasRelatedWork W2116426591 @default.
• W3187826743 hasRelatedWork W2171869249 @default.
• W3187826743 hasRelatedWork W2183415127 @default.
• W3187826743 hasRelatedWork W2188966396 @default.
• W3187826743 hasRelatedWork W2594510384 @default.
• W3187826743 hasRelatedWork W2805278448 @default.
• W3187826743 hasRelatedWork W290710835 @default.

• next