A linear-history semantics for languages for distributed programming
type: Item
instance of: scholarly article
title: A linear-history semantics for languages for distributed programming
zbMATH Open document ID: 0543.68019
DOI: 10.1016/0304-3975(84)90022-7
author: Nissim Francez
author: Amir Pnueli
author: Daniel Lehmann
published in: Theoretical Computer Science
publication date: 1984-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N25
Mathematics Subject Classification ID: 68N01
zbMATH DE Number: 3864484
zbMATH Keywords: concurrent programs
zbMATH Keywords: communicating sequential process
zbMATH Keywords: CSP
zbMATH Keywords: denotational semantics
zbMATH Keywords: distributed programming
zbMATH Keywords: communication
zbMATH Keywords: expectation sets
zbMATH Keywords: deadlocks
MaRDI profile type: Publication
full work available at URL: 0304-3975(84)90022-7
OpenAlex ID: W2073981447
cites work: Semantics of concurrent computation. Proceedings of the international symposium, Evian, France, July 2-4, 1979
cites work: Q3042376
cites work: Q3702497
cites work: Q3664417
cites work: Processes and the denotational semantics of concurrency
cites work: Semantics of nondeterminism, concurrency, and communication
cites work: Q4151143
cites work: Communicating sequential processes
cites work: A calculus of total correctness for communicating processes
cites work: A Theory of Communicating Sequential Processes
cites work: Q4054644
cites work: A calculus of communicating systems
cites work: Q4187283
description: scientific article; zbMATH DE number 3864484