Matches in SemOpenAlex for { <https://semopenalex.org/work/W1599210792> ?p ?o ?g. }
- W1599210792 endingPage "331" @default.
- W1599210792 startingPage "319" @default.
- W1599210792 abstract "We present a method for computing abstractions of infinite state systems compositionally and automatically. Given a concrete system S = S1 ∥ ... ∥ Sn of programs and given an abstraction function α, using our method one can compute an abstract system Sa = S 1 a ∥ ... ∥ S n a such that S simulates Sa. A distinguishing feature of our method is that it does not produce a single abstract state graph but rather preserves the structure of the concrete system. This feature is a prerequisite to benefit from the techniques developed in the context of model-checking for mitigating the state explosion. Moreover, our method has the advantage that the process of constructing the abstract system does not depend on whether the computation model is synchronous or asynchronous." @default.
- W1599210792 created "2016-06-24" @default.
- W1599210792 creator A5005219814 @default.
- W1599210792 creator A5035629707 @default.
- W1599210792 creator A5069785845 @default.
- W1599210792 date "1998-01-01" @default.
- W1599210792 modified "2023-09-26" @default.
- W1599210792 title "Computing abstractions of infinite state systems compositionally and automatically" @default.
- W1599210792 cites W120333500 @default.
- W1599210792 cites W1497571013 @default.
- W1599210792 cites W1514983780 @default.
- W1599210792 cites W1525623009 @default.
- W1599210792 cites W1550110278 @default.
- W1599210792 cites W1551246917 @default.
- W1599210792 cites W1582986256 @default.
- W1599210792 cites W1825148885 @default.
- W1599210792 cites W1834262393 @default.
- W1599210792 cites W1987073197 @default.
- W1599210792 cites W2043100293 @default.
- W1599210792 cites W2045112813 @default.
- W1599210792 cites W2065353132 @default.
- W1599210792 cites W2080593426 @default.
- W1599210792 cites W2090106217 @default.
- W1599210792 cites W2113486906 @default.
- W1599210792 cites W2153945968 @default.
- W1599210792 cites W4250884204 @default.
- W1599210792 cites W4300021588 @default.
- W1599210792 cites W5325007 @default.
- W1599210792 doi "https://doi.org/10.1007/bfb0028755" @default.
- W1599210792 hasPublicationYear "1998" @default.
- W1599210792 type Work @default.
- W1599210792 sameAs 1599210792 @default.
- W1599210792 citedByCount "76" @default.
- W1599210792 countsByYear W15992107922014 @default.
- W1599210792 countsByYear W15992107922016 @default.
- W1599210792 countsByYear W15992107922017 @default.
- W1599210792 countsByYear W15992107922018 @default.
- W1599210792 countsByYear W15992107922019 @default.
- W1599210792 countsByYear W15992107922021 @default.
- W1599210792 crossrefType "book-chapter" @default.
- W1599210792 hasAuthorship W1599210792A5005219814 @default.
- W1599210792 hasAuthorship W1599210792A5035629707 @default.
- W1599210792 hasAuthorship W1599210792A5069785845 @default.
- W1599210792 hasBestOaLocation W15992107921 @default.
- W1599210792 hasConcept C110251889 @default.
- W1599210792 hasConcept C111472728 @default.
- W1599210792 hasConcept C120314980 @default.
- W1599210792 hasConcept C124304363 @default.
- W1599210792 hasConcept C132525143 @default.
- W1599210792 hasConcept C138885662 @default.
- W1599210792 hasConcept C151319957 @default.
- W1599210792 hasConcept C151730666 @default.
- W1599210792 hasConcept C199360897 @default.
- W1599210792 hasConcept C2776401178 @default.
- W1599210792 hasConcept C2778744346 @default.
- W1599210792 hasConcept C2779343474 @default.
- W1599210792 hasConcept C31258907 @default.
- W1599210792 hasConcept C41008148 @default.
- W1599210792 hasConcept C41895202 @default.
- W1599210792 hasConcept C45374587 @default.
- W1599210792 hasConcept C48103436 @default.
- W1599210792 hasConcept C80444323 @default.
- W1599210792 hasConcept C86803240 @default.
- W1599210792 hasConcept C98045186 @default.
- W1599210792 hasConceptScore W1599210792C110251889 @default.
- W1599210792 hasConceptScore W1599210792C111472728 @default.
- W1599210792 hasConceptScore W1599210792C120314980 @default.
- W1599210792 hasConceptScore W1599210792C124304363 @default.
- W1599210792 hasConceptScore W1599210792C132525143 @default.
- W1599210792 hasConceptScore W1599210792C138885662 @default.
- W1599210792 hasConceptScore W1599210792C151319957 @default.
- W1599210792 hasConceptScore W1599210792C151730666 @default.
- W1599210792 hasConceptScore W1599210792C199360897 @default.
- W1599210792 hasConceptScore W1599210792C2776401178 @default.
- W1599210792 hasConceptScore W1599210792C2778744346 @default.
- W1599210792 hasConceptScore W1599210792C2779343474 @default.
- W1599210792 hasConceptScore W1599210792C31258907 @default.
- W1599210792 hasConceptScore W1599210792C41008148 @default.
- W1599210792 hasConceptScore W1599210792C41895202 @default.
- W1599210792 hasConceptScore W1599210792C45374587 @default.
- W1599210792 hasConceptScore W1599210792C48103436 @default.
- W1599210792 hasConceptScore W1599210792C80444323 @default.
- W1599210792 hasConceptScore W1599210792C86803240 @default.
- W1599210792 hasConceptScore W1599210792C98045186 @default.
- W1599210792 hasLocation W15992107921 @default.
- W1599210792 hasOpenAccess W1599210792 @default.
- W1599210792 hasPrimaryLocation W15992107921 @default.
- W1599210792 hasRelatedWork W2003959877 @default.
- W1599210792 hasRelatedWork W2100295925 @default.
- W1599210792 hasRelatedWork W2105941113 @default.
- W1599210792 hasRelatedWork W2154822190 @default.
- W1599210792 hasRelatedWork W2177212599 @default.
- W1599210792 hasRelatedWork W2364921833 @default.
- W1599210792 hasRelatedWork W2934549348 @default.
- W1599210792 hasRelatedWork W3160136729 @default.
- W1599210792 hasRelatedWork W4288581769 @default.
- W1599210792 hasRelatedWork W2524905605 @default.
- W1599210792 isParatext "false" @default.