Bigraphs and transitions (Q2942911)

From MaRDI portal
Revision as of 12:08, 29 February 2024 by RedirectionBot (talk | contribs) (‎Removed claim: author (P16): Item:Q1801221)
scientific article
Language Label Description Also known as
English
Bigraphs and transitions
scientific article

    Statements

    Bigraphs and transitions (English)
    0 references
    0 references
    11 September 2015
    0 references
    \(\pi\)-calculus
    0 references
    bigraph
    0 references
    bisimilarity
    0 references
    mobile computation
    0 references
    reactive system
    0 references
    transition system
    0 references

    Identifiers