Reasoning in dynamic logic about program termination
Pillars of computer science
Hi-index | 0.00 |
We present a concise and natural encoding of the spi-calculus into the more basic 驴-calculus and establish its correctness with respect to a formal notion of testing.This is particularly relevant for security protocols modelled in spi since the tests ...