hermann@loria.crin.fr (Miki HERMANN) (02/20/90)
Dear net community, Halpern and Reif in their article "The propositional dynamic logic of deterministic, well-structured programs", Theoretical Computer Science 27(1983), pp 127-165; give tribute to Passy before introducing the axiomatization of SDPDL. Passy's article "Filtration lemma for deterministic programming algebras" is an 'unpublished manuscript', cited without further details, therefore I would like to know whether (an if so, where) it was published in a journal/conference proceedings or where could I obtain it as a research report, or else where could I get the unpublished manuscript. Thank you very much for your cooperation. Miki HERMANN Centre de Recherche en Informatique de Nancy -------------------------------------------- e-mail: hermann@loria.crin.fr post: CRIN, B.P. 239, F-54506 Vandoeuvre-les-Nancy Cedex, FRANCE phone: +33 83.91.20.00 ext(poste) 28.68