scientific article; zbMATH DE number 1951183

MaRDI QIDQ4413670zbMATHFDO

Authors John Derrick, Eerke Boiten

Publication date 21 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2589/25890033.htm

Mathematics Subject Classification ID

Theory of programming languages (68N15) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Relational concurrent refinement
• Unifying concurrent and relational refinement
• Simulation Refinement for Concurrency Verification
• scientific article; zbMATH DE number 1615985
• Simulation refinement for concurrency verification

Cited in

(5)

• scientific article; zbMATH DE number 125705 (Why is no real title available?)
• Formal basis for the refinement of rule based transition systems
• ASM refinement and generalizations of forward simulation in data refinement: a comparison
• Two observations in dioid based model refinement
• Requirements, specifications, and minimal refinement

This page was built for publication:

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