CCS-Based Dynamic Logics for Communicating Concurrent Programs

Mario R. F. Benevides, L. Menasché Schechter

This work presents three increasingly expressive Dynamic Logics in which the programs are CCS processes (sCCS-PDL, CCS-PDL and XCCS-PDL). Their goal is to reason about properties o…