Are there (highly) restricted process calculi? Perhaps similar to formal grammar?
I wondered if there were much more restrictive formalisms for describing concurrent processes?


Petri nets are IMO more restrictive than the process calculus and such. They are state-transition systems, which are pretty much like formal grammars (like parsing expression grammars). They all boil down to states and rules / transitions. Petri nets include parallel composition.