A Propositional Dynamic Logic for CCS Programs.

Mario R. F. Benevides, Luis Menasch Schechter

Browse the full WoLLIC paper archive.