how to specify concurrency in Quint?

[younes-io]

I looked into the docs and could not find one example of concurrency in Quint.. could anyone please help?

[bugarela]

Hey! You can take a look at our examples, specially at the classic/distributed folder.

[bugarela]

We're just putting out a change to the website that will have a clearer link to this, and we plan to also write more docs about it in the coming months

[younes-io]

oh thank you!