@inproceedings{cd420dcca1bb4c8d8b5dffbadfdc0ec3,
title = "Various simulations and refinements",
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.",
keywords = "Hiding Refinement, Labelled Transition System, Refinement, Simulation",
author = "He Jifeng",
note = "Publisher Copyright: {\textcopyright} Springer-Verlag Berlin Heidelberg 1990.; REX Workshop on Stepwise Refinement of Distributed Systems, 1989 ; Conference date: 29-05-1989 Through 02-06-1989",
year = "1990",
doi = "10.1007/3-540-52559-9\_70",
language = "英语",
isbn = "9783540525592",
series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",
publisher = "Springer Verlag",
pages = "340--360",
editor = "\{de Bakker\}, J.W. and \{de Roever\}, W.-P. and G. Rozenberg",
booktitle = "Stepwise Refinement of Distributed Systems",
address = "德国",
}