Various simulations and refinements

He Jifeng

doi:10.1007/3-540-52559-9_70

Various simulations and refinements

He Jifeng^*

^*Corresponding author for this work

University of Oxford

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

3 Scopus citations

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.

Original language	English
Title of host publication	Stepwise Refinement of Distributed Systems
Subtitle of host publication	Models, Formalisms, Correctness - REX Workshop, 1989, Proceedings
Editors	J.W. de Bakker, W.-P. de Roever, G. Rozenberg
Publisher	Springer Verlag
Pages	340-360
Number of pages	21
ISBN (Print)	9783540525592
DOIs	https://doi.org/10.1007/3-540-52559-9_70
State	Published - 1990
Externally published	Yes
Event	REX Workshop on Stepwise Refinement of Distributed Systems, 1989 - Mook, Netherlands Duration: 29 May 1989 → 2 Jun 1989

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	430 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	REX Workshop on Stepwise Refinement of Distributed Systems, 1989
Country/Territory	Netherlands
City	Mook
Period	29/05/89 → 2/06/89

Keywords

Hiding Refinement
Labelled Transition System
Refinement
Simulation

Access to Document

10.1007/3-540-52559-9_70

Cite this

Jifeng, H. (1990). Various simulations and refinements. In J. W. de Bakker, W.-P. de Roever, & G. Rozenberg (Eds.), Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness - REX Workshop, 1989, Proceedings (pp. 340-360). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 430 LNCS). Springer Verlag. https://doi.org/10.1007/3-540-52559-9_70

Jifeng, He. / Various simulations and refinements. Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness - REX Workshop, 1989, Proceedings. editor / J.W. de Bakker ; W.-P. de Roever ; G. Rozenberg. Springer Verlag, 1990. pp. 340-360 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@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 = "德国",

}

Jifeng, H 1990, Various simulations and refinements. in JW de Bakker, W-P de Roever & G Rozenberg (eds), Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness - REX Workshop, 1989, Proceedings. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 430 LNCS, Springer Verlag, pp. 340-360, REX Workshop on Stepwise Refinement of Distributed Systems, 1989, Mook, Netherlands, 29/05/89. https://doi.org/10.1007/3-540-52559-9_70

Various simulations and refinements. / Jifeng, He.
Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness - REX Workshop, 1989, Proceedings. ed. / J.W. de Bakker; W.-P. de Roever; G. Rozenberg. Springer Verlag, 1990. p. 340-360 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 430 LNCS).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - Various simulations and refinements

AU - Jifeng, He

N1 - Publisher Copyright: © Springer-Verlag Berlin Heidelberg 1990.

PY - 1990

Y1 - 1990

N2 - 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.

AB - 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.

KW - Hiding Refinement

KW - Labelled Transition System

KW - Refinement

KW - Simulation

UR - https://www.scopus.com/pages/publications/85031898632

U2 - 10.1007/3-540-52559-9_70

DO - 10.1007/3-540-52559-9_70

M3 - 会议稿件

AN - SCOPUS:85031898632

SN - 9783540525592

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 340

EP - 360

BT - Stepwise Refinement of Distributed Systems

A2 - de Bakker, J.W.

A2 - de Roever, W.-P.

A2 - Rozenberg, G.

PB - Springer Verlag

T2 - REX Workshop on Stepwise Refinement of Distributed Systems, 1989

Y2 - 29 May 1989 through 2 June 1989

ER -

Jifeng H. Various simulations and refinements. In de Bakker JW, de Roever WP, Rozenberg G, editors, Stepwise Refinement of Distributed Systems: Models, Formalisms, Correctness - REX Workshop, 1989, Proceedings. Springer Verlag. 1990. p. 340-360. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/3-540-52559-9_70

Various simulations and refinements

Abstract

Publication series

Conference

Keywords

Access to Document

Other files and links

Fingerprint

Cite this