![Predicate logic / Semantics / Formal languages / Temporal logic / Function / Quantification / Temporal logic of actions / Well-formed formula / First-order logic / Logic / Mathematics / Mathematical logic Predicate logic / Semantics / Formal languages / Temporal logic / Function / Quantification / Temporal logic of actions / Well-formed formula / First-order logic / Logic / Mathematics / Mathematical logic](https://www.pdfsearch.io/img/a35fe12f9491a8bcaa225820a4b897db.jpg)
| Document Date: 2000-06-27 16:01:37 Open Document File Size: 485,33 KBShare Result on Facebook
City Palo Alto / / Company LESLIE LAMPORT Digital Equipment Corporation / Digital Equipment Corporation / / Country United States / / Currency USD / / IndustryTerm abstract algorithm / real algorithms / concurrent systems / n-process mutual exclusion algorithm / local area network / concurrent algorithms / mentions further applications / open systems / distributed spanning-tree algorithm / concurrent algorithm / correct algorithm / / Organization Association for Computing Machinery / / Person Nat / Schroeder / / Position Author / Specification techniques General / mathematician / programmer / / ProgrammingLanguage C / Pascal / / ProvinceOrState California / / Technology functional programming / correct algorithm / abstract algorithm / n-process mutual exclusion algorithm / LAN / one-page abstract algorithm / distributed spanning-tree algorithm / /
SocialTag |