1 search result for "tag:"keyword: Calculus of Concurrent Process (CCS)""

Showing 1 - 1
  1. coq-ccs

    No documentation

    Equivalence notions on labelled transitions systems
    keyword: Labelled Transitions Systems keyword: process algebras keyword: Calculus of Concurrent Process (CCS) category: Computer Science/Concurrent Systems and Protocols/Theory of concurrent systems
    Solange Coupet-Grimal
    8.10.0
    Unknown
    Used by 0 other packages
    07 Dec 2019