Taxonomy of Facets & Composites

[Ken Kahn]

I'm sorry I haven't been too clear. Part of the problem is that there is
intuition and there is formalism. Mostly I've been arguing intuitively. What
I was saying below, was an unsuccessful attempt to paraphrase Vijay Saraswat
when he gives an operational semantics to languages like this. When he
writes

A := A,A

he is saying an agent (i.e. process) can be defined by the parallel
composition (the comma) of two agents.

Best,

-ken

----- Original Message -----
From: "Mark S. Miller" <markm@caplet.com>
To: "Ken Kahn" <kenkahn@toontalk.com>
Cc: "E Language Discussions" <e-lang@eros-os.org>
Sent: Monday, July 31, 2000 11:12 AM
Subject: Re: Taxonomy of Facets & Composites


> At 09:45 AM 7/31/00 , Ken Kahn wrote:
> >An important point is that the comma at the end of "ce(DoubleCE,
> >DoubleCount)," produces something of type process (this is a type at the
> >semantic level not the language-level) from the process created by
> >"ce(DoubleCE, DoubleCount)" and the process created by "ce(Rest,
> >CountPlusOne)".
>
> Sorry, I don't understand this paragraph at all.
>
>          Cheers,
>          --MarkM
>
>