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

Re: [tlaplus] Science of Concurrent Programs: 3.4.1.4 Error in Composition?

The pull request https://github.com/tlaplus/tlaplus/pull/805 mentions the limitation of the current prototype and explains how this limitation can appear in practice. I estimate that it would take approximately one month to implement https://github.com/tlaplus/tlaplus/pull/805#issuecomment-1492385553.

M.

> On Nov 24, 2025, at 3:50 PM, Chris Ortiz <zitroomega@xxxxxxxxx> wrote:
> 
> On another side project we are working on, we are experimenting with Java option: -Dtlc2.tool.impl.Tool.cdot=true for action composition. Moving from the science to the usage on the tool, have anyone tried this on TLC? I got some errors which I am trying to get sense of.


-- 
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/FDCF8565-F02D-45D6-A02C-9428A8E77B32%40lemmster.de.