×

zbMATH — the first resource for mathematics

Tuplix calculus. (English) Zbl 1424.68098
MSC:
68Q85 Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)
91G99 Actuarial science and mathematical finance
PDF BibTeX XML Cite