A formal model of distributed Ada tasking
暂无分享，去创建一个
This paper represents a summary of the results gathered during the work on a Master Thesis called
A Formal Model of Distributed Ada Tasking
[1] Dines Bjørner,et al. The Vienna Development Method: The Meta-Language , 1978, Lecture Notes in Computer Science.
[2] C. A. R. Hoare,et al. Monitors: an operating system structuring concept , 1974, CACM.
[3] C. A. R. Hoare,et al. Communicating sequential processes , 1978, CACM.