Re: linear algebra and others

[manor]

Chris Landauer writes:

> using a notion of message passing as the basis for formalization
> is interesting and important, because there is no adequate model
> for object-and-message-based systems at all since some messages
> cause new objects to be created or destroyed, this has remained
> a difficult problem - so far, the only formal models i have seen
> do no more than operationalize the definition of the message passing
> process - this is not very useful because there is no analytical power
> to it (which is the main point of formalization) - that means you can't
> learn anything about the system without "running" it.

By formal models are you refering to any of these:

  CCS (Calculus of Communicating Systems)
  CSP (Communicating Sequential Processes)
  The Pi-Calculus

How would you demonstrate the 'sterility' of a formalism which attempts to
capture properties of message-passing systems?

Is there a simple question/problem which you could define, such that it has
some non-trivial property which should be derivable formally (i.e. without
"running" it) that would serve as a good benchmark?

Manor.


                  ==================================
   Swarm-Modelling is for discussion of Simulation and Modelling techniques
   esp. using Swarm.  For list administration needs (esp. [un]subscribing),
   please send a message to <address@hidden> with "help" in the
   body of the message.
                  ==================================