4 citations · 5 across the 2 of their papers we have counts for
Showing cs.LOShow all
2 papers · 1 filter
cs.LO2019
Dynamic Epistemic Logic with Communication Actions
Mario Roberto Folhadela Benevides, Isaque Macalam Saab Lima
This work proposes a Dynamic Epistemic Logic with Communication Actions that can be performed concurrently. Unlike Concurrent Epistemic Action Logic introduced by Ditmarsch, Hoek a…
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…