From mboxrd@z Thu Jan 1 00:00:00 1970 X-Msuck: nntp://news.gmane.io/gmane.science.mathematics.categories/7054 Path: news.gmane.org!not-for-mail From: Patrik Eklund Newsgroups: gmane.science.mathematics.categories Subject: Re: The boringness of the dual of exponential Date: Mon, 14 Nov 2011 14:36:35 +0100 (MET) Message-ID: References: Reply-To: Patrik Eklund NNTP-Posting-Host: lo.gmane.org Mime-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII; format=flowed X-Trace: dough.gmane.org 1321360326 23576 80.91.229.12 (15 Nov 2011 12:32:06 GMT) X-Complaints-To: usenet@dough.gmane.org NNTP-Posting-Date: Tue, 15 Nov 2011 12:32:06 +0000 (UTC) To: categories@mta.ca Original-X-From: majordomo@mlist.mta.ca Tue Nov 15 13:31:55 2011 Return-path: Envelope-to: gsmc-categories@m.gmane.org Original-Received: from smtpx.mta.ca ([138.73.1.4]) by lo.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1RQIB9-0000nX-Kj for gsmc-categories@m.gmane.org; Tue, 15 Nov 2011 13:31:55 +0100 Original-Received: from mlist.mta.ca ([138.73.1.63]:33732) by smtpx.mta.ca with esmtp (Exim 4.76) (envelope-from ) id 1RQI9b-0001Zr-Lz; Tue, 15 Nov 2011 08:30:19 -0400 Original-Received: from majordomo by mlist.mta.ca with local (Exim 4.71) (envelope-from ) id 1RQI9a-0005Mb-41 for categories-list@mlist.mta.ca; Tue, 15 Nov 2011 08:30:18 -0400 In-Reply-To: Precedence: bulk Xref: news.gmane.org gmane.science.mathematics.categories:7054 Archived-At: Dear Vaughan, An excellent remark, once again from your side. The general audience of this remark may, however, not identify the subtlety of these states with respect to modelling of parallel programs and what apparently now happens on clouds and grids with services and brokers, and not even to mention customers using these services. So perhaps I may suggest to recall e.g. the dining philosophers paradigm, which was widely used during the early days of CSP (Communicating Sequential Processes) decades ago. The philosophers go through only three states, namely, thinking, getting hungry (and thereby stop thinking), and eating. After eating then go back to thinking, and so on. They use chopsticks, one by one (in a very non-Asian fashion), and communicate about using these resources with fellow philosophers around the table. Simple objectives are e.g. to avoid starvation. The relationship between states you mention is much more elaborate, they overlap, and it is not entirely clear when one state is over, and another one begins. I would even say that some of these states, in the sense of being members of a "set of states", call for more structure in underlying categories. Perhaps you already thought about transforming this into a new paradigm. I seriously think it would be a challence to the CSP programmers (some of them fascinated e.g. by Goguen's institutions!) to encode some behaviour involving those states in conventional CSP, and making the observation that we may need additional language constructions, and more underlying structures. The parallel paradigm is still all too non-categorical. Cheers, Patrik On Sat, 12 Nov 2011, Vaughan Pratt wrote: > > On 11/9/2011 4:45 PM, Jocelyn Ireson-Paine wrote: >> What's the definition of "weakening"? I've not seen this word used >> formally. > > I had the same question about "boring", which came earlier. I believe > "sleeping" comes later, then "dreaming," "awakening," and so on. > Eventually the lecture ends and we either resume elsewhere with "boring" > or move on to "eating." > > Vaughan [For admin and other information see: http://www.mta.ca/~cat-dist/ ]