{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T01:32:43Z","timestamp":1648949563964},"reference-count":20,"publisher":"EDP Sciences","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[1995]]},"DOI":"10.1051\/ita\/1995290302271","type":"journal-article","created":{"date-parts":[[2017,2,2]],"date-time":"2017-02-02T15:10:52Z","timestamp":1486048252000},"page":"227-244","source":"Crossref","is-referenced-by-count":2,"title":["On-line computations of the ideal lattice of posets"],"prefix":"10.1051","volume":"29","author":[{"given":"Claude","family":"Jard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Guy-Vincent","family":"Jourdan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Xavier","family":"Rampon","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"250","published-online":{"date-parts":[[2011,1,8]]},"reference":[{"key":"R1","unstructured":"1. AHO A. V., HOPCROFT J. E. and ULLMAN J. D., The design and Analysis of Computer Algorithms, Addison-Wesley Series in Computer Science and Information Processing, 1974.4135920326.68005"},{"key":"R2","unstructured":"2. BABAOGLU O. and RAYNAL M., Sequence-Based Global Predicates for Distributed Computations: Definitions and Detection Algorithms, IRISA research report No. 729, Mai 1993."},{"key":"R3","doi-asserted-by":"crossref","unstructured":"3. BIRKHOFF G., Rings of Sets, Duke Math., 1937, J-3, pp. 311-316.1545989","DOI":"10.1215\/S0012-7094-37-00323-5"},{"key":"R4","unstructured":"4. BONNET R. and POUZET M., Extensions et stratifications d'ensembles dispers\u00e9s, C. R. Acad. Sci. Paris, 1969, t. 268, S\u00e9rie A, pp. 1512-1515.2427260188.04203"},{"key":"R5","doi-asserted-by":"crossref","unstructured":"5. BORDAT J. P., Calcul des id\u00e9aux d'un ordon\u00e9 fini, Recherche op\u00e9rationnelle\/Operations Research, 1991, 25, n\u00b0 4, pp. 265 \u00e0 275.10501411284680733.90038","DOI":"10.1051\/ro\/1991250302651"},{"key":"R6","unstructured":"6. BORDAT J. P., Sur l'algorithme combinatoire d'ordres finis, Doctorat d'\u00c9tat es Sciences USTL Montpellier, 1992."},{"key":"R7","doi-asserted-by":"crossref","unstructured":"7. BOUCHITT\u00c9 V. and HABIB M., The Calculation of Invariants of Ordered Sets, I. Rival (ed.), Algorithms and Order, 231-279, NATO Series C, 255, Kluwer Academic Publishers, 1989.1261.060021037785","DOI":"10.1007\/978-94-009-2639-4_6"},{"key":"R8","unstructured":"8. CHATY G. and CHEIN M., Ordered Matchings and Matchings without Alternating Cycles in Bipartite Graphs, Utilitas Mathematica, 1979, 16, pp. 183-187.5569900446.05037"},{"key":"R9","doi-asserted-by":"crossref","unstructured":"9. COOPER R. and MARZULLO K., Consistent Detection of Global Predicates, In Proc. ACM\/ONR Workshop on Parallel and Distributed Debugging, pp. 163-173, Santa Cruz, California, May 1991.","DOI":"10.1145\/122759.122774"},{"key":"R10","unstructured":"10. DIEHL C., Analyse de la relation de causalit\u00e9 dans les ex\u00e9cutions r\u00e9parties, Th\u00e8se, 14 Septembre 1992, Universit\u00e9 de Rennes 1."},{"key":"R11","doi-asserted-by":"crossref","unstructured":"11. DIEHL C., JARD C. and RAMPON J. X., 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.1236494","DOI":"10.1007\/3-540-56610-4_94"},{"key":"R12","unstructured":"12. DIEHL C., JARD C. and RAMPON J. X., Computing On-Line the Covering Graph of the Ideal Lattice of Posets, IRISA research report No. 703, February 1993."},{"key":"R13","unstructured":"13. FIDGE C., Timestamps in Message Passing Systems that Preserve the Partial Ordering, In Proc. 11th Australian Computer Science Conference, 55-66, February 1988."},{"key":"R14","unstructured":"14. HABIB M. and NOURINE L., Linear Time Recognition Algorithm for Distributive Lattices, Order 11: pp. 197-210, 1994."},{"key":"R15","doi-asserted-by":"crossref","unstructured":"15. JANICKI R. and KOUNTY M., Structure of Concurrency, Theoretical Computer Science, 1993, 772, pp. 5-52.12211490814.68061","DOI":"10.1016\/0304-3975(93)90238-O"},{"key":"R16","doi-asserted-by":"crossref","unstructured":"16. JOURDAN G. V., RAMPON J. X. and JARD C., Computing On-Line the Maximal Antichain Lattice of Posets, Order 11: pp. 197-210, 1994.13084750814.06004","DOI":"10.1007\/BF02115811"},{"key":"R17","doi-asserted-by":"crossref","unstructured":"17. KODA Y. and RUSKEY F., A Gray Code for the Ideals of a Forest Poset, Journal of Algorithms, 1993, 15, pp. 324-340.12314470782.94014","DOI":"10.1006\/jagm.1993.1044"},{"key":"R18","doi-asserted-by":"crossref","unstructured":"18. LAMPORT L., Time, Clocks and the Ordering of Events in a Distributed System, Communications of the ACM, July 1978, 21 (7), pp. 558-565.0378.68027","DOI":"10.1145\/359545.359563"},{"key":"R19","unstructured":"19. MATTERN F., 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.0648.680361053973"},{"key":"R20","doi-asserted-by":"crossref","unstructured":"20. STEINER G., An Algorithm to Generate the Ideals of a Partial Order, Operations Research Letters, 1986, No. 6, pp. 317-320.8757840608.90075","DOI":"10.1016\/0167-6377(86)90071-4"}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1995290302271\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T05:59:44Z","timestamp":1568786384000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1995290302271"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"references-count":20,"journal-issue":{"issue":"3"},"alternative-id":["ita1995290302271"],"URL":"https:\/\/doi.org\/10.1051\/ita\/1995290302271","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}