On describing the behavior and implementation of distributed systems
type: Item
instance of: scholarly article
title: On describing the behavior and implementation of distributed systems
zbMATH Open document ID: 0441.68020
DOI: 10.1016/0304-3975(81)90109-2
author: Michael Fischer
author: Nancy Lynch
published in: Theoretical Computer Science
publication date: 1981-01-01T00:00:00Z
Mathematics Subject Classification ID: 68N25
zbMATH DE Number: 3688688
zbMATH Keywords: distributed systems
MaRDI profile type: Publication
full work available at URL: 0304-3975(81)90109-2
OpenAlex ID: W2176413683
cites work: Specification and Proof Techniques for Serializers
cites work: Q4048566
cites work: Operating Experience with ALGOL 60
cites work: Q4845486
cites work: Concurrent Processes and Their Syntax
cites work: Software Descriptions with Flow Expressions
description: scientific article; zbMATH DE number 3688688