VNU-UET Repository

Refining Undetermined Events for Specifying Concurrent Programs

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.

Full text not available from this repository.


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.

Item Type: Conference or Workshop Item (Paper)
Subjects: Information Technology (IT)
Depositing User: Viet Ha Nguyen
Date Deposited: 09 Jun 2016 02:18
Last Modified: 09 Jun 2016 02:18

Actions (login required)

View Item View Item