Chapman Hall

Suggest Changes
We don’t have enough information about this author to calculate their statistics. If you think this is an error let us know.
Learn More
In this paper we present the application of the fair testing pre-order, introduced in a previous paper, to the speciication and analysis of distributed systems. This pre-order combines some features(More)
  • 1