[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]


Sorry if the below comes across as self indulgent but...
Is anyone else bored of all this process algebra vs OO debate. I am sure 
we are all well versed in both and their pros and cons. 

It is not the topic so much as the level of arguement (not from anyone in 
particular I might add please I don;t mean to offend anyone) that I find 
is getting a bit 'dumbed down'.  Can't we collectively rant about 
something more subtle, interesting and possibly edifying like....

1) Dynamic object interactions: the need for dynamic alphabets and channel 
passing: pi&pict vav csp&occam
2) splitting the csp atom: opening up event atomicity in going from 
specification to implementation
3) Meta-csp: modeling imperative implementations using the visibility of 
ready sets and manipulating the fdr firing rules
4) MAXCHICKENS=3: Why do humans need to set the limits in CSP models, are 
there cases where FDR could work it out for a given subset of proofs?
(Can you see that it is the tension between mathematical cleaness and ease 
of commercial applicability that is most interesting to me)
5) How about Milner's bigraphs etc 

To date these distro's have had generally very high quality appends but I 
have recently started deleting some without reading for the first time in 
years and this makes me sad. 

I am not against free speech so of course feel free to continue the 
trashing & defense of OO if you like.....