Composition: a way to make proofs harder

DOI10.1007/3-540-49213-5_15MaRDI QIDQ7010068zbMATH OpenFDO

Authors Leslie Lamport

Publication date 19 March 2025

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: Composition: a way to make proofs harder

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7010068)