Welcome to PathEx’s documentation!

The main goal of PathEx library is to ease concurrent programming in Python by separating the specification of synchronization from the main logic aspect. Path expressions 1 is the selected theoretical framework to achieve this goal. In this model, the allowed execution paths are specified declaratively by using constructions similar to regular expressions.

Code is available at GitHub.

Caution

Library in development

This library is currently in development, and it is not recommended being used in production environments.

Warning

Documentation in development

These documents are currently in development, and in an incomplete state.

Indices and tables

Footnotes

1

Paths expressions were proposed by Campbell and Habermann [CH74]. Important extensions and variants may be found in Andler [And79], Campbell [Cam76], Govindarajan et al. [GGYW91], Guo [Guo94], Habermann [Hab75], Headington [Hea84], Heinlein [Hei03], Zhao [Zha07].