[tlaplus] Specifying buffer with TTL.

[bogolubovsereja@xxxxxxxxx]

I am pretty new to TLA and formal specification.

Trying to master my skill by solving simple yet practical engineering problems.

Please, review my spec and provide some feedback how it can be improved further.

Thanks.

BufferWithTTL.tla on GitHub.

-- 
You received this message because you are subscribed to the Google Groups "tlaplus" group.
To unsubscribe from this group and stop receiving emails from it, send an email to tlaplus+unsubscribe@xxxxxxxxxxxxxxxx.
To view this discussion on the web visit https://groups.google.com/d/msgid/tlaplus/431d271a-4e25-4044-a25d-49a5ca345e5a%40googlegroups.com.