search

tlaplus / Examples

A collection of TLA⁺ specifications of varying complexities
Other
1.29k stars 200 forks source link

Add DOI of paper where ClientCentric TLA+ specifications are documented #143

Closed TimSoethout closed 6 months ago

TimSoethout commented 6 months ago

Sync up with https://github.com/cwi-swat/tla-ci/blob/master/ClientCentric.tla

muenchnerkindl commented 6 months ago

Thanks for adding this pointer.