Process simulation and refinement

DOI10.1007/BF01887207zbMath0696.68099OpenAlexW2004306968MaRDI QIDQ911322

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)

Related Items

A technique for specifying and refining TCSP processes by using guards and liveness conditions ⋮ On using data abstractions for model checking refinements ⋮ Incompleteness of relational simulations in the blocking paradigm ⋮ On hierarchically developing reactive systems ⋮ Of wlp and CSP ⋮ Characterizing fuzzy simulations for fuzzy labeled transition systems in fuzzy propositional dynamic logic ⋮ Service refinement ⋮ Model transformations across views ⋮ Refinement and state machine abstraction ⋮ Model checking action system refinements ⋮ Relational concurrent refinement. II: Internal operations and outputs ⋮ Verified compilation of communicating processes into clocked circuits

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The weakest prespecification
• A calculus of communicating systems
• A Theory of Communicating Sequential Processes
• Beiträge zur Filtertheorie. II