Free Access
Issue |
RAIRO-Theor. Inf. Appl.
Volume 31, Number 2, 1997
|
|
---|---|---|
Page(s) | 97 - 148 | |
DOI | https://doi.org/10.1051/ita/1997310200971 | |
Published online | 01 February 2017 |
- [Abr] U. ABRAHAM, On interprocess communication and the problem of common atomic registers, Technical Report Ben-gurion University, Israel, 1988. [Google Scholar]
- [And] J. H. ANDERSON, Composite registers, Distributed Computing, 1993, 6, pp. 141-154. [Zbl: 0781.68042] [Google Scholar]
- [Ang] F. D. ANGER, On Lamport's Interprocessor Communication Model, ACM Trans. on Programming Languages and Systems, 1989, 11, pp. 404-417. [Google Scholar]
- [Arn ] A. ARNOLD, An example of use of MEC: verification of Tromp's algorithm, Technical Report, Université Bordeaux 1, 1993. [Google Scholar]
- [AKKV] B. AWERBUCH, L. M. KIROUSIS, E. KRANAKISet P. VITÁNYI, A proof technique for register atomicity, Proceedings of Conference on Foundations of Software Technology and Theoretical Computer Science, LNCS, Springer Verlag, 1988, 338, pp. 286-303. [MR: 1023903] [Zbl: 0669.68019] [Google Scholar]
- [Blo] B. BLOOM, Constructing Two-writer atomic register, IEEE Trans. on Computers, 1988, 37, pp. 1506-1514. [MR: 975401] [Zbl: 0663.68034] [Google Scholar]
- [HS] S. HALDARet P. S. SUBRAMANIAN, Space-optimal conflict free construction of 1-writer 1-reader multivalued atomic register, International 8th Workshop on Distrubuted Computing, LNCS, Springer Verlag, 1994, 857, pp. 116-129. [MR: 1325246] [Google Scholar]
- [Her] M. HERLIHY, Wait free synchronization, ACM Trans. on Programming Languages and Systems, 1991, 13, pp. 124-149. [Google Scholar]
- [HW] M. HERLIHYet M. WING, Linearizability : a correctness condition for concurrent objects, ACM Trans. on Programming Languages and Systems, 1990, 12, pp. 463-492. [Google Scholar]
- [IS] A. ISRAELI et A. SHAHAM, Optimal multi-writer atomic register, Proceedings of the 11th ACM Symposium on Principles of Distributed Computing, 1992. [Zbl: 1082.68017] [Google Scholar]
- [KKV] L. M. KIROUSIS, E. KRANAKISet P. VITÁNYI, Atomic Mulitreader Register, International 2nd Workshop on Distributed Computing, LNCS, Springer Verlag 1987, 312, pp. 278-296. [Google Scholar]
- [KV] L. M. KIROUSIS et A. G. VENERIS, Efficient algorithms for checking atomicity of a run of read and write operations, International 7th Workshop on Distributed Computing, LNCS, Springer Verlag 1993, 725, pp. 54-68. [MR: 1284489] [Zbl: 0925.68169] [Google Scholar]
- [L78] L. LAMPORT, Time, Clocks, and the Orderings of Events in a Distributed System, Communications of the ACM, 1978, 21, pp. 558-564. [Zbl: 0378.68027] [Google Scholar]
- [L85] L. LAMPORT, Interprocess communication, SRI Technical Report, March 1985. [Google Scholar]
- [L86a] L. LAMPORT, On interprocess communication: Part I-Basic formalism, Distributed Computing, 1986, 1, pp. 77-85. [Zbl: 0598.68022] [Google Scholar]
- [L86b] L. LAMPORT, On interprocess communication: Part II-Algorithms, Distributed Computing, 1986, 1, pp. 86-101. [Zbl: 0598.68023] [Google Scholar]
- [Mis] J. MISRA, Axioms for memory access in asynchronous hardware systems, ACM Trans. on Programming Languages and Systems, 1986, 8, pp. 142-153. [MR: 822269] [Zbl: 0593.68017] [Google Scholar]
- [Mor] R. H. MÖRING, Algorithmic aspects of comparability graphs and interval graphs in Graphs and Order(NATO ASI C147), L Rival ed D. Reidel, 1985, pp. 41-101. [MR: 818493] [Zbl: 0569.05046] [Google Scholar]
- [Ore] O. ORE, Theory of Graphs, Amer. Math. Soc. Colloq. Publ., Providence, 1962, 38. [MR: 150753] [Zbl: 0105.35401] [Google Scholar]
- [Pet] G. L. PETERSON, Concurrent reading while writing, ACM Trans. on Programming Languages and Systems, 1983, 5, pp. 46-55. [Zbl: 0498.68010] [Google Scholar]
- [Tro] J. TROMP, How to Construct an Atomic Variable, International Workshop on Distributed Algorithms, LNCS, Springer Verlag 1989, 392, pp. 292-302. [Google Scholar]
- [Vid] K. VIDYASANKAR, Converting Lamport's regular register to atomic register, Information Processing Letters, 1988, 28, pp. 287-290. [MR: 963515] [Zbl: 0662.68049] [Google Scholar]
- [VA] P. VITÁNYI et B. AWERBUCH, Atomic shared acces by asynchronous hardware, Proceedings of the 27th Symposium on Foundations of Computer Science, 1986, Errata, Ibid, 1987. [Google Scholar]
- [Wie] N. WIENER, A contribution to the theory of relative position, Proc. Camb. Philos. Soc., 1914, 17, pp. 441-449. [Zbl: 45.1150.10] [JFM: 45.1150.10] [Google Scholar]
Current usage metrics show cumulative count of Article Views (full-text article views including HTML views, PDF and ePub downloads, according to the available data) and Abstracts Views on Vision4Press platform.
Data correspond to usage on the plateform after 2015. The current usage metrics is available 48-96 hours after online publication and is updated daily on week days.
Initial download of the metrics may take a while.