@inproceedings{SisLab1768,
       booktitle = {2011 Third International Conference on Knowledge and Systems Engineering},
           title = {Refining Undetermined Events for Specifying Concurrent Programs},
          author = {Thanh Binh Trinh and Ninh Thuan Truong and Viet Ha Nguyen},
            year = {2011},
           pages = {143--149},
             doi = {doi:10.1109/KSE.2011.29},
             url = {https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1768/},
        abstract = {Development of many system features in a robust specification is a challenge in reactive system design. This paper presents a formal approach for specifying concurrent programs by refining undetermined events in Event-B. This approach investigates the concurrent aspect in specification and provides a general structure of models using Event-B specification. According to this structure, we illustrate the specification of three concurrent mechanisms: critical section access, reader-writer and producer-consumer. It is shown that the concurrent aspects in programming can be specified coherently using Event-B refinement.}
}