(Inter-)Action Refinement: The Easy Way-Reference-Cited by-同舟云学术

(Inter-)Action Refinement: The Easy Way

Published:1993 Issue: Volume: Page:121-158
ISSN:0258-1248
Container-title:Program Design Calculi
language:
Short-container-title:

Author:

Broy Manfred

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-662-02880-3_5

Reference19 articles.

1. M. Abadi, L. Lamport: The Existence of Refinement Mappings. Digital Systems Research Center, SRC Report 29, August 1988

2. M. Abadi, L. Lamport: Composing Specifications. Digital Systems Research Center, SRC Report 66, October 1990

3. L. Aceto, M. Hennessy: Adding Action Refinement to a Finite Process Algebra. Proc. ICALP 91, Lecture Notes in Computer Science 510. Berlin: Springer-Verlag 1991, 506–519

4. R.J.R. Back: Refinement Calculus, Part I: Sequential Nondeterministic Programs REX Workshop. In: J. W. deBakker, W.-P. de Roever, G. Rozenberg (eds): Stepwise Refinement of Distributed Systems. Lecture Notes in Computer Science 430. Berlin: Springer-Verlag 1988, 42–66

5. R.J.R. Back: Refinement Calculus, Part II: Parallel and Reactive Programs REX Workshop. In: J. W. de Bakker, W.-P. de Roever, G. Rozenberg (eds): Stepwise Refinement of Distributed Systems. Lecture Notes in Computer Science 430. Berlin: Springer-Verlag 1988, 67–93

Cited by 15 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Abstraction and Refinement in Hierarchically Decomposable and Underspecified CPS-Architectures;Lecture Notes in Computer Science;2018

2. Behavioral compatibility of simulink models for product line maintenance and evolution;Proceedings of the 19th International Conference on Software Product Line;2015-07-20

3. Pragmatic Formal Specification of System Properties by Tables;Software, Services, and Systems;2015

4. Transforming Stream Processing Functions into State Transition Machines;Software Engineering Research and Applications;2006

5. A refinement calculus for software components and architectures;ACM SIGSOFT Software Engineering Notes;2005-09