Property specifications for workflow modelling (Q549695)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Property specifications for workflow modelling
scientific article

    Statements

    Property specifications for workflow modelling (English)
    0 references
    0 references
    0 references
    18 July 2011
    0 references
    compatibility
    0 references
    CSP
    0 references
    workflow specification
    0 references
    linear temporal logic
    0 references
    property specification patterns
    0 references
    workflow verification
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers