From algebra to operational semantics

DOI10.1016/0020-0190(93)90219-YzbMath0795.68124MaRDI QIDQ1209325

Jifeng He, C. A. R. Hoare

Publication date: 16 May 1993

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

zbMATH Keywords

operational semanticsalgebraic specificationspecification-oriented semanticstransputer language

Mathematics Subject Classification ID

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

Related Items (6)

A UTP approach for rTiMo ⋮ Trace semantics and algebraic laws for MCA ARMv8 architecture based on UTP ⋮ Jifeng He at Oxford and beyond: an appreciation ⋮ Denotational semantics and its algebraic derivation for an event-driven system-level language ⋮ Linking operational semantics and algebraic semantics for a probabilistic timed shared-variable language ⋮ A process calculus BigrTiMo of mobile systems and its formal semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A linear-history semantics for languages for distributed programming
• Specification-oriented semantics for communicating processes
• Algebra of communicating processes with abstraction
• Transformational programming and the paragraph problem
• A Theory of Communicating Sequential Processes
• Laws of programming
• Guarded commands, nondeterminacy and formal derivation of programs
• Unbounded nondeterminism in CSP

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