[rules-dev] Process Algebra

Anyone got much process algebgra experience? Was just chatting to one of the prova developers, showed him our rule flow, and he mentioned that if we really want to get expressiveness and interaction of services to the next level we need to look into process algebra... http://en.wikipedia.org/wiki/Process_calculi http://theory.stanford.edu/~rvg/process.html So if we have any process algebra guru's around, your feedback is welcome :) Mark