[
Date Prev
][
Date Next
][
Thread Prev
][
Thread Next
][
Date Index
][
Thread Index
]
Re: Next-state involving existential quantifier using PlusCal?
From
: Leslie Lamport <
tlapl...@xxxxxxxxx
>
Date
: Mon, 25 Jul 2016 14:46:30 -0700 (PDT)
References
: <
ca8f860d-00aa-42a6-87d9-f59e2d18204b@googlegroups.com
>
with (value \in Values \cup {Deleted})
{ db_value := value }
Follow-Ups
:
Re: Next-state involving existential quantifier using PlusCal?
From:
Elliott Jin
References
:
Next-state involving existential quantifier using PlusCal?
From:
Elliott Jin
Prev by Date:
Re: Any examples of a specification of an S3-like object store API?
Next by Date:
Re: Next-state involving existential quantifier using PlusCal?
Previous by thread:
Next-state involving existential quantifier using PlusCal?
Next by thread:
Re: Next-state involving existential quantifier using PlusCal?
Index(es):
Date
Thread