The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\)

DOI10.1016/0304-3975(92)90041-DzbMath0747.68037MaRDI QIDQ1190479

Dominique Méry

Publication date: 26 September 1992

Published in: Theoretical Computer Science (Search for Journal in Brave)

zbMATH Keywords

communicationconcurrencyproof systemUNITYprogram derivationconcurrent program design

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)

Related Items (1)

On mechanizing proofs within a complete proof system for Unity

Uses Software

• UNITY

Cites Work

• Linear logic
• Algèbre de processus et synchronisation
• Specification-oriented semantics for communicating processes
• An axiomatic proof technique for parallel programs
• First-order dynamic logic
• A structural approach to operational semantics
• Temporal logic can be more expressive
• Synthesis of Communicating Processes from Temporal Logic Specifications
• Proving Liveness Properties of Concurrent Programs
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: The \({\mathcal NU}\) system as a development system for concurrent programs: \(\delta{\mathcal NU}\)