Back to Results
First PageMeta Content
Predicate logic / Semantics / Formal languages / Temporal logic / Function / Quantification / Temporal logic of actions / Well-formed formula / First-order logic / Logic / Mathematics / Mathematical logic


The Temporal Logic of Actions LESLIE LAMPORT Digital Equipment Corporation
Add to Reading List

Document Date: 2000-06-27 16:01:37

Open Document

File Size: 485,33 KB

Share 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