Matches in SemOpenAlex for { <https://semopenalex.org/work/W2050512390> ?p ?o ?g. }
Showing items 1 to 82 of
82
with 100 items per page.
- W2050512390 abstract "We present a logic for proving functional properties of concurrent component-based systems. A component is either a single actor or a group of dynamically created actors. The component hierarchy is based on the actor creation tree. The actors work concurrently and communicate asynchronously. Each actor is an instance of an actor class. An actor class determines the behavior of its instances. We assume that specifications of the behavior of the actor classes are available. The logic allows deriving properties of larger components from specifications of smaller components hierarchically." @default.
- W2050512390 created "2016-06-24" @default.
- W2050512390 creator A5001210350 @default.
- W2050512390 creator A5021358950 @default.
- W2050512390 date "2012-10-21" @default.
- W2050512390 modified "2023-09-23" @default.
- W2050512390 title "A relational trace logic for simple hierarchical actor-based component systems" @default.
- W2050512390 cites W1550143818 @default.
- W2050512390 cites W1574589638 @default.
- W2050512390 cites W1604442026 @default.
- W2050512390 cites W1625982774 @default.
- W2050512390 cites W1987036270 @default.
- W2050512390 cites W2016286256 @default.
- W2050512390 cites W2030590001 @default.
- W2050512390 cites W2084712713 @default.
- W2050512390 cites W2098830227 @default.
- W2050512390 cites W2112717427 @default.
- W2050512390 cites W2128932399 @default.
- W2050512390 cites W2139689007 @default.
- W2050512390 cites W2157144873 @default.
- W2050512390 cites W2987907651 @default.
- W2050512390 cites W4211008702 @default.
- W2050512390 doi "https://doi.org/10.1145/2414639.2414647" @default.
- W2050512390 hasPublicationYear "2012" @default.
- W2050512390 type Work @default.
- W2050512390 sameAs 2050512390 @default.
- W2050512390 citedByCount "2" @default.
- W2050512390 countsByYear W20505123902016 @default.
- W2050512390 crossrefType "proceedings-article" @default.
- W2050512390 hasAuthorship W2050512390A5001210350 @default.
- W2050512390 hasAuthorship W2050512390A5021358950 @default.
- W2050512390 hasConcept C111472728 @default.
- W2050512390 hasConcept C120314980 @default.
- W2050512390 hasConcept C121332964 @default.
- W2050512390 hasConcept C138885662 @default.
- W2050512390 hasConcept C154945302 @default.
- W2050512390 hasConcept C162324750 @default.
- W2050512390 hasConcept C168167062 @default.
- W2050512390 hasConcept C199360897 @default.
- W2050512390 hasConcept C2777212361 @default.
- W2050512390 hasConcept C2780586882 @default.
- W2050512390 hasConcept C31170391 @default.
- W2050512390 hasConcept C34447519 @default.
- W2050512390 hasConcept C41008148 @default.
- W2050512390 hasConcept C41895202 @default.
- W2050512390 hasConcept C75291252 @default.
- W2050512390 hasConcept C80444323 @default.
- W2050512390 hasConcept C97355855 @default.
- W2050512390 hasConceptScore W2050512390C111472728 @default.
- W2050512390 hasConceptScore W2050512390C120314980 @default.
- W2050512390 hasConceptScore W2050512390C121332964 @default.
- W2050512390 hasConceptScore W2050512390C138885662 @default.
- W2050512390 hasConceptScore W2050512390C154945302 @default.
- W2050512390 hasConceptScore W2050512390C162324750 @default.
- W2050512390 hasConceptScore W2050512390C168167062 @default.
- W2050512390 hasConceptScore W2050512390C199360897 @default.
- W2050512390 hasConceptScore W2050512390C2777212361 @default.
- W2050512390 hasConceptScore W2050512390C2780586882 @default.
- W2050512390 hasConceptScore W2050512390C31170391 @default.
- W2050512390 hasConceptScore W2050512390C34447519 @default.
- W2050512390 hasConceptScore W2050512390C41008148 @default.
- W2050512390 hasConceptScore W2050512390C41895202 @default.
- W2050512390 hasConceptScore W2050512390C75291252 @default.
- W2050512390 hasConceptScore W2050512390C80444323 @default.
- W2050512390 hasConceptScore W2050512390C97355855 @default.
- W2050512390 hasLocation W20505123901 @default.
- W2050512390 hasOpenAccess W2050512390 @default.
- W2050512390 hasPrimaryLocation W20505123901 @default.
- W2050512390 hasRelatedWork W2095447471 @default.
- W2050512390 hasRelatedWork W2109507516 @default.
- W2050512390 hasRelatedWork W2115737686 @default.
- W2050512390 hasRelatedWork W2118300983 @default.
- W2050512390 hasRelatedWork W2166247150 @default.
- W2050512390 hasRelatedWork W2379533788 @default.
- W2050512390 hasRelatedWork W2383986235 @default.
- W2050512390 hasRelatedWork W32518371 @default.
- W2050512390 hasRelatedWork W4239607034 @default.
- W2050512390 hasRelatedWork W4243252198 @default.
- W2050512390 isParatext "false" @default.
- W2050512390 isRetracted "false" @default.
- W2050512390 magId "2050512390" @default.
- W2050512390 workType "article" @default.