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

Re: End labels

From: fl <freder...@xxxxxxxxxxx>
Date: Thu, 18 Dec 2014 04:23:32 -0800 (PST)
References: <212fbe7b-b820-4387-add1-d0556bbca058@googlegroups.com> <8258e3a0-cc33-462f-ac1d-540af03c122c@googlegroups.com> <bd6ff39c-888e-431e-8c0b-8eb3d2e91787@googlegroups.com>

Sure but we will no longer be able to benefit from the first-rate work
done by PlusCal as regards states and transitions modelization.

In fact I like PlusCal. If we consider TLA+ is a universal machine like Turing machine
(I only use the words in an unformal way), PlusCal shows in

Follow-Ups:
- Re: End labels
  - From: fl

References:
- End labels
  - From: fl
- Re: End labels
  - From: Leslie Lamport
- Re: End labels
  - From: fl

Prev by Date: Re: End labels
Next by Date: Re: End labels
Previous by thread: Re: End labels
Next by thread: Re: End labels
Index(es):
- Date
- Thread