Re: First-Order Programming Theories

Walter G. Wilson <WALTER@ISI.EDU>
Message-id: <>
Cc:, interlingua@ISI.EDU,,
Subject: Re: First-Order Programming Theories
In-reply-to: Your message of Tue, 06 Jul 93 11:36:54 EDT.
Date: Tue, 06 Jul 93 13:25:10 -0500
From: Walter G. Wilson <WALTER@ISI.EDU>

>>In any case, there are certainly many questions about time that have
>>to be handled.  But what I found attractive about that book is that
>>the authors presented a way of representing a very general programming
>>theory in FOL.  The fact that they didn't solve all the problems of
>>distributed systems doesn't mean that such problems are insoluble
>>in some extension of their framework.

Do I detect somebody's thesis topic lurking here?