Concurrent system design using Flow
We define a formal model for concurrent systems named Flow. The goal of this formal model is to be both practical in allowing users to build the types of concurrent systems they want to build in real life and practical in allowing users to quickly prove correctness properties about the systems they...
Main Author: | |
---|---|
Format: | Others |
Published: |
2007
|
Online Access: | https://thesis.library.caltech.edu/2072/1/chenghu-masters-thesis.pdf Hu, Cheng (2007) Concurrent system design using Flow. Master's thesis, California Institute of Technology. doi:10.7907/HPA7-2B52. https://resolver.caltech.edu/CaltechETD:etd-05252007-140855 <https://resolver.caltech.edu/CaltechETD:etd-05252007-140855> |
Internet
https://thesis.library.caltech.edu/2072/1/chenghu-masters-thesis.pdfHu, Cheng (2007) Concurrent system design using Flow. Master's thesis, California Institute of Technology. doi:10.7907/HPA7-2B52. https://resolver.caltech.edu/CaltechETD:etd-05252007-140855 <https://resolver.caltech.edu/CaltechETD:etd-05252007-140855>