Encoding bigraphical reactive systems into graph transformation systems (Q511000): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
Changed an Item
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 05C70 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 68Q42 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6684475 / rank
 
Normal rank
Property / zbMATH Keywords
 
bigraphs
Property / zbMATH Keywords: bigraphs / rank
 
Normal rank
Property / zbMATH Keywords
 
BRS
Property / zbMATH Keywords: BRS / rank
 
Normal rank
Property / zbMATH Keywords
 
matching
Property / zbMATH Keywords: matching / rank
 
Normal rank

Revision as of 02:48, 1 July 2023

scientific article
Language Label Description Also known as
English
Encoding bigraphical reactive systems into graph transformation systems
scientific article

    Statements

    Encoding bigraphical reactive systems into graph transformation systems (English)
    0 references
    0 references
    0 references
    0 references
    14 February 2017
    0 references
    bigraphs
    0 references
    BRS
    0 references
    matching
    0 references

    Identifiers