Process simulation and refinement

DOI10.1007/BF01887207MaRDI QIDQ911322zbMATH OpenOpenAlexFDO

Authors He Jifeng

Publication date 1989

Published in Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/bf01887207

zbMATH Keywords

down-simulationprocess refinementprogram derivationprogram verificationup- simulation

Mathematics Subject Classification ID

Theory of operating systems (68N25) Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• scientific article; zbMATH DE number 3943003
• Relational concurrent refinement
• A state-based approach to communicating processes
• Communicating Sequential Processes. The First 25 Years
• Unifying concurrent and relational refinement

Cites work

• A calculus of communicating systems
• A Theory of Communicating Sequential Processes
• Beiträge zur Filtertheorie. II
• scientific article; zbMATH DE number 3902016 (Why is no real title available?)
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 3417640 (Why is no real title available?)
• The weakest prespecification

Cited in

(33)

• Model checking action system refinements
• Relational concurrent refinement. II: Internal operations and outputs
• Verified compilation of communicating processes into clocked circuits
• Skipping refinement
• Power simulation and its relation to traces and failures refinement
• On hierarchically developing reactive systems
• Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic
• Model transformations across views
• scientific article; zbMATH DE number 1617299 (Why is no real title available?)
• Of wlp and CSP
• Guarded operations, refinement and simulation
• Refusal simulation and interactive games
• TOWARDS HIERARCHICAL DESCRIPTION OF SYSTEMS: A PROOF SYSTEM FOR STRONG PREFIXING
• scientific article; zbMATH DE number 139998 (Why is no real title available?)
• Multi-purpose process simulators
• scientific article; zbMATH DE number 1482173 (Why is no real title available?)
• scientific article; zbMATH DE number 1497863 (Why is no real title available?)
• scientific article; zbMATH DE number 1886073 (Why is no real title available?)
• A technique for specifying and refining TCSP processes by using guards and liveness conditions
• A theory of normed simulations
• CSP Is a Retract of CCS
• General refinement. II: Flexible refinement
• Simulation refinement for concurrency verification
• ZB 2005: Formal Specification and Development in Z and B
• Communicating Sequential Processes. The First 25 Years
• Timewise refinement for communicating processes
• Refinement and state machine abstraction
• Incompleteness of relational simulations in the blocking paradigm
• Linking formal methods in software development. A reflection on the development of rCOS
• Assume-guarantee reasoning for additive hybrid behaviour
• Refinements for open automata
• On using data abstractions for model checking refinements
• Service refinement

This page was built for publication: Process simulation and refinement

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