Models for trustworthy service and process oriented systems (Q2883105)

From MaRDI portal





scientific article; zbMATH DE number 6033355
Language Label Description Also known as
English
Models for trustworthy service and process oriented systems
scientific article; zbMATH DE number 6033355

    Statements

    0 references
    11 May 2012
    0 references
    concurrent constraint calculi
    0 references
    session types
    0 references
    logic
    0 references
    service and process oriented computing
    0 references
    Models for trustworthy service and process oriented systems (English)
    0 references

    Identifiers