Matches in SemOpenAlex for { <https://semopenalex.org/work/W1874387408> ?p ?o ?g. }
Showing items 1 to 98 of
98
with 100 items per page.
- W1874387408 endingPage "44" @default.
- W1874387408 startingPage "29" @default.
- W1874387408 abstract "Biochemical systems such as metabolic and signaling pathways tend to be arranged in a physical space: the product of one reaction must be in the right place to become the reactant for the subsequent reaction in the pathway. Moreover, in some cases, the behavior of the systems can depend on both, the location of the reactants as well as on the time needed for the reaction to occur. We address the problem of specifying and verifying properties of biochemical systems that exhibit both temporal and spatial modalities at the same time. For that, we use as specification language a fragment of intuitionistic linear logic with subexponentials (SELL). The subexponential signature allows us to capture the spatial relations among the different components of the system and the timed constraints for reactions to occur. We show that our framework is general enough to give a declarative semantics to P-Systems and we show that such logical characterization has a strong level of adequacy. Hence, derivations in SELL follow exactly the behavior of the modeled system." @default.
- W1874387408 created "2016-06-24" @default.
- W1874387408 creator A5000327522 @default.
- W1874387408 creator A5047180960 @default.
- W1874387408 creator A5053216941 @default.
- W1874387408 creator A5069128356 @default.
- W1874387408 date "2015-09-01" @default.
- W1874387408 modified "2023-09-27" @default.
- W1874387408 title "Verification of Spatial and Temporal Modalities in Biochemical Systems" @default.
- W1874387408 cites W1546880839 @default.
- W1874387408 cites W1940075790 @default.
- W1874387408 cites W1969976338 @default.
- W1874387408 cites W1979634817 @default.
- W1874387408 cites W2011427634 @default.
- W1874387408 cites W2011835017 @default.
- W1874387408 cites W2020916002 @default.
- W1874387408 cites W2038192316 @default.
- W1874387408 cites W2050653042 @default.
- W1874387408 cites W2070324762 @default.
- W1874387408 cites W2076632469 @default.
- W1874387408 cites W2085293660 @default.
- W1874387408 cites W2091478534 @default.
- W1874387408 cites W2106190666 @default.
- W1874387408 cites W2133468787 @default.
- W1874387408 cites W2155894862 @default.
- W1874387408 cites W2911865844 @default.
- W1874387408 cites W3151579742 @default.
- W1874387408 cites W4240640923 @default.
- W1874387408 doi "https://doi.org/10.1016/j.entcs.2015.06.009" @default.
- W1874387408 hasPublicationYear "2015" @default.
- W1874387408 type Work @default.
- W1874387408 sameAs 1874387408 @default.
- W1874387408 citedByCount "4" @default.
- W1874387408 countsByYear W18743874082015 @default.
- W1874387408 countsByYear W18743874082016 @default.
- W1874387408 countsByYear W18743874082019 @default.
- W1874387408 countsByYear W18743874082020 @default.
- W1874387408 crossrefType "journal-article" @default.
- W1874387408 hasAuthorship W1874387408A5000327522 @default.
- W1874387408 hasAuthorship W1874387408A5047180960 @default.
- W1874387408 hasAuthorship W1874387408A5053216941 @default.
- W1874387408 hasAuthorship W1874387408A5069128356 @default.
- W1874387408 hasBestOaLocation W18743874081 @default.
- W1874387408 hasConcept C111919701 @default.
- W1874387408 hasConcept C144024400 @default.
- W1874387408 hasConcept C184337299 @default.
- W1874387408 hasConcept C199360897 @default.
- W1874387408 hasConcept C25016198 @default.
- W1874387408 hasConcept C2524010 @default.
- W1874387408 hasConcept C2776235265 @default.
- W1874387408 hasConcept C2778572836 @default.
- W1874387408 hasConcept C2779696439 @default.
- W1874387408 hasConcept C2779903281 @default.
- W1874387408 hasConcept C33923547 @default.
- W1874387408 hasConcept C36289849 @default.
- W1874387408 hasConcept C41008148 @default.
- W1874387408 hasConcept C4777664 @default.
- W1874387408 hasConcept C80444323 @default.
- W1874387408 hasConcept C90673727 @default.
- W1874387408 hasConceptScore W1874387408C111919701 @default.
- W1874387408 hasConceptScore W1874387408C144024400 @default.
- W1874387408 hasConceptScore W1874387408C184337299 @default.
- W1874387408 hasConceptScore W1874387408C199360897 @default.
- W1874387408 hasConceptScore W1874387408C25016198 @default.
- W1874387408 hasConceptScore W1874387408C2524010 @default.
- W1874387408 hasConceptScore W1874387408C2776235265 @default.
- W1874387408 hasConceptScore W1874387408C2778572836 @default.
- W1874387408 hasConceptScore W1874387408C2779696439 @default.
- W1874387408 hasConceptScore W1874387408C2779903281 @default.
- W1874387408 hasConceptScore W1874387408C33923547 @default.
- W1874387408 hasConceptScore W1874387408C36289849 @default.
- W1874387408 hasConceptScore W1874387408C41008148 @default.
- W1874387408 hasConceptScore W1874387408C4777664 @default.
- W1874387408 hasConceptScore W1874387408C80444323 @default.
- W1874387408 hasConceptScore W1874387408C90673727 @default.
- W1874387408 hasLocation W18743874081 @default.
- W1874387408 hasLocation W18743874082 @default.
- W1874387408 hasLocation W18743874083 @default.
- W1874387408 hasLocation W18743874084 @default.
- W1874387408 hasOpenAccess W1874387408 @default.
- W1874387408 hasPrimaryLocation W18743874081 @default.
- W1874387408 hasRelatedWork W1518987834 @default.
- W1874387408 hasRelatedWork W1519519715 @default.
- W1874387408 hasRelatedWork W1572612329 @default.
- W1874387408 hasRelatedWork W1583251282 @default.
- W1874387408 hasRelatedWork W1866799138 @default.
- W1874387408 hasRelatedWork W2008333972 @default.
- W1874387408 hasRelatedWork W2560930356 @default.
- W1874387408 hasRelatedWork W2996809359 @default.
- W1874387408 hasRelatedWork W3028231484 @default.
- W1874387408 hasRelatedWork W4295679060 @default.
- W1874387408 hasVolume "316" @default.
- W1874387408 isParatext "false" @default.
- W1874387408 isRetracted "false" @default.
- W1874387408 magId "1874387408" @default.
- W1874387408 workType "article" @default.