relation: https://eprints.uet.vnu.edu.vn/eprints/id/eprint/1768/
title: Refining Undetermined Events for Specifying Concurrent Programs
creator: Trinh, Thanh Binh
creator: Truong, Ninh Thuan
creator: Nguyen, Viet Ha
subject: Information Technology (IT)
description: 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.
date: 2011
type: Conference or Workshop Item
type: PeerReviewed
identifier:   Trinh, Thanh Binh and Truong, Ninh Thuan and Nguyen, Viet Ha  (2011) Refining Undetermined Events for Specifying Concurrent Programs.  In: KSE: the 2011 International Conference on Knowledge and Systems Engineering, October 2011, Vietnam.     
relation: http://dx.doi.org/10.1109/KSE.2011.29
relation: doi:10.1109/KSE.2011.29