Matches in SemOpenAlex for { <https://semopenalex.org/work/W1990174290> ?p ?o ?g. }
Showing items 1 to 68 of
68
with 100 items per page.
- W1990174290 endingPage "410" @default.
- W1990174290 startingPage "395" @default.
- W1990174290 abstract "We use distributed labeled transition systems and their modal logics in order to compare the concurrency degrees of the P systems and their encoding as rewrite theories in rewriting logic. We show that the maximal concurrency given by the maximal parallel rewriting semantics of the P systems can be expressed in rewriting logic only by interleaving semantics. The maximal concurrency of the membrane interactions is only partially captured." @default.
- W1990174290 created "2016-06-24" @default.
- W1990174290 creator A5052315997 @default.
- W1990174290 date "2009-06-01" @default.
- W1990174290 modified "2023-09-26" @default.
- W1990174290 title "REWRITING LOGIC-BASED SEMANTICS OF P SYSTEMS AND THE MAXIMAL CONCURRENCY" @default.
- W1990174290 cites W1977335813 @default.
- W1990174290 cites W4214880424 @default.
- W1990174290 cites W4230919050 @default.
- W1990174290 cites W4253060067 @default.
- W1990174290 doi "https://doi.org/10.1142/s0129054109006644" @default.
- W1990174290 hasPublicationYear "2009" @default.
- W1990174290 type Work @default.
- W1990174290 sameAs 1990174290 @default.
- W1990174290 citedByCount "0" @default.
- W1990174290 crossrefType "journal-article" @default.
- W1990174290 hasAuthorship W1990174290A5052315997 @default.
- W1990174290 hasConcept C111919701 @default.
- W1990174290 hasConcept C154690210 @default.
- W1990174290 hasConcept C156325763 @default.
- W1990174290 hasConcept C184337299 @default.
- W1990174290 hasConcept C185592680 @default.
- W1990174290 hasConcept C188027245 @default.
- W1990174290 hasConcept C193702766 @default.
- W1990174290 hasConcept C199360897 @default.
- W1990174290 hasConcept C27508121 @default.
- W1990174290 hasConcept C28034677 @default.
- W1990174290 hasConcept C33923547 @default.
- W1990174290 hasConcept C41008148 @default.
- W1990174290 hasConcept C71139939 @default.
- W1990174290 hasConcept C77906462 @default.
- W1990174290 hasConcept C80444323 @default.
- W1990174290 hasConceptScore W1990174290C111919701 @default.
- W1990174290 hasConceptScore W1990174290C154690210 @default.
- W1990174290 hasConceptScore W1990174290C156325763 @default.
- W1990174290 hasConceptScore W1990174290C184337299 @default.
- W1990174290 hasConceptScore W1990174290C185592680 @default.
- W1990174290 hasConceptScore W1990174290C188027245 @default.
- W1990174290 hasConceptScore W1990174290C193702766 @default.
- W1990174290 hasConceptScore W1990174290C199360897 @default.
- W1990174290 hasConceptScore W1990174290C27508121 @default.
- W1990174290 hasConceptScore W1990174290C28034677 @default.
- W1990174290 hasConceptScore W1990174290C33923547 @default.
- W1990174290 hasConceptScore W1990174290C41008148 @default.
- W1990174290 hasConceptScore W1990174290C71139939 @default.
- W1990174290 hasConceptScore W1990174290C77906462 @default.
- W1990174290 hasConceptScore W1990174290C80444323 @default.
- W1990174290 hasIssue "03" @default.
- W1990174290 hasLocation W19901742901 @default.
- W1990174290 hasOpenAccess W1990174290 @default.
- W1990174290 hasPrimaryLocation W19901742901 @default.
- W1990174290 hasRelatedWork W1959587196 @default.
- W1990174290 hasRelatedWork W1990174290 @default.
- W1990174290 hasRelatedWork W2030762481 @default.
- W1990174290 hasRelatedWork W2056977125 @default.
- W1990174290 hasRelatedWork W2097828479 @default.
- W1990174290 hasRelatedWork W2106305471 @default.
- W1990174290 hasRelatedWork W2148160518 @default.
- W1990174290 hasRelatedWork W2165580945 @default.
- W1990174290 hasRelatedWork W2475115995 @default.
- W1990174290 hasRelatedWork W1744983872 @default.
- W1990174290 hasVolume "20" @default.
- W1990174290 isParatext "false" @default.
- W1990174290 isRetracted "false" @default.
- W1990174290 magId "1990174290" @default.
- W1990174290 workType "article" @default.