Matches in SemOpenAlex for { <https://semopenalex.org/work/W2073642746> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2073642746 endingPage "11" @default.
- W2073642746 startingPage "7" @default.
- W2073642746 abstract "In component-based development, approaches for property verification exist that avoid building the global system behavior of the component model. Typically, these approaches rely on the analysis of the local behavior of fixed sized subsystems of components. In our approach, we want to avoid not only the analysis of the global behavior but also of the local behaviors of the components. Instead, we consider very small parts of the local behaviors called port protocols that suffice to verify properties." @default.
- W2073642746 created "2016-06-24" @default.
- W2073642746 creator A5045042008 @default.
- W2073642746 creator A5063008538 @default.
- W2073642746 date "2010-10-26" @default.
- W2073642746 modified "2023-10-01" @default.
- W2073642746 title "Port Protocols for Deadlock-Freedom of Component Systems" @default.
- W2073642746 cites W1759840776 @default.
- W2073642746 cites W1811414983 @default.
- W2073642746 cites W1985161650 @default.
- W2073642746 cites W2070255567 @default.
- W2073642746 cites W2103672915 @default.
- W2073642746 cites W2107144615 @default.
- W2073642746 cites W4213430776 @default.
- W2073642746 doi "https://doi.org/10.4204/eptcs.38.3" @default.
- W2073642746 hasPublicationYear "2010" @default.
- W2073642746 type Work @default.
- W2073642746 sameAs 2073642746 @default.
- W2073642746 citedByCount "1" @default.
- W2073642746 countsByYear W20736427462016 @default.
- W2073642746 crossrefType "journal-article" @default.
- W2073642746 hasAuthorship W2073642746A5045042008 @default.
- W2073642746 hasAuthorship W2073642746A5063008538 @default.
- W2073642746 hasBestOaLocation W20736427461 @default.
- W2073642746 hasConcept C111472728 @default.
- W2073642746 hasConcept C119599485 @default.
- W2073642746 hasConcept C120314980 @default.
- W2073642746 hasConcept C121332964 @default.
- W2073642746 hasConcept C127413603 @default.
- W2073642746 hasConcept C138885662 @default.
- W2073642746 hasConcept C159023740 @default.
- W2073642746 hasConcept C168167062 @default.
- W2073642746 hasConcept C189950617 @default.
- W2073642746 hasConcept C32802771 @default.
- W2073642746 hasConcept C41008148 @default.
- W2073642746 hasConcept C97355855 @default.
- W2073642746 hasConceptScore W2073642746C111472728 @default.
- W2073642746 hasConceptScore W2073642746C119599485 @default.
- W2073642746 hasConceptScore W2073642746C120314980 @default.
- W2073642746 hasConceptScore W2073642746C121332964 @default.
- W2073642746 hasConceptScore W2073642746C127413603 @default.
- W2073642746 hasConceptScore W2073642746C138885662 @default.
- W2073642746 hasConceptScore W2073642746C159023740 @default.
- W2073642746 hasConceptScore W2073642746C168167062 @default.
- W2073642746 hasConceptScore W2073642746C189950617 @default.
- W2073642746 hasConceptScore W2073642746C32802771 @default.
- W2073642746 hasConceptScore W2073642746C41008148 @default.
- W2073642746 hasConceptScore W2073642746C97355855 @default.
- W2073642746 hasLocation W20736427461 @default.
- W2073642746 hasLocation W20736427462 @default.
- W2073642746 hasOpenAccess W2073642746 @default.
- W2073642746 hasPrimaryLocation W20736427461 @default.
- W2073642746 hasRelatedWork W1596201972 @default.
- W2073642746 hasRelatedWork W2000227345 @default.
- W2073642746 hasRelatedWork W2001280955 @default.
- W2073642746 hasRelatedWork W2033934752 @default.
- W2073642746 hasRelatedWork W2089128635 @default.
- W2073642746 hasRelatedWork W2101693170 @default.
- W2073642746 hasRelatedWork W2116654123 @default.
- W2073642746 hasRelatedWork W2160425906 @default.
- W2073642746 hasRelatedWork W2314328290 @default.
- W2073642746 hasRelatedWork W2379533788 @default.
- W2073642746 hasVolume "38" @default.
- W2073642746 isParatext "false" @default.
- W2073642746 isRetracted "false" @default.
- W2073642746 magId "2073642746" @default.
- W2073642746 workType "article" @default.