A Distribution Law for CCS and a New Congruence Result for the p-calculus.

Daniel Hirschkoff Damien Pous

Published in: Log. Methods Comput. Sci. (2008)

Keyphrases

case based reasoning
information systems
case study
multiscale
random variables
theorem proving
uniformly distributed