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

[tlaplus] What is the plan for Distributed PlusCal?

From: Chris Ortiz <zitroomega@xxxxxxxxx>
Date: Thu, 20 Nov 2025 08:54:17 -0800 (PST)

Hi,

Good morning. I am wondering what is the plan to have Distributed PlusCal option (-distpcal).

https://members.loria.fr/SMerz/papers/2023-ifm.pdf

https://github.com/DistributedPlusCal/DistributedPlusCal

Thanks and best regards,

Chris (Zitro)

--
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/896821d8-3855-4280-ba9f-a668ba940324n%40googlegroups.com.

Follow-Ups:
- Re: [tlaplus] What is the plan for Distributed PlusCal?
  - From: Stephan Merz
- Re: [tlaplus] What is the plan for Distributed PlusCal?
  - From: Andrew Helwer

Prev by Date: [tlaplus] Question about Science of Concurrent Programs: Status
Next by Date: [tlaplus] TLA+ repo on Google CodeWiki?
Previous by thread: Re: [tlaplus] Question about Science of Concurrent Programs: Status
Next by thread: Re: [tlaplus] What is the plan for Distributed PlusCal?
Index(es):
- Date
- Thread