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

program verificationprogram derivationdown-simulationprocess refinementup- simulation

Mathematics Subject Classification ID

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

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

• 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?)
• A Theory of Communicating Sequential Processes
• A calculus of communicating systems
• Beiträge zur Filtertheorie. II
• The weakest prespecification

Cited in

(31)

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