A Propositional Dynamic Logic for CCS Programs (Q3511450)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A Propositional Dynamic Logic for CCS Programs
scientific article

    Statements

    Identifiers