|
![](/i/fill.gif) |
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
|
![](/i/fill.gif) |