most citedCCS-Based Dynamic Logics for Communicating Concurrent Programs

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2009★ 1 cited

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…