Formal Modelling and Verification of Concurrent Systems with XCCS.

Piotr Matyasik, Marcin Szpyrka

Browse the full ISPDC paper archive.