A Dynamic Logic for Systems with Predicate-Based Communication.

Rolf Hennicker, Martin Wirsing

Browse the full ISoLA paper archive.