A Concurrent Pattern Calculus (Q2878758)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A Concurrent Pattern Calculus
scientific article

    Statements

    A Concurrent Pattern Calculus (English)
    0 references
    0 references
    0 references
    0 references
    5 September 2014
    0 references
    pattern matching
    0 references
    process calculi
    0 references
    behavioural theory
    0 references
    encodings
    0 references

    Identifiers