[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [tlaplus] Re: Temporal property



Dear Leslie,

thank you for your response.
I start with your book "Specifying Systems".
Actually my questions not about syntax of TLA, this is matter of choice.
E.g. for the print function - how it can be used for analyses of TLA model if its work significantly depends on internal structure of TLC algorithm?

Best regards,
Vitaliy.

On Thu, Nov 3, 2016 at 9:45 AM, Leslie Lamport <tlapl...@xxxxxxxxx> wrote:
Your questions seem to indicate that you have just seen a little bit about TLA+.  Please tell us what you have read so far about TLA+ so we can suggest what you should do to learn more about it.

Leslie Lamport

--
You received this message because you are subscribed to a topic in the Google Groups "tlaplus" group.
To unsubscribe from this topic, visit https://groups.google.com/d/topic/tlaplus/29WumfrZedo/unsubscribe.
To unsubscribe from this group and all its topics, send an email to tlaplus+unsubscribe@googlegroups.com.
To post to this group, send email to tla...@xxxxxxxxxxxxxxxx.
Visit this group at https://groups.google.com/group/tlaplus.
For more options, visit https://groups.google.com/d/optout.



--
Best regards,
Prof. Vitaliy

The information contained in this e-mail message and any accompanying files is or may be confidential. If you are not the intended recipient, any use, dissemination, reliance, forwarding, printing or copying of this e-mail or any attached files is unauthorised. This e-mail is subject to copyright. No part of it should be reproduced, adapted or communicated without the written consent of the copyright owner. If you have received this e-mail in error please advise the sender immediately by return e-mail or telephone and delete all copies. UMP does not guarantee the accuracy or completeness of any information contained in this e-mail or attached files. Internet communications are not secure, therefore UMP does not accept legal responsibility for the contents of this message or attached files.
Universiti Malaysia Pahang