CCS-Based Dynamic Logics for Communicating Concurrent Programs

Mario R. F. Benevides Luis Menasché Schechter

Published in: CoRR (2009)

Keyphrases

concurrent programs
database systems
real time
artificial intelligence
case study
expert systems
relational databases
business processes
modal logic