On interprocess communication. I: Basic formalism
type: Item
instance of: scholarly article
title: On interprocess communication. I: Basic formalism
zbMATH Open document ID: 0598.68022
DOI: 10.1007/BF01786227
author: Leslie Lamport
published in: Distributed Computing
publication date: 1986-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N25
Mathematics Subject Classification ID: 68Q85
zbMATH DE Number: 3965424
zbMATH Keywords: concurrent reading and writing
zbMATH Keywords: nonatomic operations
zbMATH Keywords: shared data
zbMATH Keywords: concurrent systems
MaRDI profile type: Publication
Wikidata QID: Q56066157
cites work: Q3943691
cites work: A New Approach to Proving the Correctness of Multiprocess Programs
cites work: On interprocess communication. II: Algorithms
cites work: Time, clocks, and the ordering of events in a distributed system
cites work: Q3696528
cites work: A calculus of communicating systems
DBLP publication ID: journals/dc/Lamport86
description: scientific article; zbMATH DE number 3965424