@article{ITA_1995__29_3_227_0, author = {Jard, Claude and Jourdan, Guy-Vincent and Rampon, Jean-Xavier}, title = {On-line computations of the ideal lattice of posets}, journal = {RAIRO - Theoretical Informatics and Applications - Informatique Th\'eorique et Applications}, pages = {227--244}, publisher = {EDP-Sciences}, volume = {29}, number = {3}, year = {1995}, mrnumber = {1347595}, zbl = {0833.68055}, language = {en}, url = {http://www.numdam.org/item/ITA_1995__29_3_227_0/} }
TY - JOUR AU - Jard, Claude AU - Jourdan, Guy-Vincent AU - Rampon, Jean-Xavier TI - On-line computations of the ideal lattice of posets JO - RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications PY - 1995 SP - 227 EP - 244 VL - 29 IS - 3 PB - EDP-Sciences UR - http://www.numdam.org/item/ITA_1995__29_3_227_0/ LA - en ID - ITA_1995__29_3_227_0 ER -
%0 Journal Article %A Jard, Claude %A Jourdan, Guy-Vincent %A Rampon, Jean-Xavier %T On-line computations of the ideal lattice of posets %J RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications %D 1995 %P 227-244 %V 29 %N 3 %I EDP-Sciences %U http://www.numdam.org/item/ITA_1995__29_3_227_0/ %G en %F ITA_1995__29_3_227_0
Jard, Claude; Jourdan, Guy-Vincent; Rampon, Jean-Xavier. On-line computations of the ideal lattice of posets. RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications, Tome 29 (1995) no. 3, pp. 227-244. http://www.numdam.org/item/ITA_1995__29_3_227_0/
1. The design and Analysis of Computer Algorithms, Addison-Wesley Series in Computer Science and Information Processing, 1974. | MR | Zbl
, and ,2. Sequence-Based Global Predicates for Distributed Computations: Definitions and Detection Algorithms, IRISA research report No. 729, Mai 1993.
and ,3. Rings of Sets, Duke Math., 1937, J-3, pp. 311-316. | MR
,4. Extensions et stratifications d'ensembles dispersés, C. R. Acad. Sci. Paris, 1969, t. 268, Série A, pp. 1512-1515. | MR | Zbl
and ,5. Calcul des idéaux d'un ordoné fini, Recherche opérationnelle/Operations Research, 1991, 25, n° 4, pp. 265 à 275. | Numdam | MR | Zbl
,6. Sur l'algorithme combinatoire d'ordres finis, Doctorat d'État es Sciences USTL Montpellier, 1992.
,7. The Calculation of Invariants of Ordered Sets, I. Rival (ed.), Algorithms and Order, 231-279, NATO Series C, 255, Kluwer Academic Publishers, 1989. | MR
and ,8. Ordered Matchings and Matchings without Alternating Cycles in Bipartite Graphs, Utilitas Mathematica, 1979, 16, pp. 183-187. | MR | Zbl
and ,9. Consistent Detection of Global Predicates, In Proc. ACM/ONR Workshop on Parallel and Distributed Debugging, pp. 163-173, Santa Cruz, California, May 1991.
and ,10. Analyse de la relation de causalité dans les exécutions réparties, Thèse, 14 Septembre 1992, Université de Rennes 1.
,11. Reachability Analysis on Distributed Executions, TAPSOFT'93: Theory and Practice of Software Development, in Lecture Notes in Computer Science, 1993, No. 668, Springer-Verlag, pp. 629-643. | MR
, and ,12. Computing On-Line the Covering Graph of the Ideal Lattice of Posets, IRISA research report No. 703, February 1993.
, and ,13. Timestamps in Message Passing Systems that Preserve the Partial Ordering, In Proc. 11th Australian Computer Science Conference, 55-66, February 1988.
,14. Linear Time Recognition Algorithm for Distributive Lattices, Order 11: pp. 197-210, 1994.
and ,15. Structure of Concurrency, Theoretical Computer Science, 1993, 772, pp. 5-52. | MR | Zbl
and ,16. Computing On-Line the Maximal Antichain Lattice of Posets, Order 11: pp. 197-210, 1994. | MR | Zbl
, and ,17. A Gray Code for the Ideals of a Forest Poset, Journal of Algorithms, 1993, 15, pp. 324-340. | MR | Zbl
and ,18. Time, Clocks and the Ordering of Events in a Distributed System, Communications of the ACM, July 1978, 21 (7), pp. 558-565. | Zbl
,19. Virtual Time and Global States of Distributed Systems, In Cosnard, Quinton, Raynal and Robert, editors, Proc. Int. Workshop on Parallel and Distributed Algorithms, Bonas France October 1988, North-Holland, 1989. | MR
,20. An Algorithm to Generate the Ideals of a Partial Order, Operations Research Letters, 1986, No. 6, pp. 317-320. | MR | Zbl
,