[tlaplus] Question about Science of Concurrent Programs: Status

[Dave Hughes <dbahughes@xxxxxxxxx>]

All,

 I have been studying this for a month or two now – and I am wondering about its status: on the opening page it suggests that you can provide error reporting – but there is no contact – and as far as I can see no way to contact the author – who is retired of course. Is this document to be maintained by the foundation? Or is it just what it is?

 Is there any list of corrections? 

Thanks 

Dave Hughes

-- 
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 visit https://groups.google.com/d/msgid/tlaplus/d66ac4bd-7425-4905-8ed8-abc36a2168dan%40googlegroups.com.