A Propositional Dynamic Logic for CCS Programs.

Mario R. F. Benevides Luis Menasché Schechter

Published in: WoLLIC (2008)

Keyphrases

propositional dynamic logic
dynamic logic
reasoning about actions
control structures
relational databases
computer programs
database
neural network
artificial intelligence
information technology
modal logic
automatic programming
provably correct
prolog programs