Various simulations and refinements
Generate an AI Snapshot to get a quick, structured summary of this paper.
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
The paper provides a rigorous method for the formal development of communicating processes by integrating the event-based approach with the state-based technique by investigating various kinds of process refinement and their corresponding simulation rules.
Abstract
In this paper we deal with the problem of specification and design of concurrent programs. The basic notion of refinement is defined in labelled transition system. The concept of simulation is presented and proved to be sound for correctness of implementation. The paper provides a rigorous method for the formal development of communicating processes by integrating the event-based approach (such as CSP [3] and CCS [7]) with the state-based technique (such as Z [10] and VDM [4]). The methodology is illustrated by investigating various kinds of process refinement and their corresponding simulation rules.