Comparing cospan-spans and tiles via a Hoare-style process calculus (Q2841276)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Comparing cospan-spans and tiles via a Hoare-style process calculus
scientific article

    Statements

    Comparing cospan-spans and tiles via a Hoare-style process calculus (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    24 July 2013
    0 references
    cospan-span approach
    0 references
    tile logic
    0 references
    process algebras
    0 references
    concurrent
    0 references
    distributed
    0 references
    interactive systems
    0 references

    Identifiers