Abstract specification of resource accessing disciplines: adequacy, starvation, priority and interrupts
暂无分享,去创建一个
[1] Peter E. Lauer,et al. On the Problem of Achieving Adequacy of Concurrent Programs , 1977, Formal Description of Programming Concepts.
[2] Edsger W. Dijkstra,et al. The structure of the “THE”-multiprogramming system , 1968, CACM.
[3] Raymond R. Devillers,et al. Some Solutions for the Reader-Writer Problem: (ASM 31) , 1977 .
[4] David Lorge Parnas,et al. Concurrent control with “readers” and “writers” , 1971, CACM.
[5] Raymond R. Devillers,et al. A General Mechanism for the Local Control of Starvation : Application to the Dining Philosophers and to the Reader-Writer Problem: (ASM 32) , 1977 .
[6] Roy H. Campbell. Path expressions : a technique for specifying process synchronization , 1976 .
[7] Edsger W. Dijkstra,et al. Co-operating sequential processes , 1968 .
[8] Roy H. Campbell,et al. A description of path expressions by Petri nets , 1975, POPL '75.
[9] Roy H. Campbell,et al. The specification of process synchronization by path expressions , 1974, Symposium on Operating Systems.