Article View: comp.specification
Article #131Re: Proof rules for angelic choice?
From: J{rvinen Hannu-Matti
Date: Thu, 28 Jun 1990 06:40
Date: Thu, 28 Jun 1990 06:40
32 lines
1710 bytes
1710 bytes
In article <4106@uqcspe.cs.uq.oz.au> brendan@batserver.cs.uq.oz.au writes:
>leavens@cs.iastate.edu (Gary Leavens) writes:
>For more information I suggest you read:
>
>@techreport{Back:RefCal,
> Author = "R. J. R. Back and J. {von Wright}",
> title = "Refinement Calculus, Part {I}: Sequential Nondeterministic Programs",
> institution = {Institute f\"{o}r
> Informationsbehandling, Lemmink\"{a}inengatan},
> type = {Technical Report},
> number = {Ser. A, No 92},
> year = 1989
>}
The Institution line is not complete, and seems to be in Swedish
(although in Finland, Swedish is used in Abo Akademi). The
complete English version is:
Abo Akademi University,
Department of Computer Science,
Lemmink{inengatan 14,
20520 Abo,
Finland
({ is a with two dots, i.e., a diaresis or "umlaut a")
You may also be interested in the second part:
R. J. R. Back, Refinement Calculus, Part II, Parallel and Reactive Programs
-----
Hannu-Matti Jarvinen, hmj@tut.fi
Opinions of tut != opinions of mine, and vice versa.
TTKK on samaa mielt{ kanssani siit{, ett{ en edusta sen mielipidett{.
Technical Details
Message-ID:
<1990Jun28.064022.13850@funet.fi>Path:
arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rutgers!usc!snorkelwacker!bloom-beacon!eru!luth!sunic!tut!kuukkeli!hmjReferences:
<2103@dino.cs.iastate.edu> <4106@uqcspe.cs.uq.oz.au>Show Full Headers
Complete Article Headers
Path: arc1-ca.pugleaf.net!utzoo!utgpu!news-server.csri.toronto.edu!rutgers!usc!snorkelwacker!bloom-beacon!eru!luth!sunic!tut!kuukkeli!hmj
From: hmj@kuukkeli.tut.fi (J{rvinen Hannu-Matti)
Newsgroups: comp.specification
Subject: Re: Proof rules for angelic choice?
Keywords: Hoare logic, verification
Message-ID: <1990Jun28.064022.13850@funet.fi>
Date: 28 Jun 90 06:40:22 GMT
References: <2103@dino.cs.iastate.edu> <4106@uqcspe.cs.uq.oz.au>
Sender: news@funet.fi (#News )
Reply-To: hmj@kuukkeli.tut.fi (J{rvinen Hannu-Matti)
Distribution: comp
Organization: Tampere University of Technology, Finland
Lines: 32