Re: [moca] Query

[martinb@xxxxxxxxxxxxxx]

> Is there a way I could use the different types of calculi talked about
> in this forum to represent the above problem? Any pointers &/or insights
> would be greatly appreciated!

in my experience, while you can use existing calculi as inspiration and
as a grab bag for techniques, constructions and questions, it is unlikely
that any existing calculus is perfectly suitable for solving your problem.

but that's ok, just cook your own formalism. don't feel like you must use
any given formalism. they all have shortcomings ... if you develop your
own, let yourself be inspired by other people's work. this means what you
come up with will look a lot like existing approaches, but with some
customised additional primitives. add liberally at first. once  you have
arrived at a calculus that allows modelling of your  problem domain with
the desired precision, you can investigate redundancies in your custom
made calculus and study to what degree it can be reduced to simpler
calculi.

my conviction is that the asynchronous pi-calculus is the best starting
point for extensions. one usually needs only a few new constructors, but
they are generally vital. trying to find out which newly introduced
constructions are redundant is often rewarding and leads to a much better
understanding of what is being modelled.

martin
  
~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
The "models for mobility" mailing list     mailto:moca@xxxxxxxxxxxxxxx
 http://www-sop.inria.fr/mimosa/personnel/Davide.Sangiorgi/moca.html