Transformational semantics for concurrent programs

DOI10.1016/0020-0190(80)90009-5zbMath0444.68017OpenAlexW1975595848MaRDI QIDQ1144920

S. H. Smith

Publication date: 1980

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/0020-0190(80)90009-5

zbMATH Keywords

formal semanticsconcurrent programstransformation rulesprogram development

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65) Theory of operating systems (68N25)

Related Items (3)

A theory for nondeterminism, parallelism, communication, and concurrency ⋮ Partial abstract types ⋮ Denotational semantics of communicating processes based on a language for applicative multiprogramming

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A contribution to the programming calculus
• Program. construction. International summer school
• A hard act to follow
• Reduction
• Verifying properties of parallel programs
• Programming as a Discipline of Mathematical Nature

This page was built for publication: Transformational semantics for concurrent programs