Login / Signup
A Unified Theory of Program Logics: An Approach based on the π-Calculus.
Kohei Honda
Nobuko Yoshida
Published in:
Comput. J. (2011)
Keyphrases
</>
computational model
computer algebra
theoretical framework
expressive power
modal logic
theoretical basis
formal methods
general theory
database
information systems
computer programs
static analysis
unified model
program execution
proof theoretic