search

p-org / PSharp

A framework for rapid development of reliable asynchronous software.
MIT License
390 stars 37 forks source link

Model CancellationToken #437

Open akashlal opened 5 years ago

akashlal commented 5 years ago

It'll be nice to provide a model of CancellationToken, along the lines of a SharedRegister.