Concurrent process calculi used for modeling market economies?

Factual Questions
1

There’s plenty of economists on here, it seems. I’m wondering whether there’s been any work applying the myriad formal tools that theoretical computer scientists have developed to reason about asynchronous and concurrent systems to the study of market economies? From searching, it appears that they’re heavily used for modeling interactions in cell biology, and there’s been some application of the Pi-calculus to modeling business processes, but it appears absolutely no work on using these in a wider economic setting.

Given these calculi have been pretty successful in modeling complex systems in CS, economists use some pretty heavy duty maths, and market economies seem to be the canonical example of a gigantic asynchronous system, I’m obviously missing prior work on this subject. Does anybody know of any, or know a place where I could find out?

2

Link to primer on “asynchronous and concurrent systems”? Sometimes similar methodologies have different nomenclature in other disciplines. Other times, certain approaches (I’m thinking of ANOVA for example) are passed over for more flexible methodologies (such as regressions).

Incidentally, simulating whole economies hasn’t been the sexiest portion of macroeconomics for years. Or so I understand.

3

It’s not something that economists would have a different word for; it’s very computer sciencey.