scientific article; zbMATH DE number 176123

MaRDI QIDQ4035224zbMATH OpenFDO

Authors Zohar Manna, Amir Pnueli

Publication date 18 May 1993

zbMATH Keywords

concurrencyfair transition systemformal models of concurrent programs

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Theory of computing (68Q99)

Recommendations

• Concurrency and atomicity
• scientific article; zbMATH DE number 139604
• scientific article; zbMATH DE number 1314563
• Communicating Sequential Processes. The First 25 Years
• scientific article; zbMATH DE number 176124

Cited in

(8)

• Finite Abstract Models for Deterministic Transition Systems: Fair Parallel Composition and Refinement-Preserving Logic
• scientific article; zbMATH DE number 4112056 (Why is no real title available?)
• Faithful Modeling of Product Lines with Kripke Structures and Modal Logic
• Modeling and testing object-oriented distributed systems with linear-time temporal logic
• On the nature of events
• Consistency, models, and soundness
• scientific article; zbMATH DE number 3285198 (Why is no real title available?)
• Communicating Sequential Processes. The First 25 Years

This page was built for publication:

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