Q3350772
type: Item
instance of: scholarly article
zbMATH Open document ID: 0727.68062
publication date: 1989-01-01T00:00:00Z
Mathematics Subject Classification ID: 68Q55
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68T15
zbMATH DE Number: 4201637
zbMATH Keywords: Hoare logic
zbMATH Keywords: axiomatic semantics
zbMATH Keywords: distributed programs
zbMATH Keywords: compositional proof system
MaRDI profile type: Publication
Recommended article: A compositional proof system for distributed programs
Recommended article: P-A logic - a compositional proof system for distributed programs
Recommended article: A Logic for Distributed Higher Order π-Calculus
Recommended article: Formal verification of a programming logic for a distributed programming language
Recommended article: A trace-based compositional proof theory for fault tolerant distributed systems
Recommended article: Q3768373
Recommended article: An input/output semantics for distributed program equivalence reasoning
Recommended article: Programming Languages and Systems
description: scientific article