7 Conclusions and Further Research Acknowledgements We like to Thank the Calculi for Distributed Program Construction Club Headed by Lambert Meertens and Doaitse Swierstra and the Formal Models Club at Utrecht University. We Also Want to Acknowledge

@inproceedings{Rietman19937CA,
  title={7 Conclusions and Further Research Acknowledgements We like to Thank the Calculi for Distributed Program Construction Club Headed by Lambert Meertens and Doaitse Swierstra and the Formal Models Club at Utrecht University. We Also Want to Acknowledge},
  author={Frans Rietman and Beverly Sanders and David Meier and Kaisa Sere and Nissim Francez and Ted Herman and Jan L. A. van de Snepscheut and Harm Peter Hofstee},
  year={1993}
}
  • Frans Rietman, Beverly Sanders, +5 authors Harm Peter Hofstee
  • Published 1993
A simple proof of a completeness result for leads-to in the UNITY logic. 18 In this section we have shown that the notion of sequences is a stronger notion than Unity properties. Unity properties cannot characterize the (extended) sequences of programs completely. As a consequence, the notion of property preserving reenement is a weaker notion than the… CONTINUE READING