Matches in SemOpenAlex for { <https://semopenalex.org/work/W2390014333> ?p ?o ?g. }
Showing items 1 to 59 of
59
with 100 items per page.
- W2390014333 abstract "Rewriting logic is a unified model of concurrency, which provides a formal commo n framework of well-known models of concurrent systems. A new formal method of t he specification and execution of P systems using rewriting logic was proposed. The powerful tool Ma ude 2.0 is used to implement this specification. In order to present the general ideas in a concr ete case study, a simple and classical example from the literature is adopted to present how to formally spe cify and execute a P system." @default.
- W2390014333 created "2016-06-24" @default.
- W2390014333 creator A5011323970 @default.
- W2390014333 date "2005-01-01" @default.
- W2390014333 modified "2023-09-25" @default.
- W2390014333 title "Formalization of P Systems by Maude" @default.
- W2390014333 hasPublicationYear "2005" @default.
- W2390014333 type Work @default.
- W2390014333 sameAs 2390014333 @default.
- W2390014333 citedByCount "0" @default.
- W2390014333 crossrefType "journal-article" @default.
- W2390014333 hasAuthorship W2390014333A5011323970 @default.
- W2390014333 hasConcept C110251889 @default.
- W2390014333 hasConcept C111472728 @default.
- W2390014333 hasConcept C138885662 @default.
- W2390014333 hasConcept C154690210 @default.
- W2390014333 hasConcept C193702766 @default.
- W2390014333 hasConcept C199360897 @default.
- W2390014333 hasConcept C2780586882 @default.
- W2390014333 hasConcept C41008148 @default.
- W2390014333 hasConcept C77906462 @default.
- W2390014333 hasConcept C80444323 @default.
- W2390014333 hasConceptScore W2390014333C110251889 @default.
- W2390014333 hasConceptScore W2390014333C111472728 @default.
- W2390014333 hasConceptScore W2390014333C138885662 @default.
- W2390014333 hasConceptScore W2390014333C154690210 @default.
- W2390014333 hasConceptScore W2390014333C193702766 @default.
- W2390014333 hasConceptScore W2390014333C199360897 @default.
- W2390014333 hasConceptScore W2390014333C2780586882 @default.
- W2390014333 hasConceptScore W2390014333C41008148 @default.
- W2390014333 hasConceptScore W2390014333C77906462 @default.
- W2390014333 hasConceptScore W2390014333C80444323 @default.
- W2390014333 hasLocation W23900143331 @default.
- W2390014333 hasOpenAccess W2390014333 @default.
- W2390014333 hasPrimaryLocation W23900143331 @default.
- W2390014333 hasRelatedWork W1163293579 @default.
- W2390014333 hasRelatedWork W1504007491 @default.
- W2390014333 hasRelatedWork W1517922951 @default.
- W2390014333 hasRelatedWork W1560300944 @default.
- W2390014333 hasRelatedWork W2030762481 @default.
- W2390014333 hasRelatedWork W2053342841 @default.
- W2390014333 hasRelatedWork W2087293319 @default.
- W2390014333 hasRelatedWork W2134287022 @default.
- W2390014333 hasRelatedWork W2187778085 @default.
- W2390014333 hasRelatedWork W2257434262 @default.
- W2390014333 hasRelatedWork W2295221401 @default.
- W2390014333 hasRelatedWork W2601426915 @default.
- W2390014333 hasRelatedWork W2612793292 @default.
- W2390014333 hasRelatedWork W2786383442 @default.
- W2390014333 hasRelatedWork W2943346267 @default.
- W2390014333 hasRelatedWork W3150067715 @default.
- W2390014333 hasRelatedWork W8857778 @default.
- W2390014333 hasRelatedWork W1744983872 @default.
- W2390014333 hasRelatedWork W2150500506 @default.
- W2390014333 hasRelatedWork W2585339290 @default.
- W2390014333 isParatext "false" @default.
- W2390014333 isRetracted "false" @default.
- W2390014333 magId "2390014333" @default.
- W2390014333 workType "article" @default.