From algebra to operational semantics

DOI10.1016/0020-0190(93)90219-YMaRDI QIDQ1209325zbMATH OpenFDO

Authors Jifeng He, C. A. R. Hoare

Publication date 16 May 1993

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

Full work available at URL https://ora.ox.ac.uk/objects/uuid:522c55e7-79f3-4299-a91c-5fa7ff3da204

zbMATH Keywords

algebraic specificationoperational semanticsspecification-oriented semanticstransputer language

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Abstract data types; algebraic specification (68Q65)

Recommendations

• scientific article; zbMATH DE number 4123320
• Algebra unifies operational calculi
• scientific article; zbMATH DE number 139606
• Algebraic laws for nondeterminism and concurrency
• An operational semantics of occam

Cites work

• A linear-history semantics for languages for distributed programming
• A Theory of Communicating Sequential Processes
• Algebra of communicating processes with abstraction
• Guarded commands, nondeterminacy and formal derivation of programs
• scientific article; zbMATH DE number 3808928 (Why is no real title available?)
• scientific article; zbMATH DE number 3902016 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 795666 (Why is no real title available?)
• scientific article; zbMATH DE number 3379785 (Why is no real title available?)
• Laws of programming
• Specification-oriented semantics for communicating processes
• Theories of programming: Top-down and bottom-up and meeting in the middle
• Transformational programming and the paragraph problem
• Unbounded nondeterminism in CSP

Cited in

(14)

• Operational and denotational semantics for the box algebra
• A UTP approach for rTiMo
• A process calculus BigrTiMo of mobile systems and its formal semantics
• Trace semantics and algebraic laws for MCA ARMv8 architecture based on UTP
• Towards a theory of mathematical operational semantics
• Unifying operational semantics with algebraic semantics for instantaneous reactions
• scientific article; zbMATH DE number 4123320 (Why is no real title available?)
• scientific article; zbMATH DE number 1231613 (Why is no real title available?)
• scientific article; zbMATH DE number 1062630 (Why is no real title available?)
• Mutual derivability of operations in program algebras. I
• Jifeng He at Oxford and beyond: an appreciation
• Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language
• An operational semantics in Isabelle/HOL-CSP
• Denotational semantics and its algebraic derivation for an event-driven system-level language

This page was built for publication: From algebra to operational semantics

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