Xref: utzoo comp.theory:409 sci.logic:765
Path: utzoo!utgpu!jarvis.csri.toronto.edu!cs.utexas.edu!samsung!uunet!mcsun!inria!loria!hermann
From: hermann@loria.crin.fr (Miki HERMANN)
Newsgroups: comp.theory,sci.logic
Subject: Strict deterministic propositional dynamic logic
Keywords: Unpublished manuscript by Passy
Message-ID: <1499@loria.crin.fr>
Date: 20 Feb 90 09:25:54 GMT
Organization: CRIN - CNRS & INRIA Lorraine, Nancy, France
Lines: 21


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