13. Structured Concurrency🔗

This chapter has not yet been ported. The Rocq source is iris-tutorial/theories/structured_conc.v.

It introduces the spawn and par constructs.