Concurrency: the Works of Leslie Lamport
Latest Publications

TOTAL DOCUMENTS

17

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By Association For Computing Machinery

9781450372701

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Biography

Concurrency: the Works of Leslie Lamport ◽

10.1145/3335772.3335781 ◽

2019 ◽

Author(s):

Roy Levin

Download Full-text

The mutual exclusion problem: part II---Statement and solutions

Concurrency: the Works of Leslie Lamport ◽

10.1145/3335772.3335938 ◽

2019 ◽

Author(s):

Leslie Lamport ◽

Keyword(s):

Mutual Exclusion ◽

Exclusion Problem

Download Full-text

A new solution of Dijkstra's concurrent programming problem

Concurrency: the Works of Leslie Lamport ◽

10.1145/3335772.3335782 ◽

2019 ◽

Cited By ~ 1

Author(s):

Leslie Lamport ◽

Keyword(s):

Programming Problem ◽

Concurrent Programming

Download Full-text

The computer science of concurrency: the early years

Concurrency: the Works of Leslie Lamport ◽

10.1145/3335772.3335775 ◽

2019 ◽

Author(s):

Leslie Lamport ◽

Keyword(s):

Computer Science ◽

Early Years

Download Full-text

Shared memory and the Bakery algorithm

Concurrency: the Works of Leslie Lamport ◽

10.1145/3335772.3335776 ◽

2019 ◽

Author(s):

Hagit Attiya ◽

Jennifer L. Welch

Keyword(s):

Shared Memory

Download Full-text

State machine replication with benign failures

Concurrency: the Works of Leslie Lamport ◽

10.1145/3335772.3335779 ◽

2019 ◽

Author(s):

Rubbert van Renesse

Keyword(s):

State Machine ◽

State Machine Replication

Download Full-text

The mutual exclusion problem: part I---A theory of interprocess communication

Concurrency: the Works of Leslie Lamport ◽

10.1145/3335772.3335937 ◽

2019 ◽

Author(s):

Leslie Lamport ◽

Keyword(s):

Mutual Exclusion ◽

Interprocess Communication ◽

Exclusion Problem

Download Full-text

How to make a multiprocessor computer that correctly executes multiprocess programs

Concurrency: the Works of Leslie Lamport ◽

10.1145/3335772.3335935 ◽

2019 ◽

Cited By ~ 1

Author(s):

Leslie Lamport

Keyword(s):

Multiprocessor Computer

Download Full-text

The notions of time and global state in a distributed system

Concurrency: the Works of Leslie Lamport ◽

10.1145/3335772.3335777 ◽

2019 ◽

Author(s):

Karolos Antoniadis ◽

Rachid Guerraoui

Keyword(s):

Distributed System ◽

Global State

Download Full-text

Introduction

Concurrency: the Works of Leslie Lamport ◽

10.1145/3335772.3335774 ◽

2019 ◽

Author(s):

Dahlia Malkhi ◽

Idit Keidar

Download Full-text