FRINK Linked Data Fragments server

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

• W1574242732 endingPage "47" @default.
• W1574242732 startingPage "33" @default.
• W1574242732 abstract "Explicit behavioural interfaces are now accepted as a mandatory feature of components to address architectural analysis. Behavioural interface description languages should be able to deal with data types and with rich communication means. Symbolic Transition Systems (STS) support the definition of component models which take into account control, concurrency, communication and data types. However, verification of components described with protocol modelled by STS, especially model-checking, is difficult since they possibly involve different sources of infinity. In this paper, we propose the notions of bounded analysis and bounded decomposition. They can be used to test boundedness of systems and to generate finite simulations for them so that standard model-checking techniques may be applied for verification purposes." @default.
• W1574242732 created "2016-06-24" @default.
• W1574242732 creator A5007343719 @default.
• W1574242732 creator A5019071560 @default.
• W1574242732 creator A5059839916 @default.
• W1574242732 date "2006-01-01" @default.
• W1574242732 modified "2023-09-26" @default.
• W1574242732 title "Bounded Analysis and Decomposition for Behavioural Descriptions of Components" @default.
• W1574242732 cites W1491036809 @default.
• W1574242732 cites W1520096217 @default.
• W1574242732 cites W1523445881 @default.
• W1574242732 cites W1530087756 @default.
• W1574242732 cites W1534937062 @default.
• W1574242732 cites W1599210792 @default.
• W1574242732 cites W1607941371 @default.
• W1574242732 cites W1787074469 @default.
• W1574242732 cites W1790036759 @default.
• W1574242732 cites W1860772589 @default.
• W1574242732 cites W1987073197 @default.
• W1574242732 cites W1987557885 @default.
• W1574242732 cites W2013658284 @default.
• W1574242732 cites W2036910349 @default.
• W1574242732 cites W2080593426 @default.
• W1574242732 cites W2090106217 @default.
• W1574242732 cites W2101743103 @default.
• W1574242732 cites W2104807732 @default.
• W1574242732 cites W2143357632 @default.
• W1574242732 cites W2161786546 @default.
• W1574242732 cites W2171018299 @default.
• W1574242732 doi "https://doi.org/10.1007/11768869_5" @default.
• W1574242732 hasPublicationYear "2006" @default.
• W1574242732 type Work @default.
• W1574242732 sameAs 1574242732 @default.
• W1574242732 citedByCount "13" @default.
• W1574242732 countsByYear W15742427322012 @default.
• W1574242732 countsByYear W15742427322013 @default.
• W1574242732 countsByYear W15742427322014 @default.
• W1574242732 crossrefType "book-chapter" @default.
• W1574242732 hasAuthorship W1574242732A5007343719 @default.
• W1574242732 hasAuthorship W1574242732A5019071560 @default.
• W1574242732 hasAuthorship W1574242732A5059839916 @default.
• W1574242732 hasBestOaLocation W15742427321 @default.
• W1574242732 hasConcept C110251889 @default.
• W1574242732 hasConcept C113843644 @default.
• W1574242732 hasConcept C121332964 @default.
• W1574242732 hasConcept C124681953 @default.
• W1574242732 hasConcept C129307140 @default.
• W1574242732 hasConcept C134306372 @default.
• W1574242732 hasConcept C142724271 @default.
• W1574242732 hasConcept C157915830 @default.
• W1574242732 hasConcept C168167062 @default.
• W1574242732 hasConcept C173608175 @default.
• W1574242732 hasConcept C18903297 @default.
• W1574242732 hasConcept C193702766 @default.
• W1574242732 hasConcept C199360897 @default.
• W1574242732 hasConcept C204787440 @default.
• W1574242732 hasConcept C2780385302 @default.
• W1574242732 hasConcept C33923547 @default.
• W1574242732 hasConcept C34388435 @default.
• W1574242732 hasConcept C41008148 @default.
• W1574242732 hasConcept C71924100 @default.
• W1574242732 hasConcept C80444323 @default.
• W1574242732 hasConcept C86803240 @default.
• W1574242732 hasConcept C97355855 @default.
• W1574242732 hasConceptScore W1574242732C110251889 @default.
• W1574242732 hasConceptScore W1574242732C113843644 @default.
• W1574242732 hasConceptScore W1574242732C121332964 @default.
• W1574242732 hasConceptScore W1574242732C124681953 @default.
• W1574242732 hasConceptScore W1574242732C129307140 @default.
• W1574242732 hasConceptScore W1574242732C134306372 @default.
• W1574242732 hasConceptScore W1574242732C142724271 @default.
• W1574242732 hasConceptScore W1574242732C157915830 @default.
• W1574242732 hasConceptScore W1574242732C168167062 @default.
• W1574242732 hasConceptScore W1574242732C173608175 @default.
• W1574242732 hasConceptScore W1574242732C18903297 @default.
• W1574242732 hasConceptScore W1574242732C193702766 @default.
• W1574242732 hasConceptScore W1574242732C199360897 @default.
• W1574242732 hasConceptScore W1574242732C204787440 @default.
• W1574242732 hasConceptScore W1574242732C2780385302 @default.
• W1574242732 hasConceptScore W1574242732C33923547 @default.
• W1574242732 hasConceptScore W1574242732C34388435 @default.
• W1574242732 hasConceptScore W1574242732C41008148 @default.
• W1574242732 hasConceptScore W1574242732C71924100 @default.
• W1574242732 hasConceptScore W1574242732C80444323 @default.
• W1574242732 hasConceptScore W1574242732C86803240 @default.
• W1574242732 hasConceptScore W1574242732C97355855 @default.
• W1574242732 hasLocation W15742427321 @default.
• W1574242732 hasLocation W15742427322 @default.
• W1574242732 hasLocation W15742427323 @default.
• W1574242732 hasOpenAccess W1574242732 @default.
• W1574242732 hasPrimaryLocation W15742427321 @default.
• W1574242732 hasRelatedWork W1517543977 @default.
• W1574242732 hasRelatedWork W1574242732 @default.
• W1574242732 hasRelatedWork W1748450182 @default.
• W1574242732 hasRelatedWork W1819239495 @default.
• W1574242732 hasRelatedWork W1882581446 @default.
• W1574242732 hasRelatedWork W2149515428 @default.
• W1574242732 hasRelatedWork W2151898527 @default.

• next