Login / Signup

Propositional dynamic logics for communicating concurrent programs with CCS's parallel operator.

Mario R. F. BenevidesLuis Menasché Schechter
Published in: J. Log. Comput. (2014)
Keyphrases
  • concurrent programs
  • default logic
  • modal logic
  • general purpose
  • satisfiability testing
  • real time
  • database
  • first order logic
  • service oriented
  • massively parallel
  • concurrent processes