Automating transformational design for distributed programs
We address the problem of designing concurrent, reactive, nonterminating programs. Our approach to developing concurrent programs involves the use of correctness-preserving transformations to realize each step of program development. The transformations we have designed automatically guarantee the p...
| Main Author: | |
|---|---|
| Format: | Others |
| Published: |
FIU Digital Commons
1996
|
| Subjects: | |
| Online Access: | http://digitalcommons.fiu.edu/etd/2736 http://digitalcommons.fiu.edu/cgi/viewcontent.cgi?article=4036&context=etd |