A Model Checking Language for Concurrent Value-Passing Systems (0)

by R Mateescu, D Thivolle
Venue:In Proceedings of the 15th International Symposium on Formal Methods FM’08, number 5014 in Lecture