Search alternatives:
"indeterminate" » "determinante"
Cover Image
Read Now

1
Published 2016
Springer International Publishing
Table of Contents: “... -- Proving Determinacy of PharOS in TLA+ -- A Rigorous Correctness Proof for Pastry -- Enabling Analysis...”