FRINK Linked Data Fragments server

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

• W2912731517 endingPage "105" @default.
• W2912731517 startingPage "90" @default.
• W2912731517 abstract "We propose the concept of adaptable processes as a way of overcoming the limitations that process calculi have for describing patterns of dynamic process evolution. Such patterns rely on direct ways of controlling the behavior and location of running processes, and so they are at the heart of the adaptation capabilities present in many modern concurrent systems. Adaptable processes have a location and are sensible to actions of dynamic update at runtime. This allows to express a wide range of evolvability patterns for processes. We introduce a core calculus of adaptable processes and propose two verification problems for them: bounded and eventual adaptation. While the former ensures that at most k consecutive errors will arise in future states, the latter ensures that if the system enters into an error state then it will eventually reach a correct state. We study the (un)decidability of these two problems in different fragments of the calculus. Rather than a specification language, our calculus intends to be a basis for investigating the fundamental properties of evolvable processes and for developing richer languages with evolvability capabilities." @default.
• W2912731517 created "2019-02-21" @default.
• W2912731517 creator A5034548013 @default.
• W2912731517 creator A5058853876 @default.
• W2912731517 creator A5066677397 @default.
• W2912731517 creator A5081741139 @default.
• W2912731517 date "2011-06-06" @default.
• W2912731517 modified "2023-10-06" @default.
• W2912731517 title "Adaptable processes" @default.
• W2912731517 cites W1498709867 @default.
• W2912731517 cites W1504065323 @default.
• W2912731517 cites W1514415753 @default.
• W2912731517 cites W1528448306 @default.
• W2912731517 cites W1530882603 @default.
• W2912731517 cites W1585339720 @default.
• W2912731517 cites W1790031272 @default.
• W2912731517 cites W1967174286 @default.
• W2912731517 cites W1976772592 @default.
• W2912731517 cites W2018765574 @default.
• W2912731517 cites W2019102125 @default.
• W2912731517 cites W2052306562 @default.
• W2912731517 cites W2088599499 @default.
• W2912731517 cites W2112588218 @default.
• W2912731517 cites W2129073086 @default.
• W2912731517 cites W2138298515 @default.
• W2912731517 cites W2161497018 @default.
• W2912731517 cites W2324339387 @default.
• W2912731517 cites W3037809754 @default.
• W2912731517 cites W67262547 @default.
• W2912731517 hasPublicationYear "2011" @default.
• W2912731517 type Work @default.
• W2912731517 sameAs 2912731517 @default.
• W2912731517 citedByCount "0" @default.
• W2912731517 crossrefType "journal-article" @default.
• W2912731517 hasAuthorship W2912731517A5034548013 @default.
• W2912731517 hasAuthorship W2912731517A5058853876 @default.
• W2912731517 hasAuthorship W2912731517A5066677397 @default.
• W2912731517 hasAuthorship W2912731517A5081741139 @default.
• W2912731517 hasConcept C111472728 @default.
• W2912731517 hasConcept C112505250 @default.
• W2912731517 hasConcept C120314980 @default.
• W2912731517 hasConcept C120665830 @default.
• W2912731517 hasConcept C121332964 @default.
• W2912731517 hasConcept C138885662 @default.
• W2912731517 hasConcept C139807058 @default.
• W2912731517 hasConcept C153269930 @default.
• W2912731517 hasConcept C161771561 @default.
• W2912731517 hasConcept C176147130 @default.
• W2912731517 hasConcept C189950617 @default.
• W2912731517 hasConcept C199360897 @default.
• W2912731517 hasConcept C41008148 @default.
• W2912731517 hasConcept C48103436 @default.
• W2912731517 hasConcept C78458016 @default.
• W2912731517 hasConcept C80444323 @default.
• W2912731517 hasConcept C86803240 @default.
• W2912731517 hasConcept C98045186 @default.
• W2912731517 hasConceptScore W2912731517C111472728 @default.
• W2912731517 hasConceptScore W2912731517C112505250 @default.
• W2912731517 hasConceptScore W2912731517C120314980 @default.
• W2912731517 hasConceptScore W2912731517C120665830 @default.
• W2912731517 hasConceptScore W2912731517C121332964 @default.
• W2912731517 hasConceptScore W2912731517C138885662 @default.
• W2912731517 hasConceptScore W2912731517C139807058 @default.
• W2912731517 hasConceptScore W2912731517C153269930 @default.
• W2912731517 hasConceptScore W2912731517C161771561 @default.
• W2912731517 hasConceptScore W2912731517C176147130 @default.
• W2912731517 hasConceptScore W2912731517C189950617 @default.
• W2912731517 hasConceptScore W2912731517C199360897 @default.
• W2912731517 hasConceptScore W2912731517C41008148 @default.
• W2912731517 hasConceptScore W2912731517C48103436 @default.
• W2912731517 hasConceptScore W2912731517C78458016 @default.
• W2912731517 hasConceptScore W2912731517C80444323 @default.
• W2912731517 hasConceptScore W2912731517C86803240 @default.
• W2912731517 hasConceptScore W2912731517C98045186 @default.
• W2912731517 hasOpenAccess W2912731517 @default.
• W2912731517 hasRelatedWork W1594536462 @default.
• W2912731517 hasRelatedWork W168487647 @default.
• W2912731517 hasRelatedWork W1964049407 @default.
• W2912731517 hasRelatedWork W2105899306 @default.
• W2912731517 hasRelatedWork W2132466790 @default.
• W2912731517 hasRelatedWork W2154705074 @default.
• W2912731517 hasRelatedWork W2169145424 @default.
• W2912731517 hasRelatedWork W2255567657 @default.
• W2912731517 hasRelatedWork W2401203661 @default.
• W2912731517 hasRelatedWork W2556602591 @default.
• W2912731517 hasRelatedWork W2764170761 @default.
• W2912731517 hasRelatedWork W2767380581 @default.
• W2912731517 hasRelatedWork W2886136002 @default.
• W2912731517 hasRelatedWork W2950970805 @default.
• W2912731517 hasRelatedWork W3025034106 @default.
• W2912731517 hasRelatedWork W3037809754 @default.
• W2912731517 hasRelatedWork W3097844059 @default.
• W2912731517 hasRelatedWork W41852851 @default.
• W2912731517 hasRelatedWork W98214654 @default.
• W2912731517 hasRelatedWork W2188195212 @default.
• W2912731517 isParatext "false" @default.
• W2912731517 isRetracted "false" @default.
• W2912731517 magId "2912731517" @default.

• next