An effective axiomatization for real time ACP (Q2508332)

From MaRDI portal
scientific article
Language Label Description Also known as
English
An effective axiomatization for real time ACP
scientific article

    Statements

    An effective axiomatization for real time ACP (English)
    0 references
    0 references
    0 references
    10 October 2006
    0 references

    Identifiers