Darren New wrote:
> A formal language is one with semantics defined by rewrite rules, for 

Of course, wikipedia already has pages on it.

http://en.wikipedia.org/wiki/Process_calculus
   See especially the "reduction" part.

http://en.wikipedia.org/wiki/Algebra_of_Communicating_Processes
   See especially the "formal axioms" part.
   I'm sure a bright guy like you can see how this could develop
   into something that would allow you to (for example) prove
   that deadlock can't develop, or that some sequence of states
   is always possible, and so on.

-- 
   Darren New, San Diego CA, USA (PST)
   Why is there a chainsaw in DOOM?
   There aren't any trees on Mars.

Post a reply to this message