A causal semantics for CCS via rewriting logic
scientific article; zbMATH DE number 1774101
scientific article