Formal basis for the refinement of rule based transition systems

DOI10.1017/S0956796800001702MaRDI QIDQ4895556zbMATH OpenOpenAlexFDO

Authors A. N. Clark

Publication date 14 October 1996

Published in Journal of Functional Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1017/s0956796800001702

zbMATH Keywords

refinement of systemsrule based transition systems

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Refinement of structured interactive systems
• Refinement
• scientific article; zbMATH DE number 2043394
• Understanding, Explaining, and Deriving Refinement
• scientific article; zbMATH DE number 1951183

Cites work

• A Transformation System for Developing Recursive Programs
• Call-by-name, call-by-value and the \(\lambda\)-calculus
• scientific article; zbMATH DE number 194911 (Why is no real title available?)

Cited in

(1)

• scientific article; zbMATH DE number 4187159 (Why is no real title available?)

Describes a project that uses

Uses Software

• LISP

This page was built for publication: Formal basis for the refinement of rule based transition systems

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