Linear logical relations and observational equivalences for session-based concurrency (Q476190)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Linear logical relations and observational equivalences for session-based concurrency
scientific article

    Statements

    Linear logical relations and observational equivalences for session-based concurrency (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    28 November 2014
    0 references
    session types
    0 references
    linear logic
    0 references
    process calculi
    0 references
    strong normalization
    0 references
    confluence
    0 references
    logical relations
    0 references
    observational equivalences
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers