Piotr Matyasik, Marcin Szpyrka. Formal Modelling and Verification of Concurrent Systems with XCCS. In 7th International Symposium on Parallel and Distributed Computing (ISPDC 2008), 1-5 July 2008, Krakow, Poland. pages 454-458, IEEE Computer Society, 2008. [doi]
Abstract is missing.