From mboxrd@z Thu Jan  1 00:00:00 1970
X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me
X-Spam-Level: 
X-Spam-Status: No, score=-1.9 required=5.0 tests=BAYES_00
	autolearn=unavailable autolearn_force=no version=3.4.4
Path: 
 eternal-september.org!reader01.eternal-september.org!feeder.eternal-september.org!aioe.org!.POSTED.fn3LatRFkm9/xzEj7F2/NQ.user.gioia.aioe.org!not-for-mail
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.lang.ada
Subject: Re: Ada in command / control systems
Date: Thu, 7 Mar 2019 10:25:32 +0100
Organization: Aioe.org NNTP Server
Message-ID: <q5qo2b$1t4u$2@gioia.aioe.org>
References: <2199b15b-d704-403f-a6c4-00fab29792d5@googlegroups.com>
 <q508nv$gnb$1@gioia.aioe.org>
 <a9e95da8-9923-4be6-98f2-30913f0a5274@googlegroups.com>
 <e9750c52-f4bd-47c9-988c-b7fd418a4ce7@googlegroups.com>
 <q536ao$1uj3$1@gioia.aioe.org>
 <72738cc8-3f65-4cc1-8c61-b1166cb5e3c2@googlegroups.com>
 <q55lgi$1967$1@gioia.aioe.org>
 <f96796fc-71dc-4229-a77f-588c98a7c527@googlegroups.com>
 <q5710f$1nbo$1@gioia.aioe.org>
 <9807ec3a-4c34-4641-acfa-e9cf22de95ce@googlegroups.com>
 <q5l7rj$a8$1@dont-email.me> <q5lfgm$42k$1@gioia.aioe.org>
 <520809e3-a705-4b10-8b54-6d67c33158a6@googlegroups.com>
 <ge7rgeFg6q4U1@mid.individual.net> <q5nsmf$fjb$1@dont-email.me>
 <q5o00l$1gnh$1@gioia.aioe.org> <q5qhjf$vsa$1@dont-email.me>
NNTP-Posting-Host: fn3LatRFkm9/xzEj7F2/NQ.user.gioia.aioe.org
Mime-Version: 1.0
Content-Type: text/plain; charset=utf-8; format=flowed
Content-Transfer-Encoding: 7bit
X-Complaints-To: abuse@aioe.org
User-Agent: Mozilla/5.0 (Windows NT 10.0; WOW64; rv:60.0) Gecko/20100101
 Thunderbird/60.5.1
Content-Language: en-US
X-Notice: Filtered by postfilter v. 0.9.2
Xref: reader01.eternal-september.org comp.lang.ada:55806
Date: 2019-03-07T10:25:32+01:00
List-Id: <comp.lang.ada>

On 2019-03-07 08:35, G. B. wrote:
> Dmitry A. Kazakov <mailbox@dmitry-kazakov.de> wrote:

>> The problem with this sort of pictures is its literality. They represent
>> an instance of task communication and not communication in its entirety
>> as an abstraction of multitude of possible communication instances.
> 
> They can show all instances,

There is an continuum instances, considering time axis real-valued. One 
need some mathematical framework to judge equivalence of such diagrams 
according to the sets of cases a given diagram would cover.

-- 
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de