Learn More
The Z speciication language can be used to capture liveness properties of state transition systems such as those used to specify communications protocols. The speciication of such systems involve(More)
  • 4