Documents Process Algebra C alculus of C ommunicating S ystems

Process Algebra Calculus of Communicating Systems Daniel Choi Provable Software Lab. KAIST Content Introduction Calculus of Communicating Systems Equivalence for CCS Discussions…