Re: First-Order Programming TheoriesWalter G. Wilson <WALTER@ISI.EDU>
Cc: WALTER@cs.umn.edu, interlingua@ISI.EDU, email@example.com,
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?