Observational congruences for dynamically reconfigurable tile systems (Q1782000)

From MaRDI portal
Revision as of 12:18, 10 June 2024 by ReferenceBot (talk | contribs) (‎Changed an Item)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
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
    OpenAlex ID
    W2083127081
    0 references
    cites work
    Q4536607
    0 references
    Q4449180
    0 references
    Q4536441
    0 references
    Q4934317
    0 references
    Q4256315
    0 references
    Q4038716
    0 references
    Q4536606
    0 references
    Q3839052
    0 references
    Q4018066
    0 references
    Q3907077
    0 references
    Q4417873
    0 references
    Q4457841
    0 references
     
    Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Item:Q1782000&oldid=34402275"
    Powered by MediaWiki