Matches in SemOpenAlex for { <https://semopenalex.org/work/W2257434262> ?p ?o ?g. }
Showing items 1 to 69 of
69
with 100 items per page.
- W2257434262 endingPage "264" @default.
- W2257434262 startingPage "260" @default.
- W2257434262 abstract "Rewriting logic is a unified model of concurrency, which provides a formal common framework of wellknown models of concurrent systems. A new formal method of the specification and execution of P systems using rewriting logic was proposed. The powerful tool Maude 2.0 is used to implement this specification. In order to present the general ideas in a concrete case study, a simple and classical example from the literature is adopted to present how to formally specify and execute a P system." @default.
- W2257434262 created "2016-06-24" @default.
- W2257434262 creator A5058903671 @default.
- W2257434262 creator A5083763162 @default.
- W2257434262 date "2005-01-01" @default.
- W2257434262 modified "2023-09-24" @default.
- W2257434262 title "Formalization of P Systems by Maude" @default.
- W2257434262 hasPublicationYear "2005" @default.
- W2257434262 type Work @default.
- W2257434262 sameAs 2257434262 @default.
- W2257434262 citedByCount "0" @default.
- W2257434262 crossrefType "journal-article" @default.
- W2257434262 hasAuthorship W2257434262A5058903671 @default.
- W2257434262 hasAuthorship W2257434262A5083763162 @default.
- W2257434262 hasConcept C110251889 @default.
- W2257434262 hasConcept C111472728 @default.
- W2257434262 hasConcept C116253237 @default.
- W2257434262 hasConcept C138885662 @default.
- W2257434262 hasConcept C154564781 @default.
- W2257434262 hasConcept C154690210 @default.
- W2257434262 hasConcept C193702766 @default.
- W2257434262 hasConcept C199360897 @default.
- W2257434262 hasConcept C2780586882 @default.
- W2257434262 hasConcept C41008148 @default.
- W2257434262 hasConcept C75606506 @default.
- W2257434262 hasConcept C77906462 @default.
- W2257434262 hasConceptScore W2257434262C110251889 @default.
- W2257434262 hasConceptScore W2257434262C111472728 @default.
- W2257434262 hasConceptScore W2257434262C116253237 @default.
- W2257434262 hasConceptScore W2257434262C138885662 @default.
- W2257434262 hasConceptScore W2257434262C154564781 @default.
- W2257434262 hasConceptScore W2257434262C154690210 @default.
- W2257434262 hasConceptScore W2257434262C193702766 @default.
- W2257434262 hasConceptScore W2257434262C199360897 @default.
- W2257434262 hasConceptScore W2257434262C2780586882 @default.
- W2257434262 hasConceptScore W2257434262C41008148 @default.
- W2257434262 hasConceptScore W2257434262C75606506 @default.
- W2257434262 hasConceptScore W2257434262C77906462 @default.
- W2257434262 hasIssue "3" @default.
- W2257434262 hasLocation W22574342621 @default.
- W2257434262 hasOpenAccess W2257434262 @default.
- W2257434262 hasPrimaryLocation W22574342621 @default.
- W2257434262 hasRelatedWork W1163293579 @default.
- W2257434262 hasRelatedWork W1517922951 @default.
- W2257434262 hasRelatedWork W1964242777 @default.
- W2257434262 hasRelatedWork W1965199769 @default.
- W2257434262 hasRelatedWork W2009886413 @default.
- W2257434262 hasRelatedWork W2030762481 @default.
- W2257434262 hasRelatedWork W2053342841 @default.
- W2257434262 hasRelatedWork W2134287022 @default.
- W2257434262 hasRelatedWork W2187778085 @default.
- W2257434262 hasRelatedWork W2390014333 @default.
- W2257434262 hasRelatedWork W2408297390 @default.
- W2257434262 hasRelatedWork W2601426915 @default.
- W2257434262 hasRelatedWork W2762699636 @default.
- W2257434262 hasRelatedWork W2808747597 @default.
- W2257434262 hasRelatedWork W3150067715 @default.
- W2257434262 hasRelatedWork W55812124 @default.
- W2257434262 hasRelatedWork W8857778 @default.
- W2257434262 hasRelatedWork W2049295871 @default.
- W2257434262 hasRelatedWork W2150500506 @default.
- W2257434262 hasRelatedWork W2585339290 @default.
- W2257434262 hasVolume "10" @default.
- W2257434262 isParatext "false" @default.
- W2257434262 isRetracted "false" @default.
- W2257434262 magId "2257434262" @default.
- W2257434262 workType "article" @default.