Matches in SemOpenAlex for { <https://semopenalex.org/work/W2761330648> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2761330648 endingPage "47" @default.
- W2761330648 startingPage "18" @default.
- W2761330648 abstract "We introduce a process calculus with a new prefixing operator that allows us to model locally controlled reversibility. Actions can be undone spontaneously, as in other reversible process calculi, or as pairs of concerted actions, where performing a weak action forces undoing of another action. The new operator in its full generality allows us to model out-of-causal order computation, where causes are undone before their effects are undone, which goes beyond what typical reversible calculi can express. However, the core calculus, which uses only the reduced form of the new operator, is well behaved as it satisfied causal consistency. We demonstrate the usefulness of the calculus by modelling the hydration of formaldehyde in water into methanediol, an industrially important reaction, where the creation and breaking of some bonds are examples of locally controlled out-of-causal order computation." @default.
- W2761330648 created "2017-10-20" @default.
- W2761330648 creator A5012450310 @default.
- W2761330648 creator A5075535381 @default.
- W2761330648 date "2018-01-01" @default.
- W2761330648 modified "2023-09-23" @default.
- W2761330648 title "Local reversibility in a Calculus of Covalent Bonding" @default.
- W2761330648 cites W1983350265 @default.
- W2761330648 cites W1986649132 @default.
- W2761330648 cites W1986968087 @default.
- W2761330648 cites W2001661334 @default.
- W2761330648 cites W2059141487 @default.
- W2761330648 cites W2090881074 @default.
- W2761330648 cites W2106190666 @default.
- W2761330648 cites W2110796675 @default.
- W2761330648 cites W2112320167 @default.
- W2761330648 cites W2152688610 @default.
- W2761330648 cites W2155418451 @default.
- W2761330648 cites W2158708642 @default.
- W2761330648 cites W2284263109 @default.
- W2761330648 doi "https://doi.org/10.1016/j.scico.2017.09.008" @default.
- W2761330648 hasPublicationYear "2018" @default.
- W2761330648 type Work @default.
- W2761330648 sameAs 2761330648 @default.
- W2761330648 citedByCount "14" @default.
- W2761330648 countsByYear W27613306482018 @default.
- W2761330648 countsByYear W27613306482019 @default.
- W2761330648 countsByYear W27613306482020 @default.
- W2761330648 countsByYear W27613306482022 @default.
- W2761330648 countsByYear W27613306482023 @default.
- W2761330648 crossrefType "journal-article" @default.
- W2761330648 hasAuthorship W2761330648A5012450310 @default.
- W2761330648 hasAuthorship W2761330648A5075535381 @default.
- W2761330648 hasBestOaLocation W27613306482 @default.
- W2761330648 hasConcept C104317684 @default.
- W2761330648 hasConcept C11413529 @default.
- W2761330648 hasConcept C15744967 @default.
- W2761330648 hasConcept C158448853 @default.
- W2761330648 hasConcept C161771561 @default.
- W2761330648 hasConcept C17020691 @default.
- W2761330648 hasConcept C185592680 @default.
- W2761330648 hasConcept C199343813 @default.
- W2761330648 hasConcept C2777686260 @default.
- W2761330648 hasConcept C2780767217 @default.
- W2761330648 hasConcept C41008148 @default.
- W2761330648 hasConcept C45374587 @default.
- W2761330648 hasConcept C542102704 @default.
- W2761330648 hasConcept C55493867 @default.
- W2761330648 hasConcept C71924100 @default.
- W2761330648 hasConcept C80444323 @default.
- W2761330648 hasConcept C86339819 @default.
- W2761330648 hasConceptScore W2761330648C104317684 @default.
- W2761330648 hasConceptScore W2761330648C11413529 @default.
- W2761330648 hasConceptScore W2761330648C15744967 @default.
- W2761330648 hasConceptScore W2761330648C158448853 @default.
- W2761330648 hasConceptScore W2761330648C161771561 @default.
- W2761330648 hasConceptScore W2761330648C17020691 @default.
- W2761330648 hasConceptScore W2761330648C185592680 @default.
- W2761330648 hasConceptScore W2761330648C199343813 @default.
- W2761330648 hasConceptScore W2761330648C2777686260 @default.
- W2761330648 hasConceptScore W2761330648C2780767217 @default.
- W2761330648 hasConceptScore W2761330648C41008148 @default.
- W2761330648 hasConceptScore W2761330648C45374587 @default.
- W2761330648 hasConceptScore W2761330648C542102704 @default.
- W2761330648 hasConceptScore W2761330648C55493867 @default.
- W2761330648 hasConceptScore W2761330648C71924100 @default.
- W2761330648 hasConceptScore W2761330648C80444323 @default.
- W2761330648 hasConceptScore W2761330648C86339819 @default.
- W2761330648 hasFunder F4320320276 @default.
- W2761330648 hasFunder F4320322916 @default.
- W2761330648 hasLocation W27613306481 @default.
- W2761330648 hasLocation W27613306482 @default.
- W2761330648 hasLocation W27613306483 @default.
- W2761330648 hasLocation W27613306484 @default.
- W2761330648 hasOpenAccess W2761330648 @default.
- W2761330648 hasPrimaryLocation W27613306481 @default.
- W2761330648 hasRelatedWork W1540323719 @default.
- W2761330648 hasRelatedWork W1572523360 @default.
- W2761330648 hasRelatedWork W1587906417 @default.
- W2761330648 hasRelatedWork W2067951144 @default.
- W2761330648 hasRelatedWork W2071038722 @default.
- W2761330648 hasRelatedWork W2200297111 @default.
- W2761330648 hasRelatedWork W2352648941 @default.
- W2761330648 hasRelatedWork W2352957847 @default.
- W2761330648 hasRelatedWork W2354062721 @default.
- W2761330648 hasRelatedWork W2375463041 @default.
- W2761330648 hasVolume "151" @default.
- W2761330648 isParatext "false" @default.
- W2761330648 isRetracted "false" @default.
- W2761330648 magId "2761330648" @default.
- W2761330648 workType "article" @default.