A congruence rule format for name-passing process calculi (Q1012125)

From MaRDI portal
scientific article
Language Label Description Also known as
English
A congruence rule format for name-passing process calculi
scientific article

    Statements

    Identifiers