A Characterization of Distributed ASMs with Partial-Order Runs (Q5040367)

From MaRDI portal
scientific article; zbMATH DE number 7602226
Language Label Description Also known as
English
A Characterization of Distributed ASMs with Partial-Order Runs
scientific article; zbMATH DE number 7602226

    Statements

    A Characterization of Distributed ASMs with Partial-Order Runs (English)
    0 references
    0 references
    0 references
    14 October 2022
    0 references

    Identifiers