Transaction Logic with External Actions (Q3003266)

From MaRDI portal
scientific article
Language Label Description Also known as
English
Transaction Logic with External Actions
scientific article

    Statements

    Transaction Logic with External Actions (English)
    0 references
    0 references
    0 references
    26 May 2011
    0 references

    Identifiers