Observational congruences for dynamically reconfigurable tile systems (Q1782000)

From MaRDI portal
Revision as of 05:41, 5 March 2024 by Import240304020342 (talk | contribs) (Set profile property.)
scientific article
Language Label Description Also known as
English
Observational congruences for dynamically reconfigurable tile systems
scientific article

    Statements

    title
    Observational congruences for dynamically reconfigurable tile systems (English)
    0 references
    author
    Roberto Bruni
    0 references
    Ugo Montanari
    0 references
    Vladimiro Sassone
    0 references
    publication date
    10 June 2005
    0 references
    zbMATH DE Number
    2174879
    0 references
    zbMATH Keywords
    Bisimulation
    0 references
    SOS formats
    0 references
    Dynamic bisimulation
    0 references
    Tile logic
    0 references
    \(\pi\)-Calculus
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1782000&oldid=26486909"
    Powered by MediaWiki