Stratified operational semantics for safety and correctness of the region calculus (Q5178882)

From MaRDI portal
scientific article; zbMATH DE number 6416239
Language Label Description Also known as
English
Stratified operational semantics for safety and correctness of the region calculus
scientific article; zbMATH DE number 6416239

    Statements

    Stratified operational semantics for safety and correctness of the region calculus (English)
    0 references
    0 references
    17 March 2015
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references