| Analyzing synchronization problems by using event histories as languages |
| Full text |
Pdf
(589 KB)
|
| Source
|
ACM Annual Computer Science Conference
archive
Proceedings of the 1986 ACM fourteenth annual conference on Computer science
table of contents
Cincinnati, Ohio, United States
Pages: 183 - 188
Year of Publication: 1986
ISBN:0-89791-177-6
|
|
Authors
|
|
| Sponsor |
|
| Publisher |
|
| Bibliometrics |
Downloads (6 Weeks): 0, Downloads (12 Months): 2, Citation Count: 0
|
|
|
REFERENCES
Note: OCR errors may be found in this Reference List extracted from the full text article. ACM has opted to expose the complete List rather than only correct and linked references.
 |
1
|
|
| |
2
|
P. Brinch Hansen (1972), "A Comparison of Two Synchronizing Concepts", Acta Informatica 1, pp. 190-199.
|
| |
3
|
-- (1973), "A Reply to Comments on 'A Comparison of Two Synchronizing Concepts' ", Acta Informatica 2, pp 189-190.
|
 |
4
|
|
| |
5
|
|
 |
6
|
|
| |
7
|
-- (1972) "Comments on 'A Comparison of Two Synchronizing Concepts' ", Acta Informatica 1, pp 375-376.
|
| |
8
|
A.N. Habermann (1975), "Path ~xpressions", Technical Report, Dept. of Computer Science, Carnegie Mellon Univ, Pittsburg, PA.
|
| |
9
|
C. Hewitt and R. Atkinson (1979), "Specification and Proof Techniques for Serializers" IEEE Trans on Software Engineering SE-5, pp. 10-23.
|
 |
10
|
|
| |
11
|
|
| |
12
|
|
Peer to Peer - Readers of this Article have also read:
-
Data structures for quadtree approximation and compression
Communications of the ACM
28, 9
Hanan Samet
-
A hierarchical single-key-lock access control using the Chinese remainder theorem
Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing
Kim S. Lee
, Huizhu Lu
, D. D. Fisher
-
The GemStone object database management system
Communications of the ACM
34, 10
Paul Butterworth
, Allen Otis
, Jacob Stein
-
Putting innovation to work: adoption strategies for multimedia communication systems
Communications of the ACM
34, 12
Ellen Francik
, Susan Ehrlich Rudman
, Donna Cooper
, Stephen Levine
-
An intelligent component database for behavioral synthesis
Proceedings of the 27th ACM/IEEE conference on Design automation
Gwo-Dong Chen
, Daniel D. Gajski
|