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

Re: RECURSIVE as a forward declaration

From: Leslie Lamport <tlapl...@xxxxxxxxx>
Date: Thu, 15 Oct 2015 02:08:26 -0700 (PDT)
References: <0785c320-863c-432f-a081-63cd40645612@googlegroups.com>

Here's something else you can do.

MessageAction(OpAction(_), u , v) == ...

...

OpAction(a) == ...

...

Next == \/ \E a \in ... : MessageAction(OpAction(a), ...)
\/ ...

Leslie

Follow-Ups:
- Re: RECURSIVE as a forward declaration
  - From: Ron Pressler

References:
- RECURSIVE as a forward declaration
  - From: Ron Pressler

Prev by Date: Re: RECURSIVE as a forward declaration
Next by Date: Re: What do you think about the use of category theory for specifications?
Previous by thread: Re: RECURSIVE as a forward declaration
Next by thread: Re: RECURSIVE as a forward declaration
Index(es):
- Date
- Thread